Using OCL-queries for debugging C++

Authors:
Chanika Hobatr;Brian A. Malloy
Affiliations:
Clemson University, Computer Science Department, Clemson, SC;Clemson University, Computer Science Department, Clemson, SC
Venue:
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Year:
2001

Citing 5
Cited 2

A metaobject protocol for C++

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Query-based debugging of object-oriented programs

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Coca: an automated debugger for C

Proceedings of the 21st international conference on Software engineering
Dynamic Query-Based Debugging

Dynamic Query-Based Debugging

Caching and incrementalisation in the java query language

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Efficient object querying for java

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This demonstration will present a design and preliminary implementation of the OCL query-based debugger, OQBD, which is a tool to debug C++ programs using queries formulated in the object constraint language, OCL. We will illustrate how queries can be formulated to verify constraints such as class invariants and pre and post-conditions for member functions. The queries can be reused after code generation to verify the design contract, as part of the testing process, and to facilitate fault detection.