首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题.
The advantages of Petri net in a system analysis are introduced. Some concepts based on Petri net for research of testing are presented. Moreover,based on Petri net,the testing criteria of considering control flow are given as well as data flow. The test paths of an example to satisfy each testing criteria are listed in a table. Finally the conclusion and the problems which should be considered are presented.