Some operational tools in a OSI protocols study environment

Authors:
J. P. Ansart;O. Rafiq;R. Castanet;P. Guitton
Affiliations:
RHIN project, ADI-Tour FIAT, Pairs La Défense, 92400 Cedex 16 FRANCE;RHIN project, ADI-Tour FIAT, Pairs La Défense, 92400 Cedex 16 FRANCE;Université de Bordeaux I, U.E.R. de Mathématiques et Informatique, 351, Cours de la Libération, 33405 Talence FRANCE;Université de Bordeaux I, U.E.R. de Mathématiques et Informatique, 351, Cours de la Libération, 33405 Talence FRANCE
Venue:
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Year:
1984

Citing 6
Cited 0

A System for Testing Protocol Implementations

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
PDIL-Protocol Description and Implementation Language

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
CERBERE, A Tool to Keep an Eye on High Level Protocols

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Some Experience with Test Sequence Generation for Protocols

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Description, simulation and implementation of communication protocols using PDIL

SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with a strategy for a development chain of protocols (specification, validation, conformity testing) based on knowledge of the RHIN project methodology and the tools which this project produced. This methodology is based on finite state machines with predicates and includes “conceptual” tools for specification (PDIL)and for validation (VADILOC). “Experimental” tools play a part in conformity testing (STQ, Cerbere, Genepi). The interaction between conceptual and experimental tools is provided by a test sequence generator GAST which, starting from an automaton whose communication has been validated, provides sequences to be used by the test tools.