%0 Journal Article
%T Test Case Generation Method for Concurrent Programs Based on Petri Net<br>基于Petri网的并发程序测试用例产生方法
%A HUO Min-xi
%A DINU Xiao-ming
%A <br>霍敏霞
%A 丁晓明
%J 计算机科学
%D 2011
%I 
%X 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.
%K Concurrent programs
%K Petri nets
%K Independent segment groups<br>并发程序，Petri网，独立段群
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D2CA446B06AFF0E2BA&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=9CF7A0430CBB2DFD&sid=5E25104E99903E8A&eid=09E495F616948E78&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0