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