Un premier prototype a été interfacé avec l'outil ObjectGEODE (Verilog) et permet de produire des cas de test au format TTCN (Tree and Tabular Combined Notation) à partir de spécifications fournies dans le language SDL. Un transfert industriel est en cours dans l'outil  ObjectGEODE .

Une autre version de TGV  a été obtenue dans le cadre de l'action VASY du GIE Bull Inria Dyade. Cette version permet  de produire des tests à partir de spécifications en LOTOS. Par rapport à la version SDL, seule l'interface au simulateur change, le simulateur LOTOS étant Open/Caesar. Cette version de TGV est maintenant intégrée dans l'environnement CADP disponible sur demande (cliquer ici pour plus d'informations).

Par ailleurs, la librairie TGV permettant de connecter TGV à tout simulateur de système de transitions est distribuée librement .

Vous trouverez plus de détails sur TGV dans les documents suivants: 

Transparents

Forma'95: transparents présentés au colloque Forma

Testing'96: transparents présentés à la conférence Testing'96.

MOVEP'96: transparents présentés à MOVEP'96.

CAV'96: transparents présentés à CAV'96 (et article).

FEMSYS'97: transparents présentés à FEMSYS'97.

GRECO 97: transparents présentés aux Jeudi Etat de l'Art du Greco Informatique en juin 97.

LaMI 99   transparents présentés au LaMI, Université d'Evry, en janvier 97.

Publications

CAV'96: article présenté à CAV'96 (et transparents).

SCP'96 : rapport Inria issu d'un article publié dans le journal Science of Computer Programnming.

Le package TGV

Pour une station Sparc SunOs5.*

Pour un PC Linux 2.0

Pour un PC Windows NT