Proof of Fault Coverage for a Formal Protocol Test Procedure

Abstract

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 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.... Conformance testing, Protocol specification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1992
Accession Number
ADA261612

Entities

People

  • Michael A. Randall

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Aircrafts
  • Classification
  • Communication Networks
  • Communication Systems
  • Computer Networks
  • Computer Science
  • Computers
  • Data Links
  • Detection
  • Local Area Networks
  • Network Protocols
  • Network Science
  • Networks
  • Specifications
  • Standards
  • Test Methods
  • United States

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Computer Networking
  • Software Engineering.