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.
展开▼
