Proceedings of the 11th International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico, June 8-10, 2000.
The idea behind Model-based debugging is the notion of using the techniques of model-based diagnosis for locating errors in software. This requires the presence of a model of the software being debugged, which is generated automatically from the source code, and combined with test results and user input to identify statements or expressions that may be the cause of incorrect results. We describe the actual interactive use of model-based debugging support for Java programs, based on an extended version of a previously presented model for representing these programs. Even with an extremely simple model, the system uses the diagnosis outcomes to guide user interaction with the debugger and lead the user (programmer) towards the source of the error. We compare the behavior of the integrated debugger with the outcomes of methods from the programming community.
Sprache der Kurzfassung:
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (firstname.lastname@example.org). Please include the paper-no. (Stum00e) and agree to use the paper for scientific purposes and private use only!