Summary
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lin, Y., Zhang, J., Gray, J. (2005). A Testing Framework for Model Transformations. In: Beydeda, S., Book, M., Gruhn, V. (eds) Model-Driven Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-28554-7_10
Download citation
DOI: https://doi.org/10.1007/3-540-28554-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25613-7
Online ISBN: 978-3-540-28554-0
eBook Packages: Computer ScienceComputer Science (R0)