A MOP Based DSL for Testing Java Programs using OCL
Published in SHURA (Sheffield Hallam University Research Archive) (Sheffield Hallam University) • Mar 12, 2024
NobleIDNI8P21W26R31S87
Authors:
Tony Clark
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 t...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!