Cristinel Mateis, Markus Stumptner, Franz Wotawa,
"Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiments (Jade) project"
, in Rasiah Loganantharai, Günther Palm: Proceedings of the 13th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE '00), June 19-22, 2000, New Orleans, U.S.A., Serie Lecture Notes in Computer Science (LNCS), Vol. 1821, Springer Verlag, Deutschland, Seite(n) 174-183, 6-2000, ISBN: 3-540-67689-9
Original Titel:
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiments (Jade) project
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 13th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE '00), June 19-22, 2000, New Orleans, U.S.A.
Original Kurzfassung:
This paper describes the use of model-based reasoning for locating bugs in Java programs. Model-based diagnosis is a technology that uses a declarative, generic description of the behavior of the components occurring in a domain to construct a model of the overall system which can then be used at the desired level of abstraction to predict a system's behavior and derive assumptions about which parts of the system are incorrect. This approach is particularly enticing when applied to software since the model can be constructed from the program automatically. However, the actual choice of models poses interesting challenges. We show a simple model based on dependencies that can be used to diagnose very large programs, and walk through an example debugging session.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Verlag
Verlagsanschrift:
Deutschland
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
1821
Seitenreferenz:
174-183
Erscheinungsmonat:
6
Erscheinungsjahr:
2000
ISBN:
3-540-67689-9
Anzahl der Seiten:
10
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. (Stum00a) and agree to use the paper for scientific purposes and private use only!
Forschungs-