铁路计算机联锁软件安全性测试评估系统

• 作者: 梁华
• 来源期刊: 成铁科技
• 学科: 交通运输
• 关键词: 计算机联锁 形式化故障树 测试案例 测试用例
• 年，卷（期）: 2012,（2）
• 页码范围: 27-29
• 页数: 3页
• 分类号: U284.362

摘要

本文采取黑盒测试方法，利用形式化故障树表示技术对铁路联锁软件的安全性需求进行了分析，生成测试用例集，最后，建立了计算机联锁软件安全性测试评估自动化测试平台，使联锁软件安全性得到了保证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁华		2	0	0.0	0.0