An analysis approach for testing exception handling programs

Authors:
Shujuan Jiang;Yuanpeng Jiang
Affiliations:
China University of Mining & Technology, China;China University of Mining & Technology, China
Venue:
ACM SIGPLAN Notices
Year:
2007

Citing 11
Cited 1

Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
Exception handling: issues and a proposed notation

Communications of the ACM
The C++ Programming Language

The C++ Programming Language
A Comparitive study of exception handling mechanisms for building dependable object-oriented software

Journal of Systems and Software
Slicing java programs that throw and catch exceptions

Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Criteria for Testing Exception-Handling Constructs in Java Programs

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow

Proceedings of the 26th International Conference on Software Engineering
Robustness Testing of Java Server Applications

IEEE Transactions on Software Engineering
An approach to automatic testing exception handling

ACM SIGPLAN Notices
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)

Sound control-flow graph extraction for java programs with exceptions

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Exception handling is a powerful mechanism that separates the error handling code from normal code. However, incorrect usage of exception will bring about more potential faults in the code. Based on the study of exception model of C++, the paper proposes a precise and efficient representation of programs with exception handling constructs---Exception Control Flow Graph, which can represent explicitly the implicit control flow of exception and exception propagation path. Then it presents the structure testing criteria of programs with exception handling constructs based on the representation method, and gives the computing method. The approach overcomes the limitations of previous incorrect analysis because of failing to account for the effects of exception handling constructs.