 |
|
|
|
| HAL: hal-00352131, version 1 |
| Detailed view |  Export this paper |
|
|
| Revue Technique et Science Informatiques (TSI) 21, 9 (2002) 1219-1242 |
|
|
|
|
| Test de conformité : une approche algébrique |
|
|
Agnès Arnould 1, 2Pascale Le Gall 3 |
|
|
| (2002) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
| 2: | Institut de recherche en communications optiques et microondes (IRCOM) |
|
|
|
CNRS : UMR6615 – Université de Limoges |
|
|
| 3: | Laboratoire de méthodes informatiques (LMI) |
|
|
|
CNRS : UMR8042 – Université d'Evry-Val d'Essonne |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Software Engineering |
|
|
| Test de conformité – Spécifications algébriques – Jeu complet de tests – Concrétisation des tests |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00352131, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00352131 | |
| oai:hal.archives-ouvertes.fr:hal-00352131 | |
| From: Agnès Arnould | |
| Submitted on: Monday, 12 January 2009 14:47:33 | |
| Updated on: Sunday, 25 January 2009 15:47:34 | |
