Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations

Model transformations can be specified using an operational or a relational approach. For a relational approach, an operationalization must be derived from the transformation specification using approved formal concepts, so that the operationalization conforms to the specification. A conforming operationalization transforms a source model S to a target model T, which is moreover related to S according to the relational transformation specification. The conformance of an operationalization with its relational specification must be tested since it is not certain that the formal concepts have been correctly realized by the implementation. Moreover, transformation implementations often perform optimizations, which may violate conformance.

[1]  Reiko Heckel,et al.  Automatic Conformance Testing of Web Services , 2005, FASE.

[2]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[3]  Andy Schürr,et al.  15 Years of Triple Graph Grammars , 2008, ICGT.

[4]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers , 2008, Applications of Graph Transformations with Industrial Relevance.

[5]  Hartmut Ehrig,et al.  Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[6]  Holger Giese,et al.  Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case , 2012 .

[7]  Holger Giese,et al.  Bridging the gap between formal semantics and implementation of triple graph grammars , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

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

[9]  Hartmut Ehrig,et al.  Efficient analysis and execution of correct and complete model transformations based on triple graph grammars , 2010, MDI '10.

[10]  B. Baudry,et al.  Validation in model-driven engineering: testing model transformations , 2004, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004..

[11]  Andy Schürr,et al.  15 years of triple graph grammar : research challenges, new contribultions, open problems , 2008 .

[12]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[13]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[14]  Jochen Malte Küster,et al.  Validation of model transformations: first experiences using a white box approach , 2006, MoDELS'06.

[15]  Holger Giese,et al.  Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars , 2010 .

[16]  Benoit Baudry,et al.  Automatic Model Generation Strategies for Model Transformation Testing , 2009, ICMT@TOOLS.

[17]  Gregor Engels,et al.  Towards model-driven unit testing , 2006, MoDELS'06.

[18]  Holger Giese,et al.  Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations , 2011, AGTIVE.

[19]  Juan de Lara,et al.  Inter-Modelling with Graphical Constraints: Foundations and Applications , 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[20]  Hartmut Ehrig,et al.  Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs , 2012, Theor. Comput. Sci..