Evaluating the Usability of Model Transformations Testing Approach (MTTA)

Abstract

Model Transformation (MT) is a key component in Model Driven Development (MDD). Model transformation is used to transform source model into a target model, improve the model quality and also introduce the design pattern and refactoring. Model transformation are not free from bugs similar to other software development artifacts and it needs to be verified. Code Generators (CG) are a type of model transformation that automatically generate code from software models. To verify a CG using Model Transformation Testing Approach (MTTA) effectively, MTTA requires the users to manually generate test model and develop assertions.