Jump to : Abstract | Contact | BibTex reference | EndNote reference |

Jeron-TSI2002

T. Jéron. TGV: théorie, principes et algorithmes. Techniques et Sciences Informatiques, numéro spécial Test de Logiciels, (21), 2002.

Abstract

Cet article présente l'outil TGV (Test Generation with Verification technology) permettant la synthèse automatique de tests de conformité à partir de spécifications formelles de systèmes réactifs. Cet outil a été développé conjointement par l'Irisa Rennes et Verimag Grenoble et avec le support du projet Vasy de l'Inria Rhônes-Alpes. L'article décrit les éléments principaux de la théorie du test sous-jacente à TGV. Celle-ci est fondée sur un modèle de systèmes de transitions distinguant entrées, sorties et actions internes, le concept de relation de conformité et les notions d'exécution et de verdict. Les principes et algorithmes de la synthèse de tests, fondée sur la sélection à la volée de cas de test en fonction d'objectifs de test, sont ensuite expliqués. L'article décrit les principales caractéristiques de l'outil TGV et des langages de spécification possibles et survole quelques études de cas. En conclusion, nous proposons quelques unes de nos perspectives de recherche

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@article{Jeron-TSI2002,
   Author = {Jéron, T.},
   Title = {TGV: théorie, principes et algorithmes},
   Journal = {Techniques et Sciences Informatiques, numéro spécial Test de Logiciels},
   Number = {21},
   Year = {2002}
}

EndNote Reference [help]

Get EndNote Reference (.ref)