A MOP Based DSL for Testing Java Programs using OCL
Abstract
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.
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:
PDFDOI: 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.