Accession Number : ADA267410


Title :   A Formal Protocol Test Procedure For The Survivable Adaptable Fiber Optic Embedded Network (SAFENET)


Descriptive Note : Master's thesis,


Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA


Personal Author(s) : High, Wayne


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


Report Date : Mar 1993


Pagination or Media Count : 120


Abstract : This thesis focuses upon a new method for verifying the correct operation of a complex, high speed fiber optic communication network. These networks are of growing importance to the military because of their increased connectivity, survivability, and reconfigurability. With the introduction and increased dependence on sophisticated software and protocols, it is essential that their operation be correct. Because of the speed and complexity of fiber optic networks being designed today, they are becoming increasingly difficult to test. Previously, testing was accomplished by application of conformance test methods which had little connection with a implementation's specification. The major goal of conformance testing is to ensure that the implementation of a profile is consistent with its specification. Formal specification is needed to ensure that the implementation performs is intended operations while exhibiting desirable behaviors. The new conformance test method presented is based upon the System of Communicating Machine model which uses a formal protocol specification to generate a test sequence. The major contribution of this thesis is the application of the System of Communicating Machine model to formal profile specifications of the Survivable Adaptable Fiber Optic Embedded Network (SAFENET) standard which results in the derivation of test sequences for a SAFENET profile. The results applying this new method to SAFENET's OSI and Lightweight profiles are presented.... SAFENET profile specification, Conformance testing


Descriptors :   *FIBER OPTICS , *SPECIFICATIONS , *COMMUNICATIONS NETWORKS , *OPTICAL COMMUNICATIONS , TEST AND EVALUATION , OPTICS , SURVIVABILITY , STANDARDS , MACHINES , EMBEDDING , LIGHTWEIGHT , PROFILES , THESES , TEST METHODS , MODELS , FIBERS , VELOCITY


Subject Categories : Fiber Optics and Integrated Optics
      Radio Communications


Distribution Statement : APPROVED FOR PUBLIC RELEASE