TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs
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.
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.
T.JÉRON
Test de conformité, systèmes réactifs, protocoles, model-checking, synthèse, systèmes de transition, contrôlabilité, observabilité.
Conformance testing, reactive systems, protocols, model-checking, synthesis, transition systems, control, observation.
Français
|
