Understanding and Isolating Data Structure Errors of Java Programs

R. Chen and F. Wotawa (Austria)

Keywords

Modelbased Reasoning, Diagnosis , Automatic Soft ware Debugging, Program Analysis

Abstract

There is a variety of computer-aided debugging ap proaches to assist users to detect program errors. They usually present a concrete run of the program that vio lates an expected property. However, these approaches provide almost no help for locating a fault once it has been detected. In this paper we focus on the second task of debugging, i.e., fault localization, and present a model to reason about object relations arising from the program execution. Given the generated object re lations, we can find the counterexamples that violates the user-expected structural properties, return a set of fault candidates that can enlighten the users' under standing of the program errors, and thus to speed up error correction.

Important Links:



Go Back