基于Petri网的测试用例生成研究进展

Research Progress in Test Case Generation Based on Petri Nets

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。

Test case generation is the key step in software test and it has an important impact on the automation of software test.The tested object was modeled,and then test sequences were generated according to the model.The research status and the problem of test case generation based on Petri nets were described.