Automatic Model Generation Strategies for Model Transformation Testing

Sagar Sen 1 Benoit Baudry 1 Jean-Marie Mottu 1, 2
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 model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources such as well-formedness rules, transformation pre-conditions, and test strategies. Manually specifying such models is tedious since models must simultaneously conform to several meta-constraints. We propose automatic model generation via constraint satisfaction using our tool Cartier for model transformation testing. Due to the virtually infinite number of models in the input domain we compare strategies based on input domain partitioning to guide model generation. We qualify the effectiveness of these strategies by performing mutation analysis on the transformation using generated sets of models. The test sets obtained using partitioning strategies gives mutation scores of up to 87\% vs. 72\% in the case of unguided/random generation. These scores are based on analysis of 360 automatically generated test models for the representative transformation of UML class diagram models to RDBMS models.
Type de document :
Communication dans un congrès
Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009., Jun 2009, Zurich, Switzerland. pp.148-164, 2009, Proceedings of the Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00468256
Contributeur : Didier Vojtisek <>
Soumis le : mardi 30 mars 2010 - 13:58:00
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 1 juillet 2010 - 20:31:15

Fichier

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

Identifiants

  • HAL Id : inria-00468256, version 1

Citation

Sagar Sen, Benoit Baudry, Jean-Marie Mottu. Automatic Model Generation Strategies for Model Transformation Testing. Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009., Jun 2009, Zurich, Switzerland. pp.148-164, 2009, Proceedings of the Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. 〈inria-00468256〉

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

312