Un cadre formel pour le test de robustesse des protocoles de communication

Framework for robustness testing of communicating protocols

• Auteur / Autrice : Farès Saad Khorchef
• Direction : Richard Castanet
• Type : Thèse de doctorat
• Discipline(s) : Informatique et mathématiques
• Date : Soutenance en 2006
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Essais (technologie)

Protocoles de réseaux d'ordinateurs

Mots clés libres

Système de transitons étiquettés

Robustesse

Résumé

Dans le domaine des protocoles de communication, il est indispensable de valider rigoureusement les protocoles avant de les mettre en service. Cette thèse propose deux méthodes pour l'automatisation de la génération des tests de robustesse. La méthode (TRACOR) visant à produire des cas de test en présence d'aléas contrôlables et représentables (entrées/sorties exceptionnelles). La méthode (TRACON) complète la méthode TRACOR et, vise à produire les das de test de robustesse en présence d'aléas contrôlables non représentables (condition de stress) : les deux méthodes proposées sont implantées dans l'outil RTCG ainsi que deux études de cas sur les protocoles SSL handshake et TCP sont faites.