Show simple item record

dc.contributor.advisorBhateja, Puneet
dc.contributor.authorVishwakarma, Nikita
dc.date.accessioned2019-03-19T09:30:58Z
dc.date.available2019-03-19T09:30:58Z
dc.date.issued2018
dc.identifier.citationVishwakarma, Nikita (2018). Testing Synchronously Communicating Distributed Systems. Dhirubhai Ambani Institute of Information and Communication Technology, ii, 27 p. (Acc. No: T00733)
dc.identifier.urihttp://drsr.daiict.ac.in//handle/123456789/767
dc.description.abstractIn 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.publisherDhirubhai Ambani Institute of Information and Communication Technology
dc.subjectNetwork architecture
dc.subjectConformance
dc.subjectAlgorithms
dc.classification.ddc621.38215 VIS
dc.titleTesting synchronously communicating distributed systems
dc.typeDissertation
dc.degreeM. Tech
dc.student.id201611049
dc.accession.numberT00733


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record