*Result*: ECEASST A MOP Based DSL for Testing Java Programs using OCL
Title:
ECEASST A MOP Based DSL for Testing Java Programs using OCL
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Collection:
CiteSeerX
Subject Terms:
Document Type:
*Academic Journal*
text
Language:
English
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.6A098923
Database:
BASE
*Further Information*
*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 deci-sions are made regarding properties and operations that cause the OCL conditions to be inconsistent with the implementation. This paper defines a domain specific lan-guage (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.*