摘要
分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的.
A method of combinating the advantages of three types test case generation is proposed through researching and analyzing the characteristics of UML state diagram,EFSM and Petri nets in test case generation.The state explosion,the state diagram of conflict and the state map coverage can be resolved,analyzed and understand through analyzing characteristics of state diagram by Petri nets.Through examples and analysis of the study,test cases generation base on the combination of the full path to conversion guidelines to be effective.
出处
《小型微型计算机系统》
CSCD
北大核心
2010年第3期519-522,共4页
Journal of Chinese Computer Systems