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
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
4 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
5 DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
Université de Lille, Sciences et Technologies, Inria Lille - Nord Europe, CNRS - Centre National de la Recherche Scientifique
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.
keyword : Mutation analysis
Type de document :
Article dans une revue
Software Testing, Verification and Reliability, Wiley, 2014, pp.30. <10.1002/stvr.1532>
Liste complète des métadonnées


https://hal.inria.fr/hal-00988164
Contributeur : Lse Lse <>
Soumis le : mercredi 7 mai 2014 - 15:18:55
Dernière modification le : mercredi 2 août 2017 - 10:11:00
Document(s) archivé(s) le : jeudi 7 août 2014 - 11:30:28

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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

Partager

Métriques

Consultations de
la notice

1350

Téléchargements du document

595