FSM based interoperability testing of communication protocols

摘要

The paper considers the derivation of interoperability test suites. We describe whether the composition of the protocol implementations of different vendors can work together without falling into livelock or deadlock. Then a test suite checks the composition of the component implementations.