Testing synchronously communicating distributed systems

Abstract

In our work we are supposed to test whether the generated distributed implementation(or distributed network) behaves similar to that of given specification. We are doing this over synchronously communicating FSMs(Finite State Machines). Synchronous distributed implementation is the set of FSMs and specification is a single known FSM. Commonality in the behaviour of given FSM and DFSM(Distributed Finite State Machine) has been checked by conformance. We are also aimed to define a method for testing the global behaviour of the given network in a distributed and concurrent manner. This is achieved by independently performing some operations in each component FSM and later combining these information to get the information of our distributed network. Further this information of distributed network can be used to match its behaviour with specification FSM.