Advertisement

Mutation Analysis Testing for Model Transformations

  • Jean-Marie Mottu
  • Benoit Baudry
  • Yves Le Traon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4066)

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.

Keywords

Model Transformation Mutation Operator Test Dataset Model Drive Development Mutation Score 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Voas, J.M., Miller, K.: The Revealing Power of a Test Case. Software Testing, Verification and Reliability 2(1), 25–42 (1992)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    DeMillo, R., Lipton, R., Sayward, F.: Hints on Test Data Selection: Help For The Practicing Programmer. IEEE Computer 11(4), 34–41 (1978)Google Scholar
  4. 4.
    Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: An Automated Class Mutation System. Software Testing, Verification and Reliability 15(2), 97–133 (2005)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Küster, J.M.: Systematic Validation of Model Transformations. In: WiSME 2004 (associated to UML 2004), Lisbon, Portugal (2004)Google Scholar
  12. 12.
    Fleurey, F., Steel, J., Baudry, B.: Validation in Model-Driven Engineering: Testing Model Transformations. In: MoDeVa, Rennes, France (2004)Google Scholar
  13. 13.
    Ghosh, S., Mathur, A.: Interface mutation. Software Testing, Verification and Reliability 11(4), 227–247 (2001)CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jean-Marie Mottu
    • 1
  • Benoit Baudry
    • 1
  • Yves Le Traon
    • 2
  1. 1.IRISARennesFrance
  2. 2.France Télécom R&DLannionFrance

Personalised recommendations