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

检索banner

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

分享到

【作者】张涌逸
【刊名】重庆科技学院学报（自然科学版）
【作者单位】太原师范学院　　太原　　（030012）
【年份】2007
【卷号】第9卷
【期号】第3期
【页码】94-97
【ISSN】1673-1980
【关键词】Petri网 E-CSPE约束数据流测试
【摘要】定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标.在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题.
【文献类型】期刊

进入发现系统查看更多信息

相关文献

相同作者的文献

相同单位的文献

看了本文的还看了

发文期刊《Petri网中基于E-CSPE约束的数据流测试》历年引证文献趋势图

引证的期刊论文等列表

杜鹏飞.列车控制系统的仿真和测试[D].,2021

共1条记录 1/1 第一页 [1] 下一页最后一页到第页

页脚