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

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