[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()

Share：

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 Shujuan¹;  Xu Baowen²

¹School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221116, China
²School 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.

Common functions