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

摘要：

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

关键词：并发程序、Petri网、独立段群

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：135-138