An approach to automatic testing exception handling

Authors:
Shujuan Jiang;Yongping Zhang;Dashun Yan;Yuanpeng Jiang
Affiliations:
China University of Mining & Technology, China;China University of Mining & Technology, China;China University of Mining & Technology, China;China University of Mining & Technology, China
Venue:
ACM SIGPLAN Notices
Year:
2005

Citing 8
Cited 2

A study of the applicability of existing exception-handling techniques to component-based real-time software technology

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated test-data generation for exception conditions

Software—Practice & Experience
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
A Comparitive study of exception handling mechanisms for building dependable object-oriented software

Journal of Systems and Software
The Java Language Specification

The Java Language Specification
An Empirical Evaluation of Weak Mutation

IEEE Transactions on Software Engineering
Using fault injection to increase software test coverage

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering

An analysis approach for testing exception handling programs

ACM SIGPLAN Notices
An empirical evaluation of several test-a-few strategies for testing particular conditions

Software—Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

Exception handling mechanism can increase the reliability of the system and improve the robustness of the software. But the exception handling code that is used to respond to exceptional conditions tends to be the source of the systems failure. It is difficult to test the exception handling by usual methods. This paper proposes an approach to automatic testing of exception handling based on analyzing the problems encountered during testing exception handling. The method of testing exception handling is efficient through combining the structure of exception handling with "assertion violation". It also gives the supporting tool that has been designed for the method.