使用基于脚本的故障注入测试安全苛求软件

Inject Fault to Test Safety-critical Software Using Scrip

由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。

Because the safety-critical software is often directly related to the safety of the people's life and wealth,software has to undergo safety testing strictly.A new fault injection approach,which is based on script language,is presented as a new approach for testing in this paper.By running the safety-critical software under a fault environment,the probability of fail-safe or fault -tolerant can be qualified.The new fault injection approach increases software test coverage and makes errors exposed quickly.The conclusion is that it can improve the level of test automation and test efficiency of the safety-critical software.