Automatic Generation of Ecore Models for Testing ATL Transformations

Model transformation testing is crucial to detect incorrect transformations. Buggy transformations can lead to incorrect target models, either violating target meta-model requirements or more complex target model properties. In this paper we present a tool for testing ATL transformations. This tool is an extension of a previously developed tool for testing XML-based languages. With this aim an Ecore to XML Schema transformation is defined which makes to automatically generate random Ecore models possible. These randomly generated Ecore models are used to test ATL transformations. Properties to be tested are specified by OCL constraints, describing input and output conditions on source and target models, respectively.

[1]  Antonio Vallecillo,et al.  Static Fault Localization in Model Transformations , 2015, IEEE Transactions on Software Engineering.

[2]  Jürgen Dingel,et al.  Model transformation testing: the state of the art , 2012, AMT '12.

[3]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[4]  Gerti Kappel,et al.  Automated verification of model transformations based on visual contracts , 2013, Automated Software Engineering.

[5]  Raffaela Mirandola,et al.  Testing operational transformations in model-driven engineering , 2013, Innovations in Systems and Software Engineering.

[6]  Jesús Manuel Almendros-Jiménez,et al.  XQuery Testing from XML Schema Based Random Test Cases , 2015, DEXA.

[7]  Martin Gogolla,et al.  Formal Specification and Testing of Model Transformations , 2012, SFM.

[8]  Myra B. Cohen,et al.  An orchestrated survey of methodologies for automated software test case generation , 2013, J. Syst. Softw..

[9]  Jordi Cabot,et al.  Using Models of Partial Knowledge to Test Model Transformations , 2012, ICMT@TOOLS.

[10]  Mario Ornaghi,et al.  A Constructive Approach to Testing Model Transformations , 2010, ICMT@TOOLS.

[11]  Yves Le Traon,et al.  Qualifying input test data for model transformations , 2009, Software & Systems Modeling.

[12]  Juan de Lara,et al.  Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving , 2014, 2014 IEEE 25th International Symposium on Software Reliability Engineering.

[13]  Bruno Legeard,et al.  A taxonomy of model‐based testing approaches , 2012, Softw. Test. Verification Reliab..

[14]  Esther Guerra,et al.  Specification-driven model transformation testing , 2015, Software & Systems Modeling.

[15]  Gerson Sunyé,et al.  Partial Test Oracle in Model Transformation Testing , 2013, ICMT.

[16]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[17]  Jean-Marc Jézéquel,et al.  Meta-model Pruning , 2009, MoDELS.

[18]  Jordi Cabot,et al.  ATLTest: a white-box test generation approach for ATL transformations , 2012, MODELS'12.

[19]  Jordi Cabot,et al.  Test Data Generation for Model Transformations Combining Partition and Constraint Analysis , 2014, ICMT.

[20]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..