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.
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 ...
A Method to Choose Between Automation and Human Operators for Recovery Actions During a Cyber Attack for Recovery Actions During a CyberAttack Van Bossuyt, Douglas L. (Elsevier, 2019);As complex systems such as nuclear power plants, naval ships, critical infrastructure, and other systems become more connected system increases. In many systems, recovery actions can prevent an incipient failure from causing ...
Analyzing the Effects of Source Selection Method, Acquisition Type, and Service Component on Acquisition Outcomes Landale, Karen A. F.; Rendon, Rene G. (Monterey, California. Naval Postgraduate School, 2017-03); SYM-AM-17-043For years, one of the most hotly contested debates in contracting and acquisition has been the choice of source selection method and the contract-related consequences of that choice. While policy memos encourage contracting ...