Accession Number : ADA261612


Title :   Proof of Fault Coverage for a Formal Protocol Test Procedure


Descriptive Note : Master's thesis


Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE


Personal Author(s) : Randall, Michael A


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a261612.pdf


Report Date : Dec 1992


Pagination or Media Count : 57


Abstract : Due to the speed and complexity of communication networks being designed today, it is imperative to ensure that they operate correctly. Todays fiber optic networks, which can transmit billions of bits per second over thousands of miles, are heavily dependent on sophisticated software and protocols which are becoming increasingly difficult to test. Conformance testing is a method that is used for this purpose: to test the design of a protocol against an implementation of the design. This thesis provides some insight into the conformance testing problem by first providing background on some current protocol test methods, and then focusing on a newer method, which is based on a formal protocol specification. A proof is given that demonstrates the method's error detection capabilities. Two well known local area network protocols, Token Bus and Fiber Distributed Data Interface (FDDI), are used as examples to illustrate how the test method is applied to a specification.... Conformance testing, Protocol specification.


Descriptors :   *COMPUTER COMMUNICATIONS , *LOCAL AREA NETWORKS , *TEST METHODS , *COMMUNICATIONS NETWORKS , TEST AND EVALUATION , NETWORKS , ERRORS , THESES , INTERFACES , SPECIFICATIONS , COMPUTER PROGRAMS , FIBER OPTICS


Subject Categories : Computer Systems


Distribution Statement : APPROVED FOR PUBLIC RELEASE