ATLTest: A White-Box Test Generation Approach for ATL Transformations

  • Carlos A. González
  • Jordi Cabot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7590)


MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a well-known technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aertryck, L.V., Jensen, T.: Uml-casting: Test synthesis from uml models using constraint resolution. In: Proceedings of AFADL 2003 (Approches Formelles Dans L’Assistance Au Dévelopment De Logiciel) (2003)Google Scholar
  2. 2.
    Aichernig, B.K., Salas, P.A.P.: Test case generation by ocl mutation and constraint solving. In: QSIC, pp. 64–71. IEEE Computer Society (2005)Google Scholar
  3. 3.
    Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model transformation testing challenges. In: Proceedings of IMDT Workshop in conjunction with ECMDA 2006 (2006)Google Scholar
  4. 4.
    Baudry, B., Ghosh, S., Fleurey, F., France, R.B., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Commun. ACM 53(6), 139–143 (2010)CrossRefGoogle Scholar
  5. 5.
    Beizer, B.: Software Testing Techniques, 2nd edn. Int. Thomson Computer Press (1990)Google Scholar
  6. 6.
    Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: ISSRE, pp. 85–94. IEEE Computer Society (2006)Google Scholar
  7. 7.
    Brucker, A.D., Krieger, M.P., Longuet, D., Wolff, B.: A Specification-Based Test Case Generation Method for UML/OCL. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 334–348. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A Constructive Approach to Testing Model Transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 77–92. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  9. 9.
    Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proceedings of first Int. Workshop on Model, Design and Validation, pp. 29–40 (November 2004)Google Scholar
  10. 10.
    Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Qualifying input test data for model transformations. Software and System Modeling 8(2), 185–203 (2009)CrossRefGoogle Scholar
  11. 11.
    Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 221–235. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    González, C.A., Büttner, F., Clarisó, R., Cabot, J.: Emftocsp: A tool for the lightweight verification of emf models. In: Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), pp. 44–50 (June 2012)Google Scholar
  13. 13.
    Guerra, E.: Specification-Driven Test Generation for Model Transformations. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 40–55. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  14. 14.
    Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Küster, J.M., Abd-El-Razik, M.: Validation of Model Transformations – First Experiences Using a White Box Approach. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 193–204. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  16. 16.
    Lamari, M.: Towards an automated test generation for the verification of model transformations. In: SAC, pp. 998–1005. ACM (2007)Google Scholar
  17. 17.
    Mc Quillan, J.A., Power, J.F.: White-box coverage criteria for model transformations. Department of Computer Science. National University of Ireland (July 2009)Google Scholar
  18. 18.
    McCabe, T.J.: A complexity measure. IEEE Trans. Software Eng. 2(4), 308–320 (1976)MathSciNetMATHCrossRefGoogle Scholar
  19. 19.
    Myers, G.J.: The Art of Software Testing, 2nd edn. John Wiley & Sons, Inc. (2004)Google Scholar
  20. 20.
    Sen, S., Baudry, B., Mottu, J.M.: On combining multi-formalism knowledge to select models for model transformation testing. In: ICST, pp. 328–337. IEEE Computer Society (2008)Google Scholar
  21. 21.
    Sen, S., Baudry, B., Mottu, J.M.: Automatic Model Generation Strategies for Model Transformation Testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 148–164. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  22. 22.
    Wang, J., Kim, S.K., Carrington, D.A.: Automatic generation of test models for model transformations. In: Australian Software Engineering Conference, pp. 432–440. IEEE Computer Society (2008)Google Scholar
  23. 23.
    Weißleder, S., Schlingloff, B.H.: Quality of automatically generated test cases based on ocl expressions. In: ICST, pp. 517–520. IEEE Computer Society (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Carlos A. González
    • 1
  • Jordi Cabot
    • 1
  1. 1.École des Mines de Nantes - INRIA - LINANantesFrance

Personalised recommendations