• search hit 1 of 2
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

Share in Twitter Search Google Scholar
Author:R. Gotzhein, F. Khendek
URN (permanent link):urn:nbn:de:hbz:386-kluedo-49321
Serie (Series number):Interner Bericht des Fachbereich Informatik (329)
Document Type:Report
Language of publication:English
Publication Date:2017/10/24
Year of Publication:2004
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/24
Number of page:17
Faculties / Organisational entities: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)