Diagnosing Java Programs with Static Abstractions of Data Structures
Model-based software debugging helps users to find program errors and thus to reduce the overall costs for software development. In this paper, we extend our previous work to diagnose common data structure errors. The proposed logical program model derives from a collection of indexed object relations, which capture the underlying data structures at the abstraction level of objects. A case study suggests that the counterexample with the diagnoses can help the user to understand the nature of program errors and thus speed up error correction.
Key wordsAutomatic reasoning model-based diagnosis fault localization
- I. C. Mateis, M. Stumptner, and F. Wotawa. Modeling Java Programs for Diagnosis, ECAI 2001, Berlin Germany.Google Scholar