带OCL的活动图多态性测试用例生成方法

• 作者: 丁娜 曾一 邹明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 34-37
• 分类号: TP311
• 字数: 4542字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.10.009

摘要

研究UML活动图多态性测试用例的生成方法.形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图.利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例.实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机学院	76	855	14.0	25.0
2	丁娜	重庆大学计算机学院	4	12	3.0	3.0
3	邹明	重庆大学计算机学院	3	11	3.0	3.0