Towards an Automation of the Mutation Analysis Dedicated to Model Transformation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Software Testing, Verification and Reliability Year : 2014

Towards an Automation of the Mutation Analysis Dedicated to Model Transformation

Abstract

A major benefit of Model Driven Engineering (MDE) relies on the automatic generation of artefacts from high-level models through intermediary levels using model transformations. In such a process, the input must be well-designed and the model transformations should be trustworthy. Due to the specificities of models and transformations, classical software test techniques have to be adapted. Among these techniques, mutation analysis has been ported and a set of mutation operators has been defined. However, mutation analysis currently requires a considerable manual work and suffers from the test data set improvement activity. This activity is seen by testers as a difficult and time-consuming job, and reduces the benefits of the mutation analysis. This paper addresses the test data set improvement activity. Model transformation traceability in conjunction with a model of mutation operators, and a dedicated algorithm allow to automatically or semi-automatically produce test models that detect new faults. The proposed approach is validated and illustrated in a case study written in Kermeta.

Keywords

Fichier principal
Vignette du fichier
paper.pdf (766.87 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00988164 , version 1 (07-05-2014)

Identifiers

Cite

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, et al.. Towards an Automation of the Mutation Analysis Dedicated to Model Transformation. Journal of Software Testing, Verification and Reliability, 2014, pp.30. ⟨10.1002/stvr.1532⟩. ⟨hal-00988164⟩
1222 View
599 Download

Altmetric

Share

Gmail Facebook X LinkedIn More