Towards Dependable Model Transformations: Qualifying Input Test Data - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2007

Towards Dependable Model Transformations: Qualifying Input Test Data

Résumé

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.
Fichier principal
Vignette du fichier
Fleurey07b.pdf (776.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00477567 , version 1 (29-04-2010)

Identifiants

  • HAL Id : inria-00477567 , version 1

Citer

Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon. Towards Dependable Model Transformations: Qualifying Input Test Data. Software and Systems Modeling, 2007. ⟨inria-00477567⟩
247 Consultations
139 Téléchargements

Partager

Gmail Facebook X LinkedIn More