摘要
异常处理机制能增强程序运行的可靠性,提高软件的健壮性,但异常处理代码本身可能存在错误．由于它的特殊性,采 用与测试普通代码同样的方法对其进行测试,通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故 障注入技术的基础上,提出了将Java异常处理机制的特殊结构同断言违背策略、程序变异技术相结合,可以有效地测试异常处 理代码,并设计工具来支持这种故障注入方法．
Exception handling mechanism can increase the reliability of the system and improve the robustness of the software. It is especially difficult to test the code used to respond to exceptional conditions by usual methods. This error recovery code tends to be an error prone part of a system. This paper shows that it can test Java exception handling code effectively through combining the structure of exception handling with an “assertion violation” technique for injecting software faults. A supporting tool has been designed for the proposed method at the end of paper.
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第10期1854-1857,共4页
Journal of Chinese Computer Systems
基金
国家自然科学基金(60073012)资助江苏省科技攻关项目(BE2001025)资助江苏省自然科学基金(BK2001004)江苏省计算机信息处理技术重点实验室(苏州大学)基金中国矿业大学校基金中国矿业大学青年基金的资助.
关键词
异常处理
软件故障注入
软件测试
程序变异
exception handling
software faults injection
software testing
program mutation
