Validation of model transformations - First experiences using a white box approach

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. © Springer-Verlag Berlin Heidelberg 2007.