MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code

Beatriz Pérez Lamancha, Pedro Reales Mateo, Macario Polo, Danilo Caivano

2011

Abstract

In MDE, software products are built with successive transformations of models at different abstraction levels, which in the end are translated into executable code for the specific platform where the system will be deployed and executed. As testing is one of the essential activities in software development, researchers have proposed several techniques to deal with testing in model-based contexts. In previous works, we described a framework to automatically derive UML Testing-Profile test cases from UML 2.0 design models. These transformations are made with the QVT language which, like UML 2.0 and UML-TP, is an OMG standard. Now, we have extended the framework for deriving the source code of the test cases from those in the UML Testing Profile. This transformation, which can be applied to obtain test cases in a variety of programming languages, is implemented with MOFScript, which is also an OMG standard. Thus, this paper almost closes our cycle of testing automation in MDE environments, always within the limits of OMG standards. Moreover, thanks to this standardization, the development of new tools is not required.

References

  1. (2011a) JUnit. http://www.junit.org/. Access: May 2011.
  2. (2011a) JUnit. http://www.junit.org/. Access: May 2011.
  3. (2011b) MofScript. http://www.eclipse.org/gmt/ mofscript/. Access: May 2011.
  4. (2011b) MofScript. http://www.eclipse.org/gmt/ mofscript/. Access: May 2011.
  5. (2011c) NUnit. http://www.nunit.org/. Access: May 2011.
  6. (2011c) NUnit. http://www.nunit.org/. Access: May 2011.
  7. Baker, P., Dai, Z., Grabowski, J., Schieferdecker, I., Haugen, O. & Williams, C. (2007) Model-Driven Testing: Using the UML Testing Profile, Springer.
  8. Baker, P., Dai, Z., Grabowski, J., Schieferdecker, I., Haugen, O. & Williams, C. (2007) Model-Driven Testing: Using the UML Testing Profile, Springer.
  9. Beck, K. (1999) Kent Beck's guide to better Smalltalk: a sorted collection, Cambridge University Press.
  10. Beck, K. (1999) Kent Beck's guide to better Smalltalk: a sorted collection, Cambridge University Press.
  11. Bertolino, A. (2007) Software Testing Research: Achievements, Challenges, Dreams. Internation Conference on Software Engineering. IEEE Computer Society.
  12. Bertolino, A. (2007) Software Testing Research: Achievements, Challenges, Dreams. Internation Conference on Software Engineering. IEEE Computer Society.
  13. Bezivin, J. (2005) On the unification power of models. Software and Systems Modeling, 4, 171-188.
  14. Bezivin, J. (2005) On the unification power of models. Software and Systems Modeling, 4, 171-188.
  15. Dai, Z. (2004) Model-Driven Testing with UML 2.0. Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. Canterbury, England.
  16. Dai, Z. (2004) Model-Driven Testing with UML 2.0. Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations. Canterbury, England.
  17. Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G. & Horowitz, B. (1999) Model-based testing in practice. ICSE. IEEE Computer Society.
  18. Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G. & Horowitz, B. (1999) Model-based testing in practice. ICSE. IEEE Computer Society.
  19. Dias Neto, A. C., Subramanyan, R., Vieira, M. & Travassos, G. H. (2007) A Survey on Model-based Testing Approaches: A Systematic Review. 1st ACM international workshop on Empirical assessment of software engineering languages and technologies. ACM.
  20. Dias Neto, A. C., Subramanyan, R., Vieira, M. & Travassos, G. H. (2007) A Survey on Model-based Testing Approaches: A Systematic Review. 1st ACM international workshop on Empirical assessment of software engineering languages and technologies. ACM.
  21. Harmon, P. (2004) The OMG's Model Driven Architecture and BPM. Newsletter of Business Process Trends.
  22. Harmon, P. (2004) The OMG's Model Driven Architecture and BPM. Newsletter of Business Process Trends.
  23. Javed, A., Strooper, P. & Watson, G. (2007) Automated generation of test cases using model-driven architecture. 2nd International Workshop on Automation of Software Test. AST'07.
  24. Javed, A., Strooper, P. & Watson, G. (2007) Automated generation of test cases using model-driven architecture. 2nd International Workshop on Automation of Software Test. AST'07.
  25. Kleppe, A., Warmer, J. & Bast, W. (2003) MDA Explained; The Model Driven Architecture: Practice and Promise, Addison-Wesley.
  26. Kleppe, A., Warmer, J. & Bast, W. (2003) MDA Explained; The Model Driven Architecture: Practice and Promise, Addison-Wesley.
  27. Mellor, S., Scott, K., Uhl, A. & Weise, D. (2004) MDA Distilled: Principles of Model-Driven Architecture, Addison Wesley.
  28. Mellor, S., Scott, K., Uhl, A. & Weise, D. (2004) MDA Distilled: Principles of Model-Driven Architecture, Addison Wesley.
  29. Mens, T. & Van Corp, P. (2006) A Taxonomy of Model Transformation. Electronic Notes in Theoretical Computer Sciences, 152, 125-142.
  30. Mens, T. & Van Corp, P. (2006) A Taxonomy of Model Transformation. Electronic Notes in Theoretical Computer Sciences, 152, 125-142.
  31. Miller, J. & Mukerji, J. (2003) MDA Guide Version 1.0. 1. Object Management Group.
  32. Miller, J. & Mukerji, J. (2003) MDA Guide Version 1.0. 1. Object Management Group.
  33. Naslavsky, L., Ziv, H. & Richardson, D. J. (2007) Towards traceability of model-based testing artifacts. 3rd international workshop on Advances in modelbased testing. London, United Kingdom, ACM.
  34. Naslavsky, L., Ziv, H. & Richardson, D. J. (2007) Towards traceability of model-based testing artifacts. 3rd international workshop on Advances in modelbased testing. London, United Kingdom, ACM.
  35. Omg (2005) UML testing profile Version 1.0. IN Group, O. M. (Ed.).
  36. Omg (2005) UML testing profile Version 1.0. IN Group, O. M. (Ed.).
  37. Omg (2007) MOF Query/View/Transformation Specification.
  38. Omg (2007) MOF Query/View/Transformation Specification.
  39. Omg (2008) MOF Model to Text Transformation Language. Version 1.0 ed., OMG.
  40. Omg (2008) MOF Model to Text Transformation Language. Version 1.0 ed., OMG.
  41. Perez Lamancha, B., Polo, M. & Piattini, M. (2010) AN AUTOMATED MODEL-DRIVEN TESTING FRAMEWORK for Model-Driven Development and Software Product Lines. Fifth International Conference on Evaluation of Novel Approaches to Software Engineering. Athens, Greece, SciTePress.
  42. Perez Lamancha, B., Polo, M. & Piattini, M. (2010) AN AUTOMATED MODEL-DRIVEN TESTING FRAMEWORK for Model-Driven Development and Software Product Lines. Fifth International Conference on Evaluation of Novel Approaches to Software Engineering. Athens, Greece, SciTePress.
  43. Pérez Lamancha, B., Polo Usaola, M. & García Rodriguez De Guzmán, I. (2009a) Model-Driven Testing in Software Product Lines. 25th International IEEE Conference on Software Maintenance (ICSM09). Edmonton, Canadá, IEEE.
  44. Pérez Lamancha, B., Polo Usaola, M. & García Rodriguez De Guzmán, I. (2009a) Model-Driven Testing in Software Product Lines. 25th International IEEE Conference on Software Maintenance (ICSM09). Edmonton, Canadá, IEEE.
  45. Pérez Lamancha, B., Reales Mateo, P., García Rodriguez De Guzmán, I., Polo Usaola, M. & Piattini, M. (2009b) Automated Model-based Testing using the UML Testing Profile and QVT. IN Acm (Ed.) 6th International Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA'09). Denver, Colorado.
  46. Pérez Lamancha, B., Reales Mateo, P., García Rodriguez De Guzmán, I., Polo Usaola, M. & Piattini, M. (2009b) Automated Model-based Testing using the UML Testing Profile and QVT. IN Acm (Ed.) 6th International Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA'09). Denver, Colorado.
  47. Prasanna, M., Sivanandam, S., Venkatesan, R. & Sundarrajan, R. (2005) A survey on automatic test case generation. Academic Open Internet Journal, 15, 1-5.
  48. Prasanna, M., Sivanandam, S., Venkatesan, R. & Sundarrajan, R. (2005) A survey on automatic test case generation. Academic Open Internet Journal, 15, 1-5.
Download


Paper Citation


in Harvard Style

Pérez Lamancha B., Reales Mateo P., Polo M. and Caivano D. (2011). MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 121-130. DOI: 10.5220/0003466201210130


in Harvard Style

Pérez Lamancha B., Reales Mateo P., Polo M. and Caivano D. (2011). MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 121-130. DOI: 10.5220/0003466201210130


in Bibtex Style

@conference{enase11,
author={Beatriz Pérez Lamancha and Pedro Reales Mateo and Macario Polo and Danilo Caivano},
title={MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={121-130},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003466201210130},
isbn={978-989-8425-57-7},
}


in Bibtex Style

@conference{enase11,
author={Beatriz Pérez Lamancha and Pedro Reales Mateo and Macario Polo and Danilo Caivano},
title={MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={121-130},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003466201210130},
isbn={978-989-8425-57-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code
SN - 978-989-8425-57-7
AU - Pérez Lamancha B.
AU - Reales Mateo P.
AU - Polo M.
AU - Caivano D.
PY - 2011
SP - 121
EP - 130
DO - 10.5220/0003466201210130


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - MODEL-DRIVEN TESTING - Transformations from Test Models to Test Code
SN - 978-989-8425-57-7
AU - Pérez Lamancha B.
AU - Reales Mateo P.
AU - Polo M.
AU - Caivano D.
PY - 2011
SP - 121
EP - 130
DO - 10.5220/0003466201210130