基于故障注入的嵌入式软件安全性测试框架及实现

• 作者: 张涛 王金波
• 来源期刊: 计算机应用研究
• 关键词: 故障注入 软件安全性 安全关键软件 仿真测试 单粒子效应
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2991-2995
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.08.049

摘要

为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态.为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程.该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛	中国科学院空间科学与应用总体部	473	4174	31.0	44.0
2	王金波	中国科学院空间科学与应用总体部	22	92	6.0	8.0