Repository logo
Collections
Browse
Statistics
  • English
  • हिंदी
Log In
New user? Click here to register.Have you forgotten your password?
  1. Home
  2. Theses and Dissertations
  3. M Tech Dissertations
  4. Testing synchronously communicating distributed systems

Testing synchronously communicating distributed systems

Files

201611049_Nikita Vishwakarma.pdf (431.4 KB)

Date

2018

Authors

Vishwakarma, Nikita

Journal Title

Journal ISSN

Volume Title

Publisher

Dhirubhai Ambani Institute of Information and Communication Technology

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.

Description

Keywords

Network architecture, Conformance, Algorithms

Citation

Vishwakarma, Nikita (2018). Testing Synchronously Communicating Distributed Systems. Dhirubhai Ambani Institute of Information and Communication Technology, ii, 27 p. (Acc. No: T00733)

URI

http://ir.daiict.ac.in/handle/123456789/767

Collections

M Tech Dissertations

Endorsement

Review

Supplemented By

Referenced By

Full item page
 
Quick Links
  • Home
  • Search
  • Research Overview
  • About
Contact

DAU, Gandhinagar, India

library@dau.ac.in

+91 0796-8261-578

Follow Us

© 2025 Dhirubhai Ambani University
Designed by Library Team