Cadre formel pour le test de robustesse. Application au protocole SSL

Fares Saad Khorchef 1 Antoine Rollet 1 Richard Castanet 1 Ismail Berrada 2
1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 L3I - Laboratoire Informatique, Image et Interaction
Résumé : Dans le domaine des télécommunications, il est indispensable de valider rigoureusement les protocoles avant de les mettre en service. Ainsi, il faut non seulement tester la conformité d'un protocole, mais il s'avère aussi nécessaire de tester sa robustesse face à des événements imprévus. Dans ce document, nous décrivons une méthode pour tester formellement la robustesse d'un système. Nous expliquons comment augmenter la spécification nominale pour prendre en compte les aléas, puis nous formalisons, à travers une relation binaire, la notion de robustesse entre une implémentation sous test et la spécification augmentée. Ensuite, nous expliquons comment générer des séquences de test à partir de cette spécification augmentée. Enfin, nous proposons une étude de cas sur le protocole SSL en utilisant l'outil TGSE pour la génération de séquences de test.
Mots-clés : Validation de protocole test de robustesse test formel IOLTS protocole SSL outil TGSE
Type de document :
Communication dans un congrès
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Oct 2006, Tozeur, Tunisie. Hermès, 12 p., 2006, Session 5 : validation, vérification et test
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00111714
Contributeur : Antoine Rollet <>
Soumis le : lundi 20 novembre 2006 - 11:33:00
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : jeudi 20 septembre 2012 - 14:22:16

Fichier

CFIP-ID-15.pdf

Identifiants

  • HAL Id : inria-00111714, version 1

Collections

CFIP2006 | LABRI | L3I | UNIV-BORDEAUX

Citation

Fares Saad Khorchef, Antoine Rollet, Richard Castanet, Ismail Berrada. Cadre formel pour le test de robustesse. Application au protocole SSL. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Oct 2006, Tozeur, Tunisie. Hermès, 12 p., 2006, Session 5 : validation, vérification et test. 〈inria-00111714〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

365

Téléchargements de fichiers

427

Contact


archive-ouverte@inria.fr