Communication protocols are the rules that govern the communication between the different
components within a distributed computer system. Since protocols are implemented in …

Testing is a trade-off between increased confidence in the correctness of the implementation
under test and constraints on the amount of time and effort that can be spent in testing …

A survey on formal active and passive testing with applications to the cloud | SpringerLink Skip
to main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …

In the distributed test architecture, the system under test (SUT) interacts with its environment
at multiple physically distributed ports and the local testers at these ports do not synchronize …

The problem of deciding whether an observed behavior is acceptable is the oracle problem.
When testing from a finite state machine (FSM), it is easy to solve the oracle problem and so …

We present a complete framework to formally test systems with distributed ports where some
choices are probabilistically quantified while other choices are non-deterministic. We define …

The finite state machine (FSM) model is commonly used for specifying communication
protocols and other types of distributed systems. For an FSM with multiple ports, multiple …

There has been much interest in testing from finite-state machines (FSMs). If the system
under test can be modelled by the (minimal) FSM N then testing from an (minimal) FSM M is …

Some systems interact with their environment at physically distributed interfaces called ports
and we separately observe sequences of inputs and outputs at each port. As a result we …

A distributed system may have a number of separate interfaces called ports and in testing it
may be necessary to have a separate tester at each port. This introduces a number of …