Traceability for Mutation Analysis in Model Transformation

Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00731016
Contributor : Jean-Marie Mottu <>
Submitted on : Wednesday, September 12, 2012 - 6:05:49 PM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM
Document(s) archivé(s) le : Thursday, December 13, 2012 - 3:44:20 AM

File

modevva2010-extendedMoDELS.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

404

Files downloads

183