Using OCL-Queries for debugging C++

C. Hobatr, B.A. Malloy
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001  
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