Towards the Usage of MBT at ETSI.
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.
Proceedings of MBT 2013:30-34.