Reusable MDA Components: A Testing-for-Trust Approach

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


Making model transformations trustable is an obvious target for model-driven development since they impact on the design process reliability. Ideally, model transformations should be designed and tested so that they may be used and reused safely as MDA components. We present a method for building trustable MDA components. We first define the notion of MDA component as composed of its specification, one implementation and a set of associated test cases. The testing-for-trust approach checks the consistency between these three facets using the mutation analysis. It points out the lack of efficiency of the tests and the lack of precision of the specification. The mutation analysis thus gives a rate that evaluates: the level of consistency between the component’s facets and the level of trust we can have in a component. Relying on this estimation of the component trustability, developers can consciously trade reliability for resources.


Mutation Analysis Model Transformation Mutation Operator Eclipse Modeling Framework Range Contract 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Meyer, B.: Object-oriented software construction. Prentice Hall, Englewood Cliffs (1992)Google Scholar
  2. 2.
    Le Traon, Y., Baudry, B., Jézéquel, J.-M.: Design by Contract to Improve Software Vigilance. IEEE Transactions on Software Enginnering (2006)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., Kwon, Y.-R., Offutt, A.J.: Inter-Class Mutation Operators for Java. In: Proceedings of ISSRE 2002 Int. Symposium on Software Reliability Engineering, Annapolis, MD, USA, IEEE Computer Society Press, Los Alamitos (2002)Google Scholar
  5. 5.
    Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation Analysis Testing for Model Transformations. In: Proceedings of ECMDA-FA 2006, Bilbao, Spain (2006)Google Scholar
  6. 6.
    Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. IEEE Computer 13(7) (1999)Google Scholar
  7. 7.
    Ma, Y.-S., Offutt, A.J., Kwon, Y.-R.: MuJava: An Automated Class Mutation System. In: Software Testing, Verification and Reliability (2005)Google Scholar
  8. 8.
    Bézivin, J., Gérard, S., Muller, P.-A., Rioux, L.: MDA Components: Challenges and Opportunities. In: Proceedings of Metamodelling for MDA, York, England (2003)Google Scholar
  9. 9.
    Fondement, F., Silaghi, R.: Defining Model Driven Engineering Processes. In: Proceedings of WISME, Lisbon, Portugal (2004)Google Scholar
  10. 10.
    Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the Specification of Model Transformation Contracts. In: Proceedings of Workshop OCL and Model Driven Engineering, Lisbon, Portugual (2004)Google Scholar
  11. 11.
    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
  12. 12.
    Küster, J.M.: Systematic Validation of Model Transformations. In: Proceedings of WiSME 2004 (associated to UML 2004), Lisbon, Portugal (2004)Google Scholar
  13. 13.
    Fleurey, F., Steel, J., Baudry, B.: Validation in Model-Driven Engineering: Testing Model Transformations. In: Proceedings of MoDeVa, Rennes, France (2004)Google Scholar
  14. 14.
    Trung, D.-T., Ghosh, S., Robert, F., Baudry, B., Fleurey, F.: A Taxonomy of Faults for UML Designs. In: Proceedings of 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&D/MAPS/EXALannionFrance

Personalised recommendations