Proof of fault coverage for a formal protocol test procedure.
Randall, Michael Alan
MetadataShow full item record
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 fonnal 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.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Nagashima, M.; Agrawal, B.N. (2012);For a large Adaptive Optics (AO) system such as a large Segmented Mirror Telescope (SMT), it is often difficult, although not impossible, to directly apply common Multi-Input Multi-Output (MIMO) controller design methods ...
Pearce, Cliff P. (Monterey, California: Naval Postgraduate School, 1999-03);A method of structural synthesis is presented using a recursive computational process. A structure can be modeled entirely linearly, with localized nonlinearities included as synthesized forces. The method allows retention ...
Dorf, Richard Carl (Monterey, California: U.S. Naval Postgraduate School, 1961-05-01);The aim of this dissertation is to present a new method of engineering analysis and design for complex control systems. This method is the time domain infinite matrix method. The formulation of the infinite matrix follows ...