%0 Journal Article
%T 基于Petri网的测试用例生成研究进展
%A 牟小玲
%A 丁晓明
%A 张望
%J 重庆交通大学学报（自然科学版）
%P 163-167
%D 2012
%R 10.3969/j.issn.1674-0696.2012.01.40
%X :？在软件测试中，测试用例生成是其关键环节，也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模，由模型产生测试序列，进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。
%K 测试用例
%K 基于模型的测试
%K Petri网
%K 建模
%K testcase
%K model-basedtesting
%K Petrinets
%K modeling
%U http://xbzk.cqjtu.edu.cn/CN/abstract/abstract1761.shtml