Analysis and Testing of Programs with Exception-Handling Constructs

Show full item record

Please use this identifier to cite or link to this item:

Title: Analysis and Testing of Programs with Exception-Handling Constructs
Author: Sinha, Saurabh ; Harrold, Mary Jean
Abstract: Analysis techniques, such as control flow, data flow, and control dependence, are used for a variety of software-engineering tasks, including structural and regression testing, dynamic execution profiling, static and dynamic slicing, and program understanding. To be applicable to programs in languages such as Java and C++, these analysis techniques must account for the effects of exception occurrences and exception-handling constructs; failure to do so can cause the analysis techniques to compute incorrect results and thus, limit the usefulness of the applications that use them. This paper discusses the effect of exception-handling constructs on several analysis techniques. The paper presents techniques to construct representations for programs with explicit exception occurrences --- exceptions that are raised explicitly through throw statements --- and exception-handling constructs. The paper presents algorithms that use these representations to perform the desired analyses. The paper also discusses several software-engineering applications that use these analyses. Finally, the paper describes empirical results pertaining to the occurrence of exception-handling constructs in Java programs, and their impact on some analysis tasks.
Type: Technical Report
Date: 2000
Relation: CC Technical Report; GIT-CC-00-04
Publisher: Georgia Institute of Technology
Subject: Exception handling
Control-flow analysis
Control-dependence analysis
Data flow analysis
Program slicing
Structural testing

All materials in SMARTech are protected under U.S. Copyright Law and all rights are reserved, unless otherwise specifically indicated on or in the materials.

Files in this item

Files Size Format View
GIT-CC-00-04.pdf 480.3Kb PDF View/ Open

This item appears in the following Collection(s)

Show full item record