Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa,
"JADE - A Step towards an Intelligent Debugger"
: Proceedings of the 11th International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico, June 8-10, 2000., 6-2000
Original Titel:
JADE - A Step towards an Intelligent Debugger
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 11th International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico, June 8-10, 2000.
Original Kurzfassung:
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:
Englisch
Erscheinungsmonat:
6
Erscheinungsjahr:
2000
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (dke.win@jku.at). Please include the paper-no. (Stum00e) and agree to use the paper for scientific purposes and private use only!