R. Chen and F. Wotawa (Austria)
Model-based Reasoning, Diagnosis , Automatic Soft ware Debugging, Program Analysis
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
