基于petri网的并发程序测试用例产生方法

并发程序的测试路径具有不可预测性，而pctri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过petri网来产生并发程序的测试路径:对有并发程序的源代码构造的petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群，此独立段群即为该并发程序的测试路径。实验证明，将petri网用于并发程序测试用的例生成降低了测试难度，提高了测试效率。