故障模型驱动的软件安全性测试研究

• 作者: 喻钢 徐中伟 熊静
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 高速铁路 列控中心 安全性 形式化建模 安全性测试
• 年，卷（期）: 2014,（12）
• 所属期刊栏目: 工程与应用
• 页码范围: 232-236
• 页数: 5页
• 分类号: TP391
• 字数: 4529字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1305-0192

摘要

根据安全性测试的需求，建立了检测软件内部安全逻辑故障的故障模型，提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法，可以有效识别软件是否具备对于故障的安全防护能力，在我国高速铁路列控中心安全性测试中说明了方法的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊静	上海工程技术大学航空运输学院	23	82	6.0	8.0