Skip to Main content Skip to Navigation
Conference papers

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Sagar Sen 1 Benoit Baudry 1 Jean-Marie Mottu 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of knowledge that is expressed in different formalisms. Thus, in order to automatically generate test models it is necessary to interpret these different sources of knowledge and combine them into a consistent set of information that can be used for model synthesis. In this paper, we identify sources of testing knowledge and present our tool Cartier that uses Alloy as the first-order relational logic language to represent combined knowledge in the form of constraints. The constraints are solved leading to a selection of qualified test models from the input domain of a model transformation. We illustrate our approach using the Unified Modeling Language class diagram to relational database management systems transformation as a running example.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2010 - 10:42:49 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:29 PM
Long-term archiving on: : Friday, June 18, 2010 - 9:01:51 PM


Files produced by the author(s)


  • HAL Id : inria-00456955, version 1


Sagar Sen, Benoit Baudry, Jean-Marie Mottu. On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. IEEE International Conference on Software Testing, ICST'08, Apr 2008, Lillehammer, Norway, Norway. pp.328-337. ⟨inria-00456955⟩



Record views


Files downloads