Book Chapter10.1007/11787044_28
Mutation analysis testing for model transformations
Jean-Marie Mottu,Benoit Baudry,Yves Le Traon +2 more
- 10 Jul 2006
- pp 376-390
TL;DR: This paper proposes generic fault models that are related to the model transformation process, and identifies abstract operations that constitute this process: model navigation, model's elements filtering, output model creation and input model modification.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
On the Use of Higher-Order Model Transformations
Massimo Tisi,Frédéric Jouault,Piero Fraternali,Stefano Ceri,Jean Bézivin +4 more
- 23 Jun 2009
TL;DR: An introduction to HOTs and a survey of the several application cases where their use is relevant are provided and a number of possible future applications of HOTs is also proposed.
Predictive Mutation Testing
TL;DR: PMT constructs a classification model, based on a series of features related to mutants and tests, and uses the model to predict whether a mutant would be killed or remain alive without executing it, and has high predictability when predicting the execution results of the majority of mutants.
Validation of model transformations: first experiences using a white box approach
Jochen M. Küster,Mohamed Abd-El-Razik +1 more
- 01 Oct 2006
TL;DR: The experiences in validating a number of model transformations are reported and three techniques that can be used for constructing test cases are proposed.
107
•Journal Article
Generating Instance Models from Meta Models
TL;DR: In this paper, the authors introduce instance-generating graph grammars for creating instances of meta models, thereby overcoming the main limitation of the meta modeling approach for defining languages.
104
Generating instance models from meta models
Karsten Ehrig,Jochen M. Küster,Gabriele Taentzer,Jessica Winkelmann +3 more
- 14 Jun 2006
TL;DR: This paper introduces instance-generating graph grammars for creating instances of meta models, thereby overcoming the main deficit of the meta modeling approach for defining languages.
References
Hints on Test Data Selection: Help for the Practicing Programmer
TL;DR: In many cases tests of a program that uncover simple errors are also effective in uncovering much more complex errors, so-called coupling effect can be used to save work during the testing process.
2.2K
MuJava: an automated class mutation system
TL;DR: This paper presents a method to reduce the execution cost of mutation testing for OO programs by using two key technologies, mutant schemata generation (MSG) and bytecode translation.
Practical declarative model transformation with tefkat
Michael Lawley,Jim Steel +1 more
- 02 Oct 2005
TL;DR: The language adopts a declarative paradigm, wherein users may concern themselves solely with the relations between the models rather than needing to deal explicitly with issues such as order of rule execution and pattern searching/traversal of input models.
203