JADE - A Step towards an Intelligent Debugger
Franz Wotawa, Cristinel Mateis, Markus Stumptner, Dominik Wieland · 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 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 produced by support methods from the programming community.