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

• 作者: 周霞 韩进 魏臻 鲍红杰
• 来源期刊: 计算机工程与应用
• 学科: 交通运输
• 关键词: 软件安全性 Petri网 联锁软件 测试用例
• 年，卷（期）: 2005,（17）
• 所属期刊栏目: 产品研发与设计
• 页码范围: 123-125,138
• 页数: 4页
• 分类号: U284
• 字数: 5560字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.17.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏臻	合肥工业大学计算机与信息学院	81	832	15.0	24.0
2	韩进	合肥工业大学计算机与信息学院	2	23	2.0	2.0
3	鲍红杰	合肥工业大学计算机与信息学院	7	60	3.0	7.0
4	周霞	合肥工业大学计算机与信息学院	4	85	3.0	4.0