A Success Story of Formal Description Techniques: Estelle Specification and Test Generation for MIL-STD 188-220

Abstract

This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and Marine Corps systems for mobile combat network radios. A key factor in this success story has been the collaboration among the researchers of the University of Delaware and the City College of the City University of New York, the developers of the US Army Communications Electronics Command (CECOM), and the protocol designers in the Joint Combat Net Radio Working Group. Based on the research results, 188-220 test sequences are realizable without timer interruptions while providing a 200% increase in test coverage. The test cases are being installed at a CECOM test facility.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2000
Accession Number
ADA496907

Entities

People

  • A. S. Sethi
  • M. A. Fecko
  • M. E. McMahon
  • M. U. Uyar
  • P. D. Amer
  • R. Menell
  • T. Dzik

Organizations

  • University of Delaware

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Application Protocols
  • Communication Channels
  • Communications Protocols
  • Computer Communications
  • Computer Networks
  • Data Links
  • Digital Communications
  • Electrical Engineering
  • Electronic Mail
  • Information Processing
  • Network Protocols
  • Network Science
  • New York
  • Software Development
  • Standards
  • Test Facilities
  • Transport Protocols

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Military History of the United States in the 20th Century.
  • Software Engineering

Technology Areas

  • Microelectronics