A Well-Defined Estelle Specification for the Automatic Test Generation

Authors:
Do Y. Lee;Jai Y. Lee
Affiliations:
-;-
Venue:
IEEE Transactions on Computers - Special issue on protocol engineering
Year:
1991

Citing 6
Cited 7

A Test Design Methodology for Protocol Testing

IEEE Transactions on Software Engineering
Test sequence selection based on static data flow analysis

Computer Communications
A new technique for generating protocol test

SIGCOMM '85 Proceedings of the ninth symposium on Data communications
The CO-OP Method for Compositional Derivation of Conformance Testers

Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Experiences Using Estelle Within SEDOS Estelle Demonstrator

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Test Generation from Protocol Specification

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols

Dependence analysis in reduction of requirement based test suites

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Software Testing Based on SDL Specifications with Save

IEEE Transactions on Software Engineering
A survey of communication protocol testing

Journal of Systems and Software
Research: Analysis and representation of test cases generated from LOTOS

Computer Communications
Review: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model

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

Computer Communications
Test selection for a nondeterministic FSM

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an Estelle specification, is proposed based on the analyzed results to enable a direct derivation of a single reduced finite state machine-which is called a CFG (control flow graph)-from the specification written in Estelle. The derived CFG provides a basis for the automatic test case generation. Algorithms to test whether the specification written in Estelle is well defined or not, and to generate the CFG from the well-defined specification, are developed. Finally, as an example, the proposed technique is applied to TP0 (transport protocol class 0) specification written in Estelle. In applying these algorithms to the Estelle specification, some guidelines are also suggested for the specification which is not well defined.