Skip to Main content Skip to Navigation
Journal articles

Méthodes formelles de test de conformité des protocoles

Résumé : Le {\it test de conformité} consiste à vérifier qu'une implantation est conforme à un protocole donné. La complexité des protocoles et la fiabilité attendue de leurs implantations nécessitent que les méthodes de test de conformité utilisent des techniques automatiques et formelles. Des travaux récents menés par les organismes de normalisation et dans le contexte industriel, permettent de faire une classification des méthodes formelles de test de conformité en trois grandes classes, que nous appelons {\it méthodes basées sur les automates d'états finis}, {\it méthodes basées sur les testeurs canoniques} et {\it méthodes orientées objectif de test}. Cet article se propose d'introduire ces principales tendances de test tout en les situant par rapport aux normes. || {\it Conformance testing} aims at checking that some implementation conforms to a given protocol specification. The complexity of protocols and the expected reliability of their implementations require formal and automatic-based testing techniques to
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00098893
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:39:57 AM
Last modification on : Tuesday, April 24, 2018 - 1:34:32 PM

Identifiers

  • HAL Id : inria-00098893, version 1

Citation

Ousmane Koné, Richard Castanet. Méthodes formelles de test de conformité des protocoles. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1999, 18 (5), pp.519-554. ⟨inria-00098893⟩

Share

Metrics

Record views

476