10.3969/j.issn.1000-3428.2012.10.009
带OCL的活动图多态性测试用例生成方法
研究UML活动图多态性测试用例的生成方法.形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图.利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例.实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度.
统一建模语言、对象约束语言、扩展活动图、多态性方法集、测试用例
38
TP311(计算技术、计算机技术)
国家自然科学基金资助项目61004112
2012-07-17(万方平台首次上网日期,不代表论文的发表时间)
共4页
34-37