UML状态图和Petri网络在类测试用例生成的应用
Application of UML State Diagram and Petri Nets in Class Test Cases Generation作者机构:中国科学技术大学计算机系安徽合肥230026
出 版 物:《小型微型计算机系统》 (Journal of Chinese Computer Systems)
年 卷 期:2010年第31卷第3期
页 面:519-522页
核心收录:
学科分类:08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的.