%0 Journal Article
%T 基于petri网的并发程序测试用例产生方法
%A 霍敏霞
%A 丁晓明？
%J 计算机科学
%D 2011
%X 并发程序的测试路径具有不可预测性，而pctri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过petri网来产生并发程序的测试路径:对有并发程序的源代码构造的petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群，此独立段群即为该并发程序的测试路径。实验证明，将petri网用于并发程序测试用的例生成降低了测试难度，提高了测试效率。
%K 并发程序
%K petri网
%K 独立段群
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110930&flag=1