摘要
并发程序的测试路径具有不可预测性,而Petri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过Petri网来产生并发程序的测试路径:对有并发程序的源代码构造的Petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群,此独立段群即为该并发程序的测试路径。实验证明,将Petri网用于并发程序测试用的例生成降低了测试难度,提高了测试效率。
Petri nets have an incomparable advantage of describing the unpredictable testing path of concurrent program.This article made test path of concurrent programs with Petri nets,transformed graphic matrix about Petri net model which is made of concurrent program code,found the corresponding independent segment group according to certain rules,and obtained the independent segment groups of Petri nets which is the test path of the concurrent programs,by merging independent segment group.Experiment shows that the using of Petri nets in concurrent programs testing reduces the test difficulty and improves the test efficiency in concurrent programs testing.
出处
《计算机科学》
CSCD
北大核心
2011年第9期135-138,共4页
Computer Science
关键词
并发程序
PETRI网
独立段群
Concurrent programs
Petri nets
Independent segment groups
