Using design information to identify structural software faults
Date
2001
Authors
Stumptner, M.
Editors
Stumptner, M.
Corbett, D.
Brooks, M.
Corbett, D.
Brooks, M.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001 / Stumptner, M., Corbett, D., Brooks, M. (ed./s), vol.2256, pp.473-486
Statement of Responsibility
Conference Name
14th Australian Joint Conference on Artificial Intelligence (AI 01) (10 Dec 2001 : Adelaide, Australia)
Abstract
The use of model-based diagnosis techniques for software debugging has been an active research area for several years. This paper describes the extension of model-based debugging by the utilization of object-oriented design information for the identification of structural faults. The typical structural software fault is the incorrect assignment, both a frequent and hard to identify problem if no extra information about the fault is present. We analyze the different types of faults, use heuristics about pre- and postconditions to infer missing or additional state variable assignments, and use statechart diagrams as additional constraints over the permissible method execution sequences.