Towards Dependable Model Transformations: Qualifying Input Test Data

Franck Fleurey 1, 2 Benoit Baudry 1 Pierre-Alain Muller 1 Yves Le Traon 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 : Model transformation is a core mechanism for model-driven engineering (MDE). Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program development. Testing a model transformation is typically performed by checking the results of the transformation applied to a set of input models. While it is fairly easy to provide some input models, it is difficult to qualify the relevance of these models for testing. In this paper, we propose a set of rules and a framework to assess the quality of given input models for testing a given transformation. Furthermore, the framework identifies missing model elements in input models and assists the user in improving these models.
Type de document :
Article dans une revue
Journal of Software and Systems Modeling (SoSyM), Springer, 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00477567
Contributeur : Didier Vojtisek <>
Soumis le : jeudi 29 avril 2010 - 15:09:38
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 30 septembre 2010 - 16:27:20

Fichier

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

Identifiants

  • HAL Id : inria-00477567, version 1

Citation

Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon. Towards Dependable Model Transformations: Qualifying Input Test Data. Journal of Software and Systems Modeling (SoSyM), Springer, 2007. 〈inria-00477567〉

Partager

Métriques

Consultations de la notice

450

Téléchargements de fichiers

165