Recherche Avancée

Thèse soutenue

Test a partir de specifications de structures bornees : une theorie du test, une methode de selection, un outil d'assistance a la selection

FR  |  
EN
Auteur / Autrice : Agnès Arnould
Direction : Marie-Claude Gaudel
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1997
Etablissement(s) : Paris 11

Résumé

FR

Du fait des limitations tant materielles que logicielles, les structures de donnees informatiques sont bornees, ce qui est une source de fautes difficiles a trouver. Si les bornes sont clairement definies dans la specification, le test fonctionnel doit permettre de decouvrir de telles fautes. Cependant, pour les formalismes de specifications existants (z, vdm, b ou algebriques), les criteres de selection adaptes a la couverture des bornes n'ont pas beaucoup ete etudies. Nous proposons d'enrichir un formalisme algebrique de specification, pour permettre une description simple des structures de donnees bornees. L'idee est d'ajouter, a la description non bornees faite par les specification algebriques classiques, une description des bornes faite a l'aide de contraintes sur ces donnees exprimees dans le systeme de contraintes de presburger. Nous montrons que ce formalisme dispose de bonnes proprietes qui font de lui une bonne base pour le test. Nous proposons une extension de la theorie du test, de la methode et de l'outil existant permettant de prendre en compte les bornes ainsi introduites. En ce qui concerne la generation automatique des tests, l'extension a ete implantee en utilisant des techniques de programmation logique avec contraintes.