An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 1996

An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology

Abstract

In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced verification techniques applied to a real industrial protocol. In this experiment, several tools have been used~: the commercial tool GEODE (VERILOG) was used for the generation of finite state graph models from SDL specifications, the tool Aldebaran of the CADP toolbox for the minimization of transition systems, and a prototype named TGV (for Test Generation using Verification techniques) for the generation of test suites which has been developed in the CADP toolbox. TGV is based on verification techniques such as synchronous product and on-the-fly verification. These tools have been applied to an industrial protocol, the DREX protocol. The comparison of produced test suites with hand written test suites proves the relevance of the used techniques.
Fichier principal
Vignette du fichier
RR-2923.pdf (354.29 Ko) Télécharger le fichier

Dates and versions

inria-00073775 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073775 , version 1

Cite

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. [Research Report] RR-2923, INRIA. 1996. ⟨inria-00073775⟩
141 View
365 Download

Share

More