计算机工程2013，Vol.39Issue(1)：54-57,4.DOI:10.3969/j.issn.1000-3428.2013.01.011
基于Petri网的联锁软件测试用例动态生成
Dynamic Generation of Interlocking Software Test Case Based on Petri Net
摘要
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.关键词
Petri网/逆网/最小割集/联锁软件/测试用例Key words
Petri net/ reverse net/ Minimal Cut Sets(MCS)/ interlocking software/ test case分类
交通工程引用本文复制引用
强生杰,任恩恩..基于Petri网的联锁软件测试用例动态生成[J].计算机工程,2013,39(1):54-57,4.基金项目
国家"863"计划基金资助项目"铁路车站全电子控制关键技术与成套装备"(2007AA11Z211) （2007AA11Z211）
