针对软件中2路并发行为完全覆盖的测试方法

针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网（testing-orientedcoloredPetrinet,ToCPN)。根据被测软件系统需求构建ToCPN模型，即系统模型，并将待测行为采用着色Petri网（coloredPetrinet,CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法。该方法针对待测行为自动生成测试序列，对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余，一定程度上解决了软件测试中的状态爆炸问题。对上述算法的有效性提供了证明，并结合测试实践，分析说明了该方法具备明显强于随机漫步（randomwalk)等其他方法的效果。