Méthodes formelles de test de conformité des protocoles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 1999

Méthodes formelles de test de conformité des protocoles

Abstract

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
No file

Dates and versions

inria-00098893 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098893 , version 1

Cite

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, 1999, 18 (5), pp.519-554. ⟨inria-00098893⟩
345 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More