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 ...
Simulation of Earthquake Rupture Dynamics in Complex Geometries Using Coupled Finite Difference and Finite Volume Methods O'Reilly, Ossian; Nordstrom, Jan; Kozdon, Jeremy E.; Dunham, Eric M. (2013-10);A numerical method suitable for wave propagation problems in complex geometries is developed for simulating dynamic earthquake ruptures with realistic friction laws. The numerical method couples an unstructured, node-centered ...