基于UML状态图和基本Petri网生成测试用例

结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型，利用EN-系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞；再应用与合理的UML状态图对应的EN-系统生成可达状态图，利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题，避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题；另一方面，由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖，所以还很好地解决了对系统的不同测试要求和状态的可达性问题。

Test Cases Generation Based on UML State Diagrams and Elementary Net System

A method is proposed for generating test cases by integrating state diagrams in UML and Petri net. UML state diagrams are transformed into relative model of elementary net system. The unreachable states and the conflict and contact of the events in the UML state diagrams are checked and excluded through using the property of elementary net system. The reachable states graph, which is used to generate the test cases, is available on the basis of elementary net system. This method not only figures out the problem of concurrent substates, but also avoids the problem of states explosion when the state diagrams are flattened to an EFSM. Because the coverage criteria are proposed based on basic paths, events and states in Petri net reachable states graph, test cases satisfying these criteria from reachable states graph are well solved.