Traceability for Mutation Analysis in Model Transformation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Traceability for Mutation Analysis in Model Transformation

Résumé

Model transformation can't be directly tested using program techniques. Those have to be adapted to model characteristics. In this paper we focus on one test technique: mutation analysis. This technique aims to qualify a test data set by analyzing the execution results of intentionally faulty program versions. If the degree of qualification is not satisfactory, the test data set has to be improved. In the context of model, this step is currently relatively fastidious and manually performed. We propose an approach based on traceability mechanisms in order to ease the test model set improvement in the mutation analysis process. We illustrate with a benchmark the quick automatic identification of the input model to change. A new model is then created in order to raise the quality of the test data set.
Fichier principal
Vignette du fichier
modevva2010-extendedMoDELS.pdf (439.93 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00731016 , version 1 (12-09-2012)

Identifiants

Citer

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser. Traceability for Mutation Analysis in Model Transformation. MODELS'10, Oct 2010, Oslo, Norway. pp.259-273, ⟨10.1007/978-3-642-21210-9_25⟩. ⟨hal-00731016⟩
207 Consultations
240 Téléchargements

Altmetric

Partager

More