摘要
安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
Safety is the everlasting issue of railway transportation.Since the interlocking software is critical in ensuring the run-time safety of train or locomotive,sufficient test is very important for it.In this paper,it establishes a Petri Nets model for interlocking software safety requirement based on analyzing the fault tree model presented in Reference 1,5 and6.Followed by,it proposes a storing structure based on orthogonal list for the Petri Nets.Furthermore,it presents one method to get the cut sets and briefly discusses the automatic generation for safety test cases.Finally,it gives the application of this method used in interlocking software safety testing of HJ04A system.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第17期123-125,138,共4页
Computer Engineering and Applications
基金
国家863高技术研究发展计划项目:企业铁路智能运输调度综合信息平台(编号:2004AA001210)
