Automated Debugging In Java Using OCL And JDI

Details Automated Debugging In Java Using OCL And JDI Automated Debugging In Java Using OCL And JDI

2001-01-03

arxiv.org/abs/cs/0101002v1

Computer Science

Software Engineering

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

Scientific paper

Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the Object Constraint Language ("OCL") as a specification language and the Java Debug Interface ("JDI") as a verification API. OCL provides a standard language for expressing object-oriented constraints that can integrate with Unified Modeling Language ("UML") software models. JDI provides a standard Java API capable of supporting type-safe and side effect free runtime constraint evaluation. The resulting correctness constraint mechanism: (1) entails no programming language modifications; (2) requires neither access nor changes to existing source code; and (3) works with standard off-the-shelf Java virtual machines ("VMs"). A prototype correctness constraint auditor is presented to demonstrate the utility of this mechanism for purposes of automated debugging.

Affiliated with

Also associated with

No associations

Rating

Automated Debugging In Java Using OCL And JDI 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 Automated Debugging In Java Using OCL And JDI, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated Debugging In Java Using OCL And JDI will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-151476