摘要
根据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.
出处
《计算机工程》
CAS
CSCD
2013年第1期54-57,共4页
Computer Engineering
基金
国家"863"计划基金资助项目"铁路车站全电子控制关键技术与成套装备"(2007AA11Z211)
关键词
PETRI网
逆网
最小割集
联锁软件
测试用例
Petri net
reverse net
Minimal Cut Sets（MCS）
interlocking software
test case
