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
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
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
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.
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)