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

Dynamic Generation of Interlocking Software Test Case Based on Petri Net

作　　者：强生杰[1] 任恩恩[1] 

机构地区：[1]兰州交通大学光电技术与智能控制教育部重点实验室,兰州730070

出　　处：《计算机工程》2013年第1期54-57,共4页Computer Engineering

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

摘　　要：根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。According to the characteristics of Petri net can dynamically describe and analyze a system,a security required model of the railway interlocking software based on Petri net is built,then a generation algorithm of the Minimal Cut Sets（MCS） based on Petri net failure tree and dynamic generation of safety test case based on formal failure tree minimal cut sets are presented.The virtual station test results show that this method can effectively reduce the resource consumption,improve the efficiency of software testing and finally provide test basis for the interlocking software design and improvement.

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

分 类 号：U284[交通运输工程—交通信息工程及控制]