摘要
为确保安全关键软件能够稳定工作,需要把验证其中的安全保障措施有效性纳入到测试工作范围,其关键问题和难点是如何在被测软件运行过程中动态模拟其安全保障措施针对的异常状态。为此提出一种辅以故障注入的嵌入式软件安全性测试框架,并给出了实现过程。该框架的核心组件是利用设备建模语言DML和控制脚本构建的运行态故障注入软仿真环境,实验证明可用于单粒子效应等异常环境状态的动态仿真,进而实现对软件的安全性测试。
It＇ s necessary to identify the effectiveness of those safety assurance measurements in a safety-critical software to make sure that software could work stably. The most important and difficult part among this work is simulating abnormal state of environment dynamically when the software was running. This paper proposed and realized a new framework for embedded software safety testing. The most important component within this was a simulator supporting ran-time fault injection, which was built with device modeling language （DML） and script language. Experiments prove that the new framework could emulate those abnormal states of the target software dynamically, such as single event effect （ SEE ）. Furthermore, it could also be used to expand embedded software safety testing.
出处
《计算机应用研究》
CSCD
北大核心
2012年第8期2991-2995,共5页
Application Research of Computers
基金
中国科学院国防科技创新基金资助项目(CXJJ-11-Q74)
关键词
故障注入
软件安全性
安全关键软件
仿真测试
单粒子效应
fault injection
software safety
safety-critical software
simulating test
single event effects （SEE）
