Abstract FR:

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.