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.
Type de document :
Communication dans un congrès
IEEE International Conference on Software Testing, ICST'08, Apr 2008, Lillehammer, Norway, Norway. pp.328-337, 2008
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00456955
Contributeur : Didier Vojtisek <>
Soumis le : mardi 16 février 2010 - 10:42:49
Dernière modification le : jeudi 11 janvier 2018 - 06:20:11
Document(s) archivé(s) le : vendredi 18 juin 2010 - 21:01:51

Fichier

Sen08a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00456955, version 1

Collections

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, 2008. 〈inria-00456955〉

Partager

Métriques

Consultations de la notice

265

Téléchargements de fichiers

135