论文部分内容阅读
安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
Safety is the eternal theme of railway transportation. Interlocking software is the key software to ensure the safety of railway station train or locomotive (hereinafter referred to as locomotive), and adequate testing plays an important role in ensuring its safety. Based on the analysis of the fault tree model of the interlocking software security requirements in [1], [5] and [6], the paper establishes the Petri net model of the interlocking software security requirements and proposes a crossover-based Petri net Storage structure, an algorithm for solving cut sets is given. Then an automatic generation method for security test cases is briefly introduced. Finally, the application of this method in HJ04A system interlocking software security testing is given.