Petri网中基于E-CSPE约束的数据流测试  

Data Stream Test Based on E-CSPE Restraint in Petri Net

作　　者：张涌逸[1] 

机构地区：[1]太原师范学院,太原030012

出　　处：《重庆科技学院学报（自然科学版）》2007年第3期94-97,共4页Journal of Chongqing University of Science and Technology：Natural Sciences Edition

摘　　要：定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题。This paper introduces E-CSPE restraint system in Petri net,and discusses data stream test index based on E-CSPE restraint in Petri net.By this index,test path space explosion problem resulted from Rapps-Weyuker data stream test index can be avoided after describing distributive program and operation.

关 键 词：PETRI网 E-CSPE约束 数据流测试 

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