Towards the Usage of MBT at ETSI

Jens Grabowski
(University of Goettingen, Goettingen, Germany)
Victor Kuliamin
(Institute for System Programming of Russian Academy of Sciences, Moscow, Russia)
Alain-Georges Vouffo Feudjio
(Thales, Germany)
Antal Wu-Hen-Chang
(Ericsson, Hungary)
Milan Zoric
(ETSI, France)

In 2012 the Specialists Task Force (STF) 442 appointed by the European Telcommunication Standards Institute (ETSI) explored the possibilities of using Model Based Testing (MBT) for test development in standardization. STF 442 performed two case studies and developed an MBT-methodology for ETSI. The case studies were based on the ETSI-standards GeoNetworking protocol (ETSI TS 102 636) and the Diameter-based Rx protocol (ETSI TS 129 214). Models have been developed for parts of both standards and four different MBT-tools have been employed for generating test cases from the models. The case studies were successful in the sense that all the tools were able to produce the test suites having the same test adequacy as the corresponding manually developed conformance test suites. The MBT-methodology developed by STF 442 is based on the experiences with the case studies. It focusses on integrating MBT into the sophisticated standardization process at ETSI. This paper summarizes the results of the STF 442 work.

Industrial Presentation in Alexander K. Petrenko and Holger Schlingloff: Proceedings Eighth Workshop on Model-Based Testing (MBT 2013), Rome, Italy, 17th March 2013, Electronic Proceedings in Theoretical Computer Science 111, pp. 30–34.
Published: 2nd March 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.111.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org