[1] Jiang Shujuan, Xu Baowen,. Approach to evaluating exception handling of programs [J]. Journal of Southeast University (English Edition), 2007, 23 (4): 524-528. [doi:10.3969/j.issn.1003-7985.2007.04.010]
Copy
Approach to evaluating exception handling of programs(
)
一种异常处理策略的评测方法
)Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]
- Volumn:
- 23
- Issue:
- 2007 4
- Page:
- 524-528
- Research Field:
- Computer Science and Engineering
- Publishing date:
- 2007-12-30
Info
- Title:
- Approach to evaluating exception handling of programs
- 一种异常处理策略的评测方法
- Author(s):
- Jiang Shujuan1; Xu Baowen2
-
1School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221116, China
2School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
- Keywords:
- software robustness; exception handling; exception propagation; evaluating program; control flow graph
- PACS:
- TP311
- DOI:
- 10.3969/j.issn.1003-7985.2007.04.010
- Abstract:
- 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.
- 针对程序中异常处理代码难以测试和维护、影响软件的健壮性和可靠性的问题, 提出了一种评测程序中异常处理策略的方法.通过简化程序的控制流图, 得到一种描述大型程序中异常处理结构的方法——异常传播图, 并用实例验证了其有效性.根据程序的异常传播图, 可以检测出程序中不可达的异常处理代码、找到控制异常传播的最佳位置、修正不合理的异常处理策略等.并给出了异常传播图的构造算法, 为该方法实现自动化处理提供基础.
References:
[1] Goodenough J B.Exception handling:issues and a proposed notation[J].Communications of the ACM, 1975, 18(12):683-696.
[2] Robillard M P, Murphy G C.Static analysis to support the evolution of exception structure in object-oriented systems[J].ACM Transactions on Software Engineering and Methodology, 2003, 12(2):191-221.
[3] Garcia A F, Rubira C M F, Romanovsky A, et al.A comparative study of exception handling mechanisms for building dependable object-oriented software[J].The Journal of Systems and Software, 2001, 59(2):197-222.
[4] Tracey N, Clark J, Mander K, et al.Automated test-data generation for exception conditions[J].Software-Practice and Experience, 2000, 30(1):61-79.
[5] Toy W N.Fault-tolerant design of local ESS processors[J].Proceedings of the IEEE, 1978, 66(10):1126-1145.
[6] Jiang Shujuan, Zhang Yongping, Yan Dashun, et al.An approach to automatic testing exception handling[J].ACM SIGPLAN Notices, 2005, 40(8):34-39.
[7] Fu C, Ryder B G, Wonnacott D G.Robustness testing of Java server applications [J].IEEE Transactions on Software Engineering, 2005, 31(4):292-311.
[8] Jiang Shujuan, Xu Baowen, Shi Liang.An approach of data-flow analysis based on exception propagation analysis[J].Journal of Software, 2007, 18(1):74-84.(in Chinese)
[9] Jiang Shujuan, Xu Baowen, Shi Liang, et al.An approach to analyzing dependence based on exception propagation analysis[J].Journal of Software, 2007, 18(4):832-841.(in Chinese)
[10] Sinha S, Harrold M J.Analysis and testing of programs with exception-handling constructs[J].IEEE Transactions on Software Engineering, 2000, 26(9):849-871.
[11] Choi J D, Grove D, Hind M, et al.Efficient and precise modeling of exceptions for analysis of Java programs[C]//Proceedings of PASTE’99 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering.Toulouse, France, 1999:21-31.
Memo
- Memo:
- Biographies: Jiang Shujuan(1966—), female, doctor, professor, shjjiang@cumt.edu.cn; Xu Baowen(1961—), male, doctor, professor, bwxu@seu.edu.cn.