ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/9 - 2002  - pp.1265-1294
TITRE
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs

RÉSUMÉ
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.


ABSTRACT
This paper presents the TGV tool (Test Generation with Verification Technology) allowing the automatic synthesis of conformance test cases from a formal specification of a reactive system. TGV has been developped by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory. This theory is based on a model of transitions systems which distinguishes inputs, outputs and internal actions, the concepts of conformance relation, test execution and verdict. The main principles and algorithms of the test synthesis process are then explained. It is based on an on-the-fly test case selection by test purposes. We then describe the main characteristics of the TGV tool and possible specification languages and give an overview of some case studies. As a conclusion, we describe some of our on going works in test synthesis.


AUTEUR(S)
Thierry JÉRON

MOTS-CLÉS
Test de conformité, systèmes réactifs, protocoles, model-checking, synthèse, systèmes de transition, contrôlabilité, observabilité.

KEYWORDS
Conformance testing, reactive systems, protocols, model-checking, synthesis, transition systems, control, observation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (421 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier