Towards the Usage of MBT at ETSI
| Autor: | Victor V. Kuliamin, Milan Zoric, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Jens Grabowski |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
FOS: Computer and information sciences
Protocol (science) Model-based testing Standardization D.2.5 Computer science Task force Test adequacy lcsh:Mathematics D.2.4 lcsh:QA1-939 lcsh:QA75.5-76.95 Software Engineering (cs.SE) Computer Science - Software Engineering Test case Systems engineering lcsh:Electronic computers. Computer science |
| Zdroj: | MBT Electronic Proceedings in Theoretical Computer Science, Vol 111, Iss Proc. MBT 2013, Pp 30-34 (2013) |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/eptcs.111.3 |
| Popis: | 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. Comment: In Proceedings MBT 2013, arXiv:1303.0379 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|