15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  

ECAI-2002 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Towards an Integrated Debugging Environment

Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa

With recent research showing that consistency based diagnosis can be used to model programs written in imperative programming languages for debugging purposes, it has been possible to develop debugging environments that provide interactive support to the developer, homing in on individual faults within a few interactions. In addition to complexity results, this paper discusses how the results of the straightforward application of diagnosis models can be improved upon by incorporating information obtained from multiple test cases (i.e., input/output vector specifications). The information from executing such test cases can be used to support heuristic statement selection by assigning fault probabilities, and for elimination of diagnosis candidates. We also discuss how the extended algorithms can be integrated with the consideration of multiple diagnosis models during the diagnosis process.

Keywords: Diagnosis, Model-Based Reasoning

Citation: Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa: Towards an Integrated Debugging Environment. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.422-426.

[prev] [tofc] [next]

ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the UniversitÚ Claude Bernard and INSA, Lyon, on behalf of Association Franšaise pour l'Intelligence Artificielle.