Validation of Model Transformations – First Experiences using a White Box Approach

TitleValidation of Model Transformations – First Experiences using a White Box Approach
Publication TypeConference Paper
Year of Publication2006
AuthorsKüster, J. M., and M. AbdelRazik
Conference NameIn Proceedings Of MoDeVa'06 (3rd International Workshop on Model Development, Validation and Verification), associated to MODELS'06 (9th International Conference on Model Driven Engineering Languages And Systems)
Date PublishedOctober
Abstract

Validation of model transformations is important for ensuring their quality. Successful validation must take into account the characteristics of model transformations and develop a suitable fault model on which test case generation can be based. In this paper, we report our experiences in validating a number of model transformations and propose three techniques that can be used for constructing test cases.

URLhttp://modeva.itee.uq.edu.au/accepted_papers/main.pdf
Refereed DesignationRefereed