基于Petri网的测试路径选择标准  

Selection Criteria of Test Paths Based on Petri Net

作　　者：李华[1] 叶新铭[1] 张巨萍[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2007年第1期88-93,共6页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金项目(60263002);内蒙古科技攻关项目(2002061002);内蒙古自然科学基金项目(200408020806)

摘　　要：首先介绍了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.

关 键 词：PETRI网 控制流 数据流 测试路径 

分 类 号：TP393.06[自动化与计算机技术—计算机应用技术]