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

• 作者: 张涌逸
• 来源期刊: 重庆科技学院学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 E-CSPE约束 数据流测试
• 年，卷（期）: 2007,（3）
• 页码范围: 94-97
• 页数: 4页
• 分类号: TP311
• 字数: 3809字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-1980.2007.03.030

摘要

定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标.在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涌逸		35	43	4.0	5.0