CVSM Bibliography, Entry [ LiZG2005MDSD ]

Lin, Yuehua; Zhang, Jing; Gray, Jeff: A Testing Framework for Model Transformations; Workshop on Best Practices for Model-Driven Software Development, held at OOPSLA 2004, Vancouver, BC, October 2004; 2005
Download: Volltext
Download: Volltext
Library Entries: ACM Digital Library
Deskriptoren: CVSM

Abstract: As models and model transformations are elevated to first-class artifacts within the software development process, there is an increasing need to provide support for techniques and methodologies that are currently missing in modeling practice, but provided readily in other stages of the development lifecycle. Within a model transformation infrastructure, it is vital to provide foundational support for validation and verification of model transformations by investigating and constructing a testing framework focused at the modeling level, rather than source code at the implementation level. We present a framework for testing model transformations that is based on the concepts of model difference and mapping. This framework is integrated with an existing model transformation engine to provide facilities for construction of test cases, execution of test cases, comparison of the output model with the expected model, and visualization of test results. A case study in model transformation testing is presented to illustrate the feasibility of the framework.