一种快速测试Java异常处理机制的方法  

Approach to Testing Java Exception Handling Mechanism Quickly

作　　者：姜淑娟[1] 闫大顺[2] 

机构地区：[1]东南大学计算机科学与工程系,南京210096 [2]中国矿业大学计算机科学与技术学院,徐州221008

出　　处：《小型微型计算机系统》2005年第10期1854-1857,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金(60073012)资助江苏省科技攻关项目(BE2001025)资助江苏省自然科学基金(BK2001004)江苏省计算机信息处理技术重点实验室(苏州大学)基金中国矿业大学校基金中国矿业大学青年基金的资助.

摘　　要：异常处理机制能增强程序运行的可靠性,提高软件的健壮性,但异常处理代码本身可能存在错误．由于它的特殊性,采 用与测试普通代码同样的方法对其进行测试,通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故 障注入技术的基础上,提出了将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.

关 键 词：异常处理 软件故障注入 软件测试 程序变异 

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