Chris通过扩充UML活动图的语法和语义，提出了形式化的活动图（FAD， Formal ActivityDiagram）。在形式化活动图中，图元的划分更细致和具体，其语 义也更丰富。
基于2个网页-相关网页
基于UML模型的软件测试技术研究与实现. - docin.com豆丁网 口o】中研究了基于UML活动图模型的测试用例生成方法。 ChriS通过扩充UML活动图的语法和语义，提出了形式化的活动图（FAD， Formal ActivityDiagram）。在形式化活动图中，图元的划分更细致和具体，其语义也更 丰富。在FAD中，活动分为用户动作、系统动作
基于2个网页-相关网页