一种星载嵌入式软件安全性测试方法

研究了星载嵌入式软件安全性测试问题.提出一种基于故障注入的安全性测试框架,通过构建全数字仿真测试环境,模拟目标系统输入异常故障及运行态异常故障,可以灵活地实现故障注入.根据软件实际运行结果与预期结果的一致性来评价软件检错、容错能力,进而完成对软件的安全性测试及验证过程.

A Safety Testing Approach for On-Board Embedded Software

The safety testing for on-board embedded software is studied,and a new method of safety testing framework based on fault injection is presented.By constructing all-digital simulation testing environment to simulate the target system input fault and operating fault states,fault can be flexibly injected into the environment.According to the consistency of the actual operation results and the expected results about the software,the fault detection and tolerance are evaluated,thus the software safety testing and verification process are completed.