Институт системного программирования им. В.П. Иванникова РАН


Towards the Usage of MBT at ETSI.

Авторы

Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric.

Аннотация

The presentation outlines the work of ETSI STF 442 group in 2012. This work includes two main items: performing two model-based conformance test development case studies involving the industrial standards developed by ETSI and tools from several vendors, and development of a methodology for conformance test development with the help of model-based test generating tools.
The standards involved in cases studies are part of GeoNetworking protocol (ETSI TS 102 636) and part of Rx protocol (ETSI TS 129 214) based on Diameter. The tools used for test development are Fraunhofer MDTester (an academic tool), Conformiq Designer, Microsoft SpecExplorer, and sepp.med MBTSuite.
The case studies performed 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.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

model-based testing tools, ETSI, protocol standard conformance testing

Издание

Proceedings of MBT 2013:30-34.

DOI: 10.4204/EPTCS.111.3

Научная группа

Технологии программирования

Все публикации за 2013 год Все публикации