作者：魏臻; 周霞; 鲍红杰; 韩进软件安全性petri网联锁软件测试用例
摘要：安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件，充分的测试对于保证其安全性具有举足轻重的作用。文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型，提出了一种基于十字链表的Petri网的存储结构，给出了一种求解割集的算法实现；接着简述了安全性测试用例的自动生成方法；最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
