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

par Farès Saad Khorchef

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Richard Castanet.

Soutenue en 2006

à Bordeaux 1 .


  • 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.

  • Titre traduit

    Framework for robustness testing of communicating protocols


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (vi-v-168 p.)
  • Annexes : Bibliogr. p. 127-140. Annexes

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FTA 3292
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.