The test sequence generator TGV

Overview of the Tool

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

Papers

TGV Package

TGV Documentation

haut  

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 Projet VerTeCs