基于Petri网的联锁软件测试用例动态生成

• 作者: 任恩恩 强生杰
• 来源期刊: 计算机工程
• 学科: 交通运输
• 关键词: Petri网 逆网 最小割集 联锁软件 测试用例
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 54-57
• 页数: 4页
• 分类号: U284
• 字数: 3763字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.01.011

摘要

根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法.虚拟站场上的测试结果表明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任恩恩	兰州交通大学光电技术与智能控制教育部重点实验室	47	320	9.0	15.0
2	强生杰	兰州交通大学光电技术与智能控制教育部重点实验室	3	20	3.0	3.0