Cristinel Mateis, Markus Stumptner, Franz Wotawa,
"A Value-Based Diagnosis Model for Java"
: Proceedings of the 11th International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico, June 8-10, 2000, 6-2000
Original Titel:
A Value-Based Diagnosis Model for Java
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:
A key advantage of model-based diagnosis is the ability to use a generic model for the production of system descriptions that can be used to derive diagnoses for differently structured individual systems from a domain. This advantage is nowhere more apparent than in the software error diagnosis (or debugging) area, where given a model, system descriptions can be automatically derived from source code. However, effective models for diagnosing programs have so far been limited to special-purpose languages. We describe a value-based model for Java programs that enables us to explicitly deal with imperative program execution (including loop execution), and compare the outcome of our approach to the results obtained by using program slicing, a traditional technique from the software debugging community, and a simple dependency-based model for Java.
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. (Stum00d) and agree to use the paper for scientific purposes and private use only!