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

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

Abstract: 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.

Key words: Petri net, reverse net, Minimal Cut Sets(MCS), interlocking software, test case

中图分类号: 

• U284