Abstract:More applications are designed as server programs, many of which are expected to run 24x7. Ensuring the quality of error handling code is vital to the high availability that are expected from them. However, error handling code is hard to explore, review and test, for the reason that (1) it is scattered all over the system, often not at all organized; (2) it is impossible to trigger during runtime by simply manipulating the program inputs or configurations. The goal of our research is to provide tools that helps programmers explore, review and test error handling code in a structured way to boost the system availability and maintainability. The contributions of this thesis are the following: (1) Definition of the problem of white box robustness testing for Java-based server applications, including an exception def-catch coverage metric and testing frame-work. (2) A new program analysis that enables the above mentioned testing methodology, which allows compiler-generated instrumentation to guide the fault injection and to record the recovery code exercised. (An injected fault is experienced as a Java exception.) The analysis (i) identifies the exception-flow ‘def-uses’ to be tested in this manner, (ii) determines the kind of fault to be requested at a program point, and (iii) finds appropriate locations for code instrumentation. (3) Empirical studies of several variants of the analysis algorithms, which demonstrate increased precision in obtaining good test coverage on a set of server benchmarks. These studies include aggregate accuracy and timing information, with discussions of cases in which static analysis is difficult. (4) A program understanding tool that visualizes discovered exception-flow ‘def-use’ links. (5) A novel program analysis that discovers semantic relations between the exception-flow ‘def-uses’ links and combines them into chains, in order to reveal the propagation path of an exception from its original to its final handler. (6) An initial case study of testing exception propagation chains.

Approach to Evaluating Exception Handling of Programs

An Approach to Analyzing Recursive Programs with Exception Handling Constructs.

An Approach to Static Analysis of Exception Handling in C~(++)

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

An Approach to Analyzing Inter-Class Control Dependence of Programs with Exception-Handling

Static Analysis for Java Exception Propagation Structure

Design and Implementation of a Exception Propagation Analysis Tool

Where to Handle an Exception? Recommending Exception Handling Locations from a Global Perspective

Detecting Exception Handling Bugs in C++ Programs.

Improving Software Reliability Using Exception Analysis of Object Oriented Programs

Approach of Statically Detecting C++ Exception Safety

Go the Extra Mile: Fixing Propagated Error-Handling Bugs

Learning to Handle Exceptions

Constructing Exception Handling Chains for Testing Java Virtual Machine Implementations

An Approach to Analyzing Inter-Class Data Dependence of programs with Exception Propagation

An Efficient and Reliable Object-Oriented Exception Handling Mechanism

A New Mutation Analysis Method for Testing Java Exception Handling

Construction Method of Exception Control Flow Graph for Business Process Execution Language Process

Approach of Model Checking for Exception Handling Based on EHA

Exception Handling Based on Java

Testing and Understanding Error Recovery Code in Java Applications