Test Case Generation Method for Concurrent Programs Based on Petri Net
基于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 codc,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.