![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Erratum to: Formal Techniques for Networked and Distributed Systems
Erratum to: M. Kim et al. (Eds.) Formal Techniques for Networked and Distributed Systems DOI: 10.1007/978-0-306-47003-5 ...
-
Chapter
Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques
Test derivation methods suitable for interoperability testing of communication protocols were proposed in the literature and applied to the TCP and the ATM protocols. The test cases that were generated by them...
-
Chapter
Development and Application of ATM Protocol Conformance Test System
This paper presents development and application of ATM Conformance Test Sys-tem (ACTS), an automated test system for ATM protocols. ACTS is a test system that checks conformance of ATM terminal and network equ...
-
Chapter
Conformance Testing of Multi-Protocol IUTs
To declare conformance of multi-protocol Implementation Under Test (IUT), every layer of the multi-protocol IUT should be tested. According to ISO9646, single-layer test method is applied to testing the highes...
-
Chapter
An enhanced model for testing asynchronous communicating systems
This paper studies the problem of testing concurrent systems considered as blackboxes and specified using asynchronous Communicating Finite State Machines. In our previous work [Kim 96], an approach to derive ...
-
Chapter
Interoperability Test Suite Derivation for the TCP
A test derivation method suitable for testing interoperability for the class of communication protocols like the ATMB-ISDN signaling protocol was proposed in [KanK 97]. Up to now, there is no work implementing...