The ETSI Test Description Language TDL and its Application

Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull

2014

Abstract

The wide-scale introduction of model-based testing techniques in an industrial context faces many obstacles. One of the obstacles is the existing methodology gap between informally described test purposes and formally defined test descriptions used as the starting point for test automation. The provision of an explicit test description becomes increasingly essential when integrating complex, distributed systems and providing support for conformance and interoperability tests of such systems. The upcoming ETSI standard on the Test Definition Language (TDL) covers this gap. It allows describing scenarios on a higher abstraction level than programming or scripting languages. Furthermore, TDL can be used as an intermediate representation of tests generated from other sources, e.g. simulators, test case generators, or logs from previous test runs. TDL is based on a meta-modelling approach that expresses its abstract syntax. Deploying this design approach, individual concrete syntaxes of TDL can be designed for different application domains. The paper provides an overview of TDL and discusses its application on a use case from the rail domain.

References

  1. ASAM ATX, 2012. Release Presentation: ASAM AE ATX V1.0.0, Automotive Test Exchange Format. http://www.asam.net/nc/home/asam-standards.html.
  2. Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M., 2007. A subset of precise UML for model-based testing. In Proc. of the 3rd Int. workshop on Advances in model-based testing (AMOST 7807). ACM, New York, NY, USA, 95-104.
  3. EMF, 2013. Eclipse Modeling Framework Project (EMF). http://www.eclipse.org/modeling/emf/
  4. EMFText, 2013. EMFText, concrete syntax mapper. http://www.emftext.org/
  5. ETSI EG 203 130 Ver. 1.1.1: Methods for Testing and Specification (MTS); Model-Based Testing (MBT); Methodology for standardized test specification development. 2013-04-09.
  6. ETSI ES 201 873-1 Ver. 4.5.1: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1. 2013-04-30.
  7. ETSI ES 202 553 Ver. 1.2.2: Methods for Testing and Specification (MTS);TPlan: A notation for expressing Test Purposes. 2009-06-02.
  8. ETSI ES 203 119 (stable draft): Methods for Testing and Specification (MTS); The Test Description Language (TDL), 2013-09-25.
  9. Grossmann, J., Müller, W., 2006. A Formal Behavioral Semantics for TestML. In Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 7806). IEEE Computer Society, Washington, DC, USA, 441-448.
  10. Guduvan, A., Waeselynck, H., Wiels, V., Durrieu, G., Fusero, Y., Schieber, M., 2013. A Meta-model for Tests of Avionics Embedded Systems. In MODELSWARD'13, 2nd International Conference on ModelDriven Engineering and Software Development. SCITEPRESS Digital Library.
  11. International Telecommunication Union, 2004. Recommendation Z.120: Message sequence chart (MSC). http://www.itu.int/rec/T-REC-Z.120.
  12. ISO/IEC/IEEE 29119, 2013. Software and systems engineering - Software testing (5 parts). http:// softwaretestingstandard.org/
  13. Kaner, C., 2003. On Scenario Testing. In STQE Magazine. September/October 2003, 16-22.
  14. MBAT, 2013. Combined Model-based Analysis and Testing, an ARTEMIS project, https://www.mbatartemis.eu/home/.
  15. Micskei, Z., Waeselynck, H., 2011. The many meanings of UML 2 Sequence Diagrams: a survey. In Software and Systems Modeling, Springer, Vol. 10, 489-514.
  16. OMG DD, 2012. Diagram Definition (DD) V1.0, formal/12-07-01.
  17. OMG HUTN, 2004. Human-Usable Textual Notation (HUTN) Specification V1.0, formal/04-08-01.
  18. OMG MOF, 2013. OMG Meta Object Facility (MOF) Core Specification V2.4.1, formal/2013-06-01.
  19. OMG OCL, 2012. OMG Object Constraint Language (OCL) V2.3.1, formal/2012-01-01.
  20. OMG UML, 2011. Unified Modeling Language (UML) V2.4.1, Superstructure specification, formal/2011-08- 06.
  21. OMG UTP, 2013. UML Testing Profile (UTP) V1.2, formal/2013-04-03.
  22. Razorcat, 2010. CCDL Whitepaper. Razorcat Technical Report, 07 December. www.razorcat.com.
  23. Ulrich, A., Alikacem, E.-H., Hallal, H., Boroday, S., 2010. From scenarios to test implementations via Promela. In: Testing Software and Systems (ICTSS 2010), Springer LNCS 6435, pp. 236-249.
  24. xUnit.net, 2013. Unit Testing Framework for C# and .NET. http://xunit.codeplex.com/.
Download


Paper Citation


in Harvard Style

Ulrich A., Jell S., Votintseva A. and Kull A. (2014). The ETSI Test Description Language TDL and its Application . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014) ISBN 978-989-758-007-9, pages 601-608. DOI: 10.5220/0004708706010608


in Bibtex Style

@conference{mbat14,
author={Andreas Ulrich and Sylvia Jell and Anjelika Votintseva and Andres Kull},
title={The ETSI Test Description Language TDL and its Application},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)},
year={2014},
pages={601-608},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004708706010608},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)
TI - The ETSI Test Description Language TDL and its Application
SN - 978-989-758-007-9
AU - Ulrich A.
AU - Jell S.
AU - Votintseva A.
AU - Kull A.
PY - 2014
SP - 601
EP - 608
DO - 10.5220/0004708706010608