Méthodologie de test passif par invariants : application au protocole WAP
Auteur / Autrice : | Emmanuel Bayse |
Direction : | Ana Cavalli |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Evry, Institut national des télécommunications |
Mots clés
Résumé
Le test de conformité est devenu une activité essentielle dans le cycle de développement des systèmes de communication. Ce test a pour but de s'assurer que le produit fini correspond bien à la spécification de référence. La méthodologie consiste à générer automatiquement un ensemble de tests de conformité, et à stimuler l'implantation sous test en injectant les séquences de tests, puis à comparer le comportement produit avec celui attendu par la spécification. Ces méthodes dites actives supposent qu'elles peuvent toujours Interagir avec l'implantation sous test. Or, cette technique n'est pas toujours possible dans les systèmes de protocoles en couche. De plus, le contrôle des entrées émises par le testeur pour stimuler l'implantation limite la détection de certaines erreurs qui peuvent se produire dans un environnement hostile. La phase de test monopolise le système et cela peut être coûteux pour les industriels. Dans cette thèse, nous proposons une approche passive non intrusive pour effectuer du test de conformité dans le cadre du domaine des protocoles de communication. Notre démarche de test passif est d'évaluer le comportement de l'implantation dans son environnement réel à travers une analyse des traces d'exécution produites. Elle s'organise autour de deux étapes complémentaires. Une première où des experts et/ou testeurs de protocoles définissent des propriétés fonctionnelles de conformité exigées par la spécification et exprimées dans le formalisme des invariants. Ces derniers sont vérifiés sur la spécification représentée sous forme d'une machine à états finis au moyen d'algorithmes effcaces afin de mesurer leur validité. La seconde étape s'intéresse à retrouver ses invariants dans les traces d'exécution issues de l'implantation sous test par reconnaissance de motifs afin d'établir un diagnostic sur le comportement de celle-ci. Nous prolongeons également le champ de l'applicabilité de la méthode proposée pour le test de conformité au test d'interopérabilité en étendant nos algorithmes. Nous enrichissons la syntaxe des invariants en introduisant le concept des signatures contextuelles qui offrent un cadre adapté pour considérer la partie donnée dans l'expression des invariants, le type de propriété défini, et d'autres notions telles que les états. Dans cette thèse, nous fournissions un outil de test que nous avons conçu pour éprouver et automatiser notre méthodologie de test passif sur l'implantation des couches du protocole réel WAP.