计算机应用研究2012，Vol.29Issue(8)：2991-2995,5.DOI:10.3969/j.issn.1001-3695.2012.08.049
基于故障注入的嵌入式软件安全性测试框架及实现
Framework and realization of embedded software safety-testing based on fault injection
摘要
Abstract
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 run-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.关键词
故障注入/软件安全性/安全关键软件/仿真测试/单粒子效应Key words
fault injection/software safety/safety-critical software/simulating test/single event effects (SEE)分类
信息技术与安全科学引用本文复制引用
王金波,张涛..基于故障注入的嵌入式软件安全性测试框架及实现[J].计算机应用研究,2012,29(8):2991-2995,5.基金项目
中国科学院国防科技创新基金资助项目(CXJJ-11-Q74) （CXJJ-11-Q74）
