| UML状态图和Petri网络在类测试用例生成的应用 |
| |
| 引用本文： | 陈志德,曾凡平. UML状态图和Petri网络在类测试用例生成的应用[J]. 小型微型计算机系统, 2010, 31(3) |
| |
| 作者姓名： | 陈志德 曾凡平 |
| |
| 作者单位： | 中国科学技术大学计算机系,安徽,合肥,230026 |
| |
| 摘 要： | 分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的.
|
| 关 键 词： | UML状态图 扩展状态机 Petri网 测试用例 |
Application of UML State Diagram and Petri Nets in Class Test Cases Generation |
| |
| CHEN Zhi-de,ZENG Fan-ping. Application of UML State Diagram and Petri Nets in Class Test Cases Generation[J]. Mini-micro Systems, 2010, 31(3) |
| |
| Authors: | CHEN Zhi-de ZENG Fan-ping |
| |
| Affiliation: | CHEN Zhi-de,ZENG Fan-ping(Department of Computer,University of Science , Technology of China,Hefei 230026,China) |
| |
| Abstract: | 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 guid... |
| |
| Keywords: | UML state diagram EFSM petri nets test cases |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
