Ubtl - UML Testing Profile based Testing Language

Johannes Iber, Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner

Abstract

The continuous increase of software complexity is one of the major problems associated with the development of today’s complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is utilizing Model-Driven Development (MDD) in many aspects of systems engineering, including verification and validation activities. Until now many specifications and standards have been released by the MDD community to support those activities by putting models in focus. The general problem is, however, that applying those specifications is often difficult, since they comprise a broader scope than usually required to solve specific problems. In this paper we propose a domain-specific language (DSL) that allows to specify tests from the UML Testing Profile (UTP). The main contribution is that only particular aspects of UTP are captured, thereby allowing the MDD process to be narrowed to specific needs, such as supporting code generation facilities for certain types of tests or even specific statements in tests. In the end we show the application of the DSL using a simple example within a MDD process, and we report on performance of that process.

References

  1. Arpaia, P., Buzio, M., Fiscarelli, L., Inglese, V., La Commara, G., and Walckiers, L. (2009). MeasurementDomain Specific Language for magnetic test specifications at CERN. In 2009 IEEE Intrumentation and Measurement Technology Conference, pages 1716- 1720. IEEE.
  2. Bagnato, A., Sadovykh, A., Brosse, E., and Vos, T. E. (2013). The OMG UML Testing Profile in Use-An Industrial Case Study for the Future Internet Testing. In 2013 17th European Conference on Software Maintenance and Reengineering, pages 457-460. IEEE.
  3. Baker, P., Dai, Z. R., Grabowski, J., Haugen, O. y., Schieferdecker, I., and Williams, C. (2008). Model-Driven Testing: Using the UML Testing Profile. Springer Berlin Heidelberg, Berlin, Heidelberg.
  4. Bellard, F. (2014). Website of the QEMU Project. http://www.qemu.org/.
  5. BITCOM (2008). A study to relevance of embedded systems in germany. BITKOM Germany.
  6. Debruyne, V., Simonot-Lion, F., and Trinquet, Y. (2005). EAST-ADL An Architecture Description Language. In Dissaux, P., Filali-Amine, M., Michel, P., and Vernadat, F., editors, Architecture Description Languages SE - 12, volume 176 of IFIP The International Federation for Information Processing, pages 181-195. Springer US.
  7. Ebert, C. and Jones, C. (2009). Embedded software: Facts, figures, and future. Computer, 42(4):42-52.
  8. Eclipse Foundation (2014a). MDT-UML2-ToolCompatibility. http://wiki.eclipse.org/MDT-UML2- Tool-Compatibility.
  9. Eclipse Foundation (2014b). Website of the Acceleo Project. http://www.eclipse.org/acceleo/.
  10. Eclipse Foundation (2014c). Website of the EMF Project. http://www.eclipse.org/modeling/emf/.
  11. Eclipse Foundation (2014d). Website of the UML2 Project. http://www.eclipse.org/modeling/mdt/.
  12. Eclipse Foundation (2014e). Website of the Xtend Project. http://www.eclipse.org/xtend/.
  13. Eclipse Foundation (2014f). Website of the Xtext Project. http://www.eclipse.org/Xtext/.
  14. ETSI (2014a). Methods for Testing and Specification (MTS); The Test Description Language (TDL); Specification of the Abstract Syntax and Associated Semantics Version 1.1.1.
  15. ETSI (2014b). TTCN-3: TTCN-3 Runtime Interface Version 4.6.1.
  16. Feiler, P., Hansson, J., de Niz, D., and Wrage, L. (2009). System architecture virtual integration: An industrial case study. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, CMU/SEI-2009-TR-017.
  17. Fowler, M. (2010). Domain-Specific Languages. AddisonWesley Signature Series (Fowler). Pearson Education.
  18. Gronback, R. C. (2009). Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. AddisonWesley Professional, 1st edition.
  19. Guduvan, A.-R., Waeselynck, H., Wiels, V., Durrieu, G., Fusero, Y., and Schieber, M. (2013). A Meta-Model for Tests of Avionics Embedded Systems. In Proceedings of the 1st International Conference on ModelDriven Engineering and Software Development, pages 5-13. SciTePress.
  20. Hernandez, Y., King, T. M., Pava, J., and Clarke, P. J. (2008). A Meta-Model to Support Regression Testing of Web Applications. In SEKE, pages 500-505.
  21. Iyenghar, P., Pulvermueller, E., and Westerkamp, C. (2011). Towards Model-Based Test automation for embedded systems using UML and UTP. In ETFA2011, pages 1-9. IEEE.
  22. John, K. H. and Tiegelkamp, M. (2010). IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids. Springer Publishing Company, Incorporated, 2nd edition.
  23. Kumar, B. and Jasperneite, J. (2008). Industrial communication protocol engineering using UML 2.0: A case study. In 2008 IEEE International Workshop on Factory Communication Systems, pages 247-250. IEEE.
  24. Mews, M., Svacina, J., and Weiß leder, S. (2012). From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pages 519-528. IEEE.
  25. Object Management Group (OMG) (2008). MOF Model to Text Transformation Language Version 1.0.
  26. Object Management Group (OMG) (2013). UML Testing Profile (UTP) Version 1.2.
  27. Object Management Group (OMG) (2014). Website of the Unified Modeling Language. http://uml.org/.
  28. Schieferdecker, I. and Din, G. (2004). A Meta-model for TTCN-3. In Nún˜ez, M., Maamar, Z., Pelayo, F., Pousttchi, K., and Rubio, F., editors, Applying Formal Methods: Testing, Performance, and M/E-Commerce SE - 27, volume 3236 of Lecture Notes in Computer Science, pages 366-379. Springer Berlin Heidelberg.
  29. Smith, D. and Simpson, K. (2010). A Straightforward Guide to Functional Safety, IEC 61508 (2010 Edition) and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 and ISO 13849. Elsevier Science.
  30. Ulrich, A., Jell, S., Votintseva, A., and Kull, A. (2014). The ETSI Test Description Language TDL and its Application. In Pires, L. F., Hammoudi, S., Filipe, J., and das Neves, R. C., editors, MODELSWARD, pages 601-608. SciTePress.
Download


Paper Citation


in Harvard Style

Iber J., Kajtazovic N., Höller A., Rauter T. and Kreiner C. (2015). Ubtl - UML Testing Profile based Testing 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 99-110. DOI: 10.5220/0005241300990110


in Bibtex Style

@conference{modelsward15,
author={Johannes Iber and Nermin Kajtazovic and Andrea Höller and Tobias Rauter and Christian Kreiner},
title={Ubtl - UML Testing Profile based Testing Language},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={99-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005241300990110},
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 - Ubtl - UML Testing Profile based Testing Language
SN - 978-989-758-083-3
AU - Iber J.
AU - Kajtazovic N.
AU - Höller A.
AU - Rauter T.
AU - Kreiner C.
PY - 2015
SP - 99
EP - 110
DO - 10.5220/0005241300990110