LocoTrain

在这里是页的 LocoTrain 版本高速缓存 http://www.irisa.fr/pampa/VALIDATION/TGV/TGVFR.html April 12 2015 23:11:08.
La version � Cache � propos閑 par LocoTrain correspond au texte de la page lorsque le robot de LocoTrain l'a consult閑.
En aucun cas LocoTrain est affili� au contenu textuel ci - dessous.

tgv 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