Formal specification-based conformance testing

Authors:
B Sarikaya
Affiliations:
Concordia University, Dept. of Electrical Engineering, 1455 de Maisonneuve W., Montreal, Quebec, Canada H3G 1M8
Venue:
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Year:
1986

Citing 4
Cited 0

The impact of the Ferry concept on protocol testing

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Towards an environment for testing OSI protocols

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Test design for computer network protocols

Test design for computer network protocols

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper discusses the use of formal specifications for conformance testing of OSI protocols and divides the discussion in two parts: test design and tester design. A draft standard formal specification of the Class 4 transport protocol in Estelle is taken as the starting point for test design. The test design technique used to derive a conformance test suite is semi-formal based in part on the formal specification and also the informal specification. The tests obtained are expressed in natural language. In the tester design part, we discuss the distributed test architecture of ISO and give the detailed designs of upper and lower testers. It is shown that, in testing Class 4 transport implementations, a parametrized protocol implementation approach in the lower tester design, renders the tests easier to implement.