基于UML模型的软件测试技术研究与实现. - docin.com豆丁网 口o】中研究了基于UML活动图模型的测试用例生成方法。 ChriS通过扩充UML活动图的语法和语义，提出了形式化的活动图（FAD， Formal ActivityDiagram）。在形式化活动图中，图元的划分更细致和具体，其语义也更 丰富。在FAD中，活动分为用户动作、系统动作
基于2个网页-相关网页
提出了形式化的活动图 FAD ; Formal activity diagram
形式化的活动图
Formalized activity diagram
以上为机器翻译结果，长、整句建议使用 人工翻译 。
针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
youdao
应用推荐
模块上移
模块下移
不移动