Proof of Fault Coverage for a Formal Protocol Test Procedure
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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 methods 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.
- Computer Systems