Mutation Analysis Testing for Model Transformations

Jean-Marie Mottu 1 Baudry Benoit 1 Yves Le Traon 2
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test data, and has been extensively studied both for procedural and object-oriented languages. In this paper, we study how it can be adapted to model oriented programming. Since no model transformation language has been widely accepted today, we propose generic fault models that are related to the model transformation process. First, we identify abstract operations that constitute this process: model navigation, model's elements filtering, output model creation and input model modification. Then, we propose a set of specific mutation operators which are directly inspired from these operations. We believe that these operators are meaningful since a large part of the errors in a transformation are due to the manipulation of complex models regardless of the concrete implementation language.
Document type :
Conference papers
Complete list of metadatas
Contributor : Jean-Marie Mottu <>
Submitted on : Monday, February 15, 2010 - 12:13:17 PM
Last modification on : Tuesday, December 4, 2018 - 10:18:04 AM


  • HAL Id : hal-00456532, version 1


Jean-Marie Mottu, Baudry Benoit, Yves Le Traon. Mutation Analysis Testing for Model Transformations. European Conference on Model Driven Architecture (ECMDA 06), Jul 2006, Bilbao, Spain, Spain. pp 376 - 390. ⟨hal-00456532⟩



Record views