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

摘要

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