Towards an Automation of the Mutation Analysis Dedicated to Model Transformation

Vincent Aranega (1) , Jean-Marie Mottu (2) , Anne Etien (3) , Thomas Degueule (2) , Benoit Baudry (4) , Jean-Luc Dekeyser (5)

1 DART - Contributions of the Data parallelism to real time
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
3 RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
4 DiverSe - Diversity-centric Software Engineering
5 DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages

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.

Mots clés: Mutation analysis

Domaines: Langage de programmation [cs.PL]

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⟩