HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Using on-the-fly Verification Techniques for the Generation of Test Suites

Abstract : In this paper we attempt to demonstrate that on-the-fly techniques, developed in the context of verification, can help in deriving test suites. Test purposes are used in practice to select test cases according to some properties of the specification. We define a consistency preorder linking test purposes and specifications. We give a set of rules to check this consistency and to derive a complete test case with preamble, postamble, verdicts and timers. The algorithm, which implements the construction rules, is based on a depth first traversal of a synchronous product between the test purpose and the specification. We shortly relate our experience on an industrial protocol with TGV, a first prototype of the algorithm implemented as a component of the CADP toolbox.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:34:55 PM
Last modification on : Friday, February 4, 2022 - 3:25:01 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:55:44 PM


  • HAL Id : inria-00073711, version 1


Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. [Research Report] RR-2987, INRIA. 1996. ⟨inria-00073711⟩



Record views


Files downloads