| dc.contributor.advisor | Bhateja, Puneet | |
| dc.contributor.author | Vishwakarma, Nikita | |
| dc.date.accessioned | 2019-03-19T09:30:58Z | |
| dc.date.available | 2019-03-19T09:30:58Z | |
| dc.date.issued | 2018 | |
| dc.identifier.citation | Vishwakarma, Nikita (2018). Testing Synchronously Communicating Distributed Systems. Dhirubhai Ambani Institute of Information and Communication Technology, ii, 27 p. (Acc. No: T00733) | |
| dc.identifier.uri | http://drsr.daiict.ac.in//handle/123456789/767 | |
| dc.description.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. | |
| dc.publisher | Dhirubhai Ambani Institute of Information and Communication Technology | |
| dc.subject | Network architecture | |
| dc.subject | Conformance | |
| dc.subject | Algorithms | |
| dc.classification.ddc | 621.38215 VIS | |
| dc.title | Testing synchronously communicating distributed systems | |
| dc.type | Dissertation | |
| dc.degree | M. Tech | |
| dc.student.id | 201611049 | |
| dc.accession.number | T00733 | |
