Test de conformité : une approche algébrique

Agnès Arnould (1, 2) , Pascale Le Gall (3)

1 SIC - SIGNAL-IMAGE-COMMUNICATION
2 IRCOM - Institut de Recherche en Communications Optiques et Microondes
3 LaMI - Laboratoire de Méthodes Informatiques

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.

Mots clés: Test de conformité; Spécifications algébriques; Jeu complet de tests; Concrétisation des tests

Domaines: Génie logiciel [cs.SE]

Agnès Arnould, Pascale Le Gall. Test de conformité : une approche algébrique. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (9), pp.1219-1242. ⟨hal-00352131⟩