A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
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 postconditions 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.doi:10.1109/icse.2001.919198 dblp:conf/icse/HobatrM01 fatcat:5l6ow4mxijgbblc6slpgwgvx6q