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

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