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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Voas, J.M., Miller, K.: The Revealing Power of a Test Case. Software Testing, Verification and Reliability 2(1), 25–42 (1992)
Offutt, A.J., Pan, J., Tewary, K., Zhang, T.: An experimental evaluation of data flow and mutation testing. Software Practice and Experience 26(2) (1996)
DeMillo, R., Lipton, R., Sayward, F.: Hints on Test Data Selection: Help For The Practicing Programmer. IEEE Computer 11(4), 34–41 (1978)
Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: An Automated Class Mutation System. Software Testing, Verification and Reliability 15(2), 97–133 (2005)
Muller, P.-A., Fleurey, F., Vojtisek, D., Drey, Z., Pollet, D., Fondement, F., Studer, P., Jézéquel, J.-M.: On Executable Meta-Languages applied to Model Transformations. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844. Springer, Heidelberg (2006)
Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139–150. Springer, Heidelberg (2006)
Bézivin, J., Farcet, N., Jézéquel, J.-M., Langlois, B., Pollet, D.: Reflective Model Driven Engineering. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 175–189. Springer, Heidelberg (2003)
Judson, S.R., France, R., Carver, D.L.: Model Transformations at the Metamodel Level. In: Workshop in Software Model Engineering (in conjunction with UML 2003), San Francisco, CA, USA (2003)
Steel, J., Lawley, M.: Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. In: ISSRE 2004 Int. Symposium on Software Reliability Engineering, Saint-Malo, France (2004)
Lin, Y., Zhang, J., Gray, J.: A Testing Framework for Model Transformations. In: Model-Driven Software Development - Research and Practice in Software Engineering. Springer, Heidelberg (2005)
Küster, J.M.: Systematic Validation of Model Transformations. In: WiSME 2004 (associated to UML 2004), Lisbon, Portugal (2004)
Fleurey, F., Steel, J., Baudry, B.: Validation in Model-Driven Engineering: Testing Model Transformations. In: MoDeVa, Rennes, France (2004)
Ghosh, S., Mathur, A.: Interface mutation. Software Testing, Verification and Reliability 11(4), 227–247 (2001)
Trung, D.-T., Ghosh, S., Robert, F., Baudry, B., Fleurey, F.: A Taxonomy of Faults for UML Designs. In: 2nd MoDeVa workshop - Model design and Validation, in conjunction with MoDELS 2005, Montego Bay, Jamaica (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mottu, JM., Baudry, B., Le Traon, Y. (2006). Mutation Analysis Testing for Model Transformations. In: Rensink, A., Warmer, J. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2006. Lecture Notes in Computer Science, vol 4066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11787044_28
Download citation
DOI: https://doi.org/10.1007/11787044_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35909-8
Online ISBN: 978-3-540-35910-4
eBook Packages: Computer ScienceComputer Science (R0)