Relations d'implantation et hypothèses de test sur des automates à entrées et sorties

Implementation relations and test hypotheses on input-output automata

• Auteur / Autrice : Marc Phalippou
• Direction : Richard Castanet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1994
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Essais (technologie)

Spécifications

Automates

Systèmes de télécommunications

Résumé

Le test de conformite est l'activite qui consiste a s'assurer qu'un produit fini remplit bien les fonctions pour lesquelles il a ete concu. Dans le domaine des telecommunications, la complexite et la variete des systemes mis en uvre, ainsi que le haut degre de fiabilite exige de leur fonctionnement global, justifie le soin apporte a la conception des meilleurs tests possibles. Cette these presente un modele formel permettant d'etudier et d'optimiser la conception des tests de conformite pour les systemes de telecommunications. Dans une premiere partie, nous etudions quelles sont les proprietes que l'on peut observer au moyen d'un test, en tenant compte notamment du mecanisme d'interaction disponible entre le testeur et l'implantation sous test, ainsi que des differentes architectures de test realisables en pratique. Puis dans une deuxieme partie nous montrons comment selectionner un nombre raisonnable de tests en s'appuyant sur un certain nombre d'hypotheses, qui permettent de caracteriser de maniere rigoureuse ce que l'on sait et ce que l'on ne sait pas apres avoir passe les tests