Skip to Main content Skip to Navigation
New interface
Conference papers

Static Analysis of Model Transformations for Effective Test Generation

Jean-Marie Mottu 1 Sagar Sen 2 Massimo Tisi 2 Jordi Cabot 2 
2 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Model transformations are an integral part of several computing systems that manipulate interconnected graphs of objects called models in an input domain specified by a metamodel and a set of invariants. Test models are used to look for faults in a transformation. A test model contains a specific set of objects, their interconnections and values for their attributes. Can we automatically generate an effective set of test models using knowledge from the transformation? We present a white-box testing approach that uses static analysis to guide the automatic generation of test inputs for transformations. Our static analysis uncovers knowledge about how the input model elements are accessed by transformation operations. This information is called the input metamodel footprint due to the transformation. We transform footprint, input metamodel, its invariants, and transformation pre-conditions to a constraint satisfaction problem in Alloy. We solve the problem to generate sets of test models containing traces of the footprint. Are these test models effective? With the help of a case study transformation we evaluate the effectiveness of these test inputs. We use mutation analysis to show that the test models generated from footprints are more effective (97.62% avg. mutation score) in detecting faults than previously developed approaches based on input domain coverage criteria (89.9% avg.) and unguided generation (70.1% avg.).
Document type :
Conference papers
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Massimo Tisi Connect in order to contact the contributor
Submitted on : Thursday, November 15, 2012 - 4:09:03 PM
Last modification on : Wednesday, April 27, 2022 - 4:10:58 AM
Long-term archiving on: : Saturday, December 17, 2016 - 10:38:54 AM


Files produced by the author(s)


  • HAL Id : hal-00752412, version 1


Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot. Static Analysis of Model Transformations for Effective Test Generation. ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States. ⟨hal-00752412⟩



Record views


Files downloads