Extended Abstract - Model-Based Debugging of Java Programs

Details Extended Abstract - Model-Based Debugging of Java Programs Extended Abstract - Model-Based Debugging of Java Programs

2000-11-20

arxiv.org/abs/cs/0011027v1

Computer Science

Software Engineering

In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munic

Scientific paper

Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical devices can be located and identified via the existence of a model describing the basic properties of components of a certain application domain. When actual data concerning the misbehavior of a system composed from such components is available, a domain-independent diagnosis engine can be used to infer which parts of the system contribute to the observed behavior. This paper describes the application of the model-based approach to the debugging of Java programs written in a subset of Java. We show how a simple dependency model can be derived from a program, demonstrate the use of the model for debugging and reducing the required user interactions, give a comparison of the functional dependency model with program slicing, and finally discuss some current research issues.

Affiliated with

Also associated with

No associations

Rating

Extended Abstract - Model-Based Debugging of Java Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extended Abstract - Model-Based Debugging of Java Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extended Abstract - Model-Based Debugging of Java Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-573583