-
Selection by year
-
Selection by authors
-
Complete lists
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)