Approach to evaluating exception handling of programs  

一种异常处理策略的评测方法(英文)

作　　者：姜淑娟[1] 徐宝文[2] 

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

出　　处：《Journal of Southeast University(English Edition)》2007年第4期524-528,共5页东南大学学报（英文版）

基　　金：The National Natural Science Foundation of China(No60503020);the National Basic Research Program of China (973Program) (No2002CB312000);the Natural Science Foundation of Jiangsu Province (NoBK2006094);the Science Research Foundation of China University of Mining and Technology

摘　　要：To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph （EPG） that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.针对程序中异常处理代码难以测试和维护、影响软件的健壮性和可靠性的问题,提出了一种评测程序中异常处理策略的方法.通过简化程序的控制流图,得到一种描述大型程序中异常处理结构的方法——异常传播图,并用实例验证了其有效性.根据程序的异常传播图,可以检测出程序中不可达的异常处理代码、找到控制异常传播的最佳位置、修正不合理的异常处理策略等.并给出了异常传播图的构造算法,为该方法实现自动化处理提供基础.

关 键 词：software robustness exception handling exception propagation evaluating program control flow graph 

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