*Result*: A MOP Based DSL for Testing Java Programs using OCL
Title:
A MOP Based DSL for Testing Java Programs using OCL
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Collection:
CiteSeerX
Document Type:
*Academic Journal*
text
File Description:
application/pdf
Language:
English
Relation:
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.A144B52B
Database:
BASE
*Further Information*
*OCL is used to specify systems by de ning pre and postconditions for class operations. Typically, the conditions refer to properties and operations that are de ned 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 shows how OCL conditions can be performed against a Java implementation of a model and how a meta-object protocol can be used to control the relationship between the original model and the implementation thereby retaining OCL consistency. 1*