Java Diagnosis Experiments Project

The Java Diagnosis Experiments

Faults in software systems not only stand for inconveniences for the user, but also result in a drastic increase of the total production costs. Therefore, the development of a tool, which automatically locates and possibly repairs such faults, is not only a technically challenging task, but includes an important economic and social relevance.

Over the last three years the JADE project has been dealing with the application of model-based diagnosis techniques, which in the past have successfully been used to diagnose physical systems, to the software domain. The main goal was to provide a solid theoretical foundation for the location of bugs in computer programs and to develop a user-friendly and intuitive prototype debugger, which support its user in the localization of source code faults in Java programs.

The theoretical activities of the JADE project mainly examined the general applicability of model-based diagnosis techniques to software debugging and related research directions within the field. Moreover, concrete methods and algorithms have been developed, which were prerequisites for the practical application of the chosen approaches and thus directly influenced the implementation tasks of the debugger prototype. These activities are documented by a master's thesis, a PhD thesis, a professorial (habilitation) thesis, three journal publications and several articles and presentations at international conferences and workshops.

The most notable outcome of the JADE project is the prototype debugging environment, which computes possible bug candidates for faulty Java programs. The system is fully functional and currently makes use of five different models of the analyzed Java program. The system's diagnostic performance has been tested on several buggy Java programs and turned out to be promising. In all tests the parts of the programs including the faults could be reduced. Moreover, the faults could exactly be located in interactive debugging sessions. Empirically, the JADE system turned out to be superior to traditional diagnosis and debugging tools. Therefore, it seems promising to carry out further research activities in the project's area and to combine the chosen approaches with existing software development techniques.

JADE application document
[gzipped postscript] (100KB)
Final report
[gzipped postscript] (80KB)
Kurzbericht (german)
[gzipped postscript] (13KB)
Request for prolongation
[gzipped postscript] (25KB)
Project summary
[gzipped postscript] (11KB)
This project has been funded by the Austrian Science Fund (FWF) under grant P12344-INF.
JADE has been carried out by the Vienna University of Technology, Computer Science Department,Institute of Information Systems (184), Database and Artificial Intelligence Group (184/2) DBAI Logo
JADE HomePeople involved in JadeJADE PublicationsJADE DemoJADE Testcases
Send comments and requests to the JADE Project Group
Last modification: 16.01.2002
(C) 1998-2002, Technische Universität Wien