Tool for Automated Validation of Network Protocols

摘要

This thesis introduces a program that analyzes network protocols using theCommunicating Finite State Machines (CFSM) model and the System of Communicating Machines (SCM) model. A simple two machine implementation of CFSM model is initially explored. A number of simple protocols are demonstrated as a means to validate the automated tool (program). The second model implemented is that of SCM model. The SCM tool uses many of the same data structures designed in the CFSM program. The SCM program is validated with an analysis of widely used data link protocols. Both programs were done in the Ada language environment. Communicating Finite State Machines, System of Communicating Machines, Data Link Protocols, ADA, Go-Back-N, Selective Repeat.