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

Inject Fault to Test Safety-critical Software Using Scrip

作　　者：杨晋辉[1] 毛翼飞[2] 

机构地区：[1]同济大学,上海200092 [2]东软信息技术学院,大连116023

出　　处：《电脑开发与应用》2005年第8期2-3,7,共3页Computer Development & Applications

基　　金：教育部博士学科点专项科研基金(20030247021);上海市科学技术委员会科技攻关课题(035115023)资助。

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

关 键 词：安全苛求软件 故障注入 脚本语言 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]