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
and uses libraries of the
Caésar-Aldébaran Distribution Package
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)
This prototype has been extended
in the frame of the
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
More details concerning TGV are available in the following papers:
Slides (Abstract and PostScript)
Forma'95: slides presented at the colloquium Forma.
presented at Software Testing'96.
presented at MOVEP'96.
presented at CAV'96 (and paper).
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.
For a Sparc station SunOs5.*
For a PC under Linux 2.0
For a PC under Windows NT
Manual page (in html)