A MOP Based DSL for Testing Java Programs using OCL

Tony Clark


OCL is used to specify systems by defining pre and post-conditions for
class operations. Typically, the conditions refer to properties and operations that are
defined in a model. When the model is implemented, various implementation decisions
are made regarding properties and operations that cause the OCL conditions to
be inconsistent with the implementation. This paper defines a domain specific language
(DSL) for testing and shows how a meta-object-protocol for OCL can be used
to dynamically run tests written in the DSL against different Java implementations
of the same model.

Full Text:


DOI: http://dx.doi.org/10.14279/tuj.eceasst.24.329

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.24.329.318

Hosted By Universit├Ątsbibliothek TU Berlin.