This paper presents a success story of specifying a complex real-life protocol (MILSTD 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 CommunicationsElectronics 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. Key words: conformance testing, test case generation, protocol specification and
|
2807
|
Communication and Concurrency
– Milner
- 1989
|
|
264
|
Switching and Finite Automata Theory
– Kohavi
- 1970
|
|
148
|
Principles and Methods of Testing Finite State Machines - A Survey
– Lee, Yannakakis
- 1996
|
|
110
|
A theory for the derivation of tests
– Brinksma
- 1988
|
|
105
|
An optimisation technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours
– Aho
- 1988
|
|
92
|
An introduction to Estelle: a specification language for distributed systems
– Budkowski, Dembinski
- 1991
|
|
74
|
A protocol test generation procedure
– Sabnani, Dahbura
- 1988
|
|
62
|
Online minimization of transition systems
– Lee, Yannakakis
- 1992
|
|
41
|
A Test Design Methodology for Protocol Testing
– Sarikaya, Bochmann, et al.
- 1987
|
|
36
|
Automatic generation of functional vectors using the extended finite state machine model
– Cheng, Khrishnakumar
- 1996
|
|
34
|
Conformance testing with labelled transitions systems: Implementation relations and test generation
– Tretmans
- 1996
|
|
32
|
Using Formal Description Techniques
– Turner
- 1993
|
|
32
|
Protocol validation by random state exploration
– WEST
- 1986
|
|
30
|
The derivation of conformance tests from LOTOS specifications
– Pitt, Freestone
- 1990
|
|
30
|
A test sequence selection method for protocol testing
– Ural, Yang
- 1991
|
|
28
|
Conformance testing of protocols specified as communicating FSMs—a guided random walk approach
– Lee, Sabnani, et al.
- 1996
|
|
27
|
On the generation of minimallength conformance tests for communication protocols
– Miller, Paul
- 1993
|
|
23
|
Optimal test sequence generation for protocols: the Chinese postman algorithm applied to Q.931
– Uyar, Dahbura
- 1986
|
|
22
|
Generating Test Cases for EFSM with Given Fault Model
– Wang, Liu
|
|
21
|
Minimum-cost solutions for testing protocols with timers
– Uyar, Fecko, et al.
- 1998
|
|
20
|
Formal design and testing of MIL-STD 188-220A based on Estelle
– Fecko, Amer, et al.
- 1997
|
|
20
|
On general routing problems
– Lenstra, Kan
- 1976
|
|
20
|
Protocol Modeling for Conformance Testing: Case Study for
– Sherif, Uyar
- 1990
|
|
18
|
FSM-based formal methods in protocol conformance testing: from theory to implementation
– Bosik, Uyar
- 1991
|
|
16
|
Conformance testing in systems with semicontrollable interfaces
– Fecko, Uyar, et al.
- 2000
|
|
15
|
Checking Experiments in Sequential Machines
– Bhattacharyya
- 1989
|
|
15
|
Issues in conformance testing: Multiple semicontrollable interfaces
– Fecko, Uyar, et al.
- 1998
|
|
14
|
standard-interoperability standard for digital message device subsystems (MIL-STD
– Military
- 1998
|
|
14
|
A well-defined Estelle specification for the automatic test generation
– Lee, Lee
- 1991
|
|
14
|
Testing protocols modeled as FSMs with timing parameters
– Uyar, Fecko, et al.
- 1999
|
|
12
|
Protocol implementation with Estelle—From prototypes to efficient implementations. [Online]. Available: citeseer.nj
– Thees
- 1998
|
|
11
|
MIL-STD 188-220A evolution: A model for technical architecture standards development
– Dzik, McMahon
- 1997
|
|
11
|
Validation of SDL Systems
– Hogrefe
- 1996
|
|
11
|
A tutorial introduction to Estelle
– Tenney
- 1988
|
|
11
|
Modeling VHDL Specifications as Consistent EFSMs
– Uyar, Duale
- 1997
|
|
11
|
Fault models in testing
– Bochmann, Das, et al.
- 1992
|
|
10
|
Application of a TTCN-based conformance test environment to the Internet email protocol
– Bi, Wu
- 1997
|
|
10
|
Performance evaluation of MILSTD 188-220A: interoperability standard for digital message transfer device subsystems
– Burch, Amer, et al.
- 1995
|
|
10
|
Using semicontrollable interfaces in testing Army communications protocols: Application to MIL-STD 188-220B
– Fecko, Uyar, et al.
- 1999
|
|
10
|
Conformance testing of ATM Adaptation Layer protocol
– Yoo, Collica, et al.
- 1996
|
|
9
|
Using Estelle to evolve MIL-STD 188-220
– Amer, Fecko, et al.
- 1998
|
|
9
|
Specification, detection, and resolution of IN feature interactions with Estelle
– Bredereke, Gotzhein
- 1995
|
|
9
|
Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocols
– Kato, Ogishi, et al.
- 1997
|
|
9
|
Test generation for the specification written in Estelle
– Lee, Lee
- 1991
|
|
9
|
A graphical representation and prototype editor for the formal description technique Estelle
– Templemore-Finlayson, Raffy, et al.
- 1998
|
|
8
|
Automated implementation of the Xpress Transport Protocol (XTP) from an Estelle specification
– Catrina, Lallet, et al.
- 1998
|
|
8
|
The analysis of integrating test results for ATM switching systems
– Cheong, Lee, et al.
- 1996
|
|
8
|
Uncovering ISO ROSE protocol errors using Estelle
– Jirachiefpattana, Lai
- 1995
|
|
8
|
Development and application of ATM protocol conformance test system
– Kang, Seo, et al.
- 1999
|
|
8
|
Estelle specification of MIL-STD 188-220A: Interoperability standard for digital message transfer device subsystems
– Li, Amer, et al.
- 1995
|
|
