A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

Authors:
M. A. Fecko;M. í. Uyar;P. D. Amer;A. S. Sethi;T. Dzik;R. Menell;M. Mcmahon
Affiliations:
Computer and Information Sciences Department, University of Delaware, Newark, DE, USA;Electrical Engineering Department, The City College of the City University of New York, New York, NY, USA;Computer and Information Sciences Department, University of Delaware, Newark, DE, USA;Computer and Information Sciences Department, University of Delaware, Newark, DE, USA;US Army CECOM, Fort Monmouth, NJ, USA;US Army CECOM, Fort Monmouth, NJ, USA;ARINC, Inc., Shrewsbury, NJ, USA
Venue:
Computer Communications
Year:
2000

Citing 23
Cited 4

A Test Design Methodology for Protocol Testing

IEEE Transactions on Software Engineering
An introduction to Estelle: a specification language for distributed systems

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure

Computer Networks and ISDN Systems
Update The Derivation of Conformance Tests From LOTOS Specifications

IEEE Transactions on Software Engineering
A Well-Defined Estelle Specification for the Automatic Test Generation

IEEE Transactions on Computers - Special issue on protocol engineering
Finite state machine based formal methods in protocol conformance testing: from theory to implementation

Computer Networks and ISDN Systems - Protocol specification, testing and verification
On the generation of minimal-length conformance tests for communication protocols

IEEE/ACM Transactions on Networking (TON)
Uncovering ISO ROSE protocol errors using Estelle

Computer Standards & Interfaces - Special issue on formal description techniques
Automatic generation of functional vectors using the extended finite state machine model

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Validation of SDL systems

Computer Networks and ISDN Systems - Special issue on SDL and MSC
Conformance testing with labelled transition systems: implementation relations and test generation

Computer Networks and ISDN Systems - Special issue on protocol testing
The analysis of integration test result for ATM switching systems

Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Conformance testing of ATM adaptation layer protocol

Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Generation of conformance test suites for B-ISDN signalling relevant to multi-party testing architecture

Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Testing protocols modeled as FSMs with timing parameters

Computer Networks: The International Journal of Computer and Telecommunications Networking
Test Generation for the Specification Written in Estelle

Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols

FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Exploiting Symmetry in Protocol Testing

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Issues in conformance testing: multiple semicontrollable interfaces

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Fault Models in Testing

Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Development and Application of ATM Protocol Conformance Test System

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
A graphical representation and prototype editor for the Formal Description Technique Estelle

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)

Lessons learned from automating tests for an operations support system

Software—Practice & Experience
A technique to generate feasible tests for communications systems with multiple timers

IEEE/ACM Transactions on Networking (TON)
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models

IEEE Transactions on Computers
Implementing declarative overlays

Proceedings of the twentieth ACM symposium on Operating systems principles

Quantified Score

Hi-index	0.25

Visualization

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.