![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs
This paper presents a fault model for interoperability testing of communication protocols that are modeled by communicating finite state machines, and proposes a technique that extends an initial interoperabil...
-
Chapter
Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle
This paper presents a method for generating interoperability test suites for the class of communication protocols such as the ATM/B-ISDN signaling protocol and TCP that are modeled as communicating nondetermin...
-
Chapter
Automated Generation of Interoperability Tests
In this paper we present two methods for automated interoperability tests generation. The tests are applied to different entities implementing the same protocol and are peer-to-peer tests. They can be executed...
-
Chapter
An approach for testing asynchronous communicating systems
This paper studies the problem of testing concurrent systems as blackboxes described in asynchronous Communicating Finite State Machines. We present an approach to derive test cases in a succinct and formal way f...
-
Chapter
Test sequence generation for adaptive interoperability testing
When testing communicating systems, nondeterminism makes it a more difficult and evasive process. Adaptive testing is an efficient approach to testing nondeterministic systems. In this paper, we develop an int...
-
Chapter
Design for testability of protocols based on formal specifications
In this paper, we propose a generic scheme which instruments a formal protocol specification automatically to enhance the testability of the implementation. This approach is a special case of design for testab...