The test sequence generator TGV

TGV (Test Generation with Verification technology) is a prototype for the generation of conformance test suites for protocols. It is based on the model of input/output transition systems (IOLTS) and uses algorithms coming from verification technology. TGV has been developed in collaboration with Vérimag Grenoble and uses libraries of the Caésar-Aldébaran Distribution Package developped by Verimag Grenoble and VASY from Inria Rhône Alpes.
A first prototype has been connected to the GEODE tool (Verilog) and allows the production of test suites in the TTCN format (Tree and Tabular Combined Notation) from SDL specifications.
This prototype has been extended in the frame of the VASY action of the GIE Bull Inria Dyade. He allows to produce tests from LOTOS specifications. This version of TGV is now integrated in the CADP environment (see here how to download CADP/TGV).

Now, TGV can be easily connected to any IOLTS simulator, the TGV library is freely available for this purpose.
More details concerning TGV are available in the following papers:

Slides
(Abstract and PostScript)

Forma'95: slides presented at the colloquium Forma.
Testing'96: slides presented at Software Testing'96.
MOVEP'96: slides presented at MOVEP'96.
CAV'96: slides presented at CAV'96 (and paper).
FEMSYS'97: slides presented at FEMSYS'97.
GRECO 97: slides presented in a course at Greco in june 97.

Papers
(Abstract and PostScript)

CAV'96: paper presented at CAV'96 (and slides).
SCP'96 : Inria report version of a paper published in Science of Computer Programnming.

TGV Package

For a Sparc station SunOs5.*

For a PC under Linux 2.0

For a PC under Windows NT

TGV Documentation

Manual page (in html)

jeron@irisa.fr