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

摘要：

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

关键词：Petri网、逆网、最小割集、联锁软件、测试用例

所属期刊栏目：39

分类号：U284(铁路通信、信号)

资助基金：国家"863"计划基金资助项目"铁路车站全电子控制关键技术与成套装备"2007AA11Z211

在线出版日期：2013-03-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：54-57