Validation of model transformations: first experiences using a white box approach

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.

[1]  Jana Koehler,et al.  Compiling Process Graphs into Executable Code , 2004, GPCE.

[2]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[3]  Jochen Malte Küster,et al.  Definition and validation of model transformations , 2006, Software & Systems Modeling.

[4]  Dániel Varró,et al.  Towards Testing the Implementation of Graph Transformations , 2008, Electron. Notes Theor. Comput. Sci..

[5]  Reiko Heckel,et al.  Towards Model-Driven Testing , 2003, TACoS.

[6]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[7]  Gabor Karsai,et al.  On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

[8]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[9]  Gabriele Taentzer,et al.  Generating Instance Models from Meta Models , 2006, FMOODS.

[10]  Ileana Ober,et al.  Satellite Events at the MoDELS 2005 Conference. , 2006 .

[11]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[12]  Mohamed Abdel-Razik Mansour.  Business process normalization using model transformation , 2007 .

[13]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[14]  Yves Le Traon,et al.  Mutation Analysis Testing for Model Transformations , 2006, ECMDA-FA.

[15]  Robert B. France,et al.  A tool-supported approach to testing UML design models , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[16]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[17]  Bruno Legeard,et al.  A taxonomy of model-based testing , 2006 .

[18]  Philippe Kruchten,et al.  What Is the Rational Unified Process ? , 2001 .

[19]  Thomas Baar,et al.  Refactoring OCL annotated UML class diagrams , 2005, MoDELS'05.

[20]  Frank Marschall,et al.  BOTL - The Bidirectional Object Oriented Transformation Language , 2003 .

[21]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[22]  Jana Koehler,et al.  The Role of Visual Modeling and Model Transformations in Business-driven Development , 2008, GT-VMT@ETAPS.