基于Petri网的联锁软件安全性测试的研究

摘要：

安全是铁路运输生产永恒的主题.联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用.文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用.

关键词：软件安全性、Petri网、联锁软件、测试用例

所属期刊栏目：41

分类号：U284(铁路通信、信号)

资助基金：国家高技术研究发展计划863计划2004AA001210

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：123-125,138