Test de conformité : une approche algébrique
Nous proposons dans cet article une formalisation du test de conformité contre des spécifications algébriques. Nous interprétons par des modèles algébriques les comportements fonctionnels des programmes et concrétisons les tests abstraits issus des spécifications en tests concrets dans les langages de programmation cibles. Cette double passerelle nous permet de lier la correction sémantique d'un programme avec la soumission en succès de son jeu de tests de référence. Notre formalisation du test va ainsi de la définition des tests jusqu'à leurs soumissions. Enfin nous montrons que notre approche est en prise directe avec les pratiques industrielles et les outils de génération automatique de tests de conformité existants.
In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the successfull submission of its reference tests set. Thus our testing formalization includes both tests definition and tests submission. Finally we show that our approach mirrors industrial practices and the existing tools of automatic conformance tests generation.
A.ARNOULD, P.GALL
Test de conformité, Spécifications algébriques, Jeu complet de tests, Concrétisation des tests.
Conformance testing, Algebraic specifications, Complete tests set, Tests materialization.
Français
|
