Automated Model-based Testing Based on an Agnostic-platform Modeling Language

Concepción Sanz, Alejandro Salas, Miguel de Miguel, Alejandro Alonso, Juan Antonio de la Puente, Clara Benac

2015

Abstract

Currently multiple Domain Specific Languages (DSLs) are used for model-driven software development, in some specific domains. Software development methods, such as agile development, are test-centered, and their application in model-based frameworks requires model support for test development. We introduce a specific language to define generic test models, which can be automatically transformed into executable tests for particular testing platforms. The resulting test models represent the test plan for applications also built according to a model-based approach. The approach presented here includes some customisations for the application of the developed languages and transformation tools for some specific testing platforms. These languages and tools have been integrated with some specific DSL designed for software development.

References

  1. Baker, P., Dai, Z. R., Grabowski, J., Haugen, O., Samuelsson, E., Schieferdecker, I., and Williams, C. E. (2004). The UML 2.0 Testing Profile.
  2. Baker, P., Dai, Z. R., Grabowski, J., Haugen, O., Schieferdecker, I., and Williams, C. (2007). Model-Driven Testing: Using the UML Testing Profile. SpringerVerlag New York, Inc., Secaucus, NJ, USA.
  3. Briand, L. C. and Labiche, Y. (2001). A UML-Based Approach to System Testing. In Proc. of the 4th Int. Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 194-208, London, UK, UK. Springer-Verlag.
  4. Cristiá, M. and Monetti, P. R. (2009). Implementing and applying the stocks-carrington framework for modelbased testing. In ICFEM, pages 167-185.
  5. Davis, C. et al. (2009). Software Test Engineering with IBM Rational Functional Tester: The Definitive Resource. IBM Press, 1st edition.
  6. Eclipse(a) (2011). Eclipse Foundation: Test & Performance Tools Platform (TPTP). http://www.eclipse.org/tptp.
  7. Eclipse(b) (2010). Eclipse Graphical Modeling Framework (GMF). www.eclipse.org/modeling/gmf/.
  8. Eclipse(c) (2013). Eclipse Modeling Framework (EMF). www.eclipse.org/modeling/emf/.
  9. Fowler, M. (2003). UML Distilled: A Brief Guide to the Standard Object Modeling Language. AddisonWesley Longman Publishing Co., Inc., Boston, MA, USA, 3rd edition.
  10. Fowler, M. (2010). Domain Specific Languages. AddisonWesley Professional, 1st edition.
  11. Holmes, A. and Kellogg, M. (2006). Automating functional tests using Selenium. In Agile Conf., pages 270-275.
  12. Javed, A. Z., Strooper, P., and Watson, G. (2007). Automated generation of test cases using model-driven architecture. In Automation of Software Test , 2007. AST 7807. 2nd Int. Workshop on, pages 3-3.
  13. Karl, K. (2013). GraphWalker. www.graphwalker.org.
  14. Lamancha, B. P. et al. (2009). Automated Model-based Testing Using the UML Testing Profile and QVT. In Proc. of the 6th Int. Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 7809, pages 1-10, New York, NY, USA. ACM.
  15. Meszaros, G. (2006). XUnit Test Patterns: Refactoring Test Code. Prentice Hall, Upper Saddle River, NJ, USA.
  16. OMG (2011). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, v1.1.
  17. Pedrosa, C., Lelis, L., and Vieira Moura, A. (2013). Incremental testing of finite state machines. Software Testing, Verification and Reliability, 23(8):585-612.
  18. Rao, A. (2011). HP QuickTest Professional WorkShop Series: Level 1 HP Quicktest. Outskirts Press.
  19. Tahchiev, P., Leme, F., et al. (2010). JUnit in Action. Manning Publications Co., Greenwich, CT, USA.
  20. Utting, M. and Legeard, B. (2007). Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  21. Wendland, M.-F. et al. (2013). Fokus!MBT: A Multiparadigmatic Test Modeling Environment. In Proc. of the Workshop on ACadeMics Tooling with Eclipse, ACME 7813, pages 1-10, New York, NY, USA. ACM.
Download


Paper Citation


in Harvard Style

Sanz C., Salas A., de Miguel M., Alonso A., Antonio de la Puente J. and Benac C. (2015). Automated Model-based Testing Based on an Agnostic-platform Modeling Language . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 239-246. DOI: 10.5220/0005237802390246


in Bibtex Style

@conference{modelsward15,
author={Concepción Sanz and Alejandro Salas and Miguel de Miguel and Alejandro Alonso and Juan Antonio de la Puente and Clara Benac},
title={Automated Model-based Testing Based on an Agnostic-platform Modeling Language},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={239-246},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005237802390246},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Automated Model-based Testing Based on an Agnostic-platform Modeling Language
SN - 978-989-758-083-3
AU - Sanz C.
AU - Salas A.
AU - de Miguel M.
AU - Alonso A.
AU - Antonio de la Puente J.
AU - Benac C.
PY - 2015
SP - 239
EP - 246
DO - 10.5220/0005237802390246