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

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

Identifiants

  • HAL Id : inria-00111714, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

336

Téléchargements de fichiers

406