Le générateur de tests TGV


English version
TGV (Test Generation with Verification technology) est un prototype de génération automatique de séquences de tests de conformité pour les protocoles. Il est fondé sur le modèle des systèmes de transitions à entrées/sorties (IOLTS) et utilise une algorithmique issue du domaine de la vérification. TGV a été développé en collaboration avec Vérimag Grenoble et utilise des bibliothèques de la boîte à outils CADP (Caésar-Aldébaran Distribution Package) développé par l'action VASY de l'Inria Rhône Alpes et Verimag Grenoble.

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

(Résumé et PostScript)
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

(Résumé et PostScript)
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

Documentation sur TGV

La page man

jeron@irisa.fr