• search hit 1 of 1
Back to Result List

Compositional Testing of Communication Systems

  • Today, test methods for communication protocols assume, among other things, that the protocol design is specified as a single, monolithic finite state machine (FSM). From this specification, test suites that are capable of detecting output and/or transfer faults in the protocol implementation are derived. Limited applicability ofthese methods is mainly because oftheir specific assumptions, and due to the size of the derived test suite and the resulting test effort for realistic protocols. In this work, the compositional test method (C-method), which exploits the available structure of a communication protocol, is proposed. The C-method first tests each protocol component separately for output and/or transfer faults, using one of the traditional test methods, then checks for composability, and finally tests the composite system for composition faults. To check for composability and to derive the test suite for the detection of composition faults, it is not required to construct the global state machine. Instead, all information is derived from the component state machines, which avoids a potential state explosion and lengthy test cases. Furthermore, the test suite checks for composition faults only. This substantially reduces the size of the test suite and thus the overall test effort.

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:R. Gotzhein, F. Khendek
URN:urn:nbn:de:hbz:386-kluedo-49321
Series (Serial Number):Interner Bericht des Fachbereich Informatik (329)
Document Type:Report
Language of publication:English
Date of Publication (online):2017/10/24
Year of first Publication:2004
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/24
Page Number:17
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)