White-Box Coverage Criteria for Model Transformations

From AtlanMod

< To: MtATL2009

Abstract: Model transformations are core to MDE, and one of the key aspects for all model transformations is that they are validated. In this paper we develop an approach to testing model transformations based on white-box coverage measures of the transformations. To demonstrate the use of this approach, we apply it to some examples from the ATL metamodel zoo.