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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00456955
Contributor : Didier Vojtisek <>
Submitted on : Tuesday, February 16, 2010 - 10:42:49 AM
Last modification on : Tuesday, December 4, 2018 - 10:18:01 AM
Long-term archiving on : Friday, June 18, 2010 - 9:01:51 PM

File

Sen08a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00456955, version 1

Citation

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⟩

Share

Metrics

Record views

392

Files downloads

256