Abstract FR:

Les réseaux informatiques intégrant la mobilité sont constitués de différents composants hétérogènes, distribués et mobiles qui doivent interopérer. Afin d'assurer des communications cohérentes dans un contexte de mobilité, il importe de garantir la validité des composants mis en oeuvre. Dans cette thèse, nous proposons une méthodologie pour le test de protocoles de mobilité basée sur les techniques de description formelle et les langages de test standardisés. Cette méthodologie couvre toute la chaîne de la modélisation du protocole à l'exécution des cas de test sur une implémentation réelle. Nous proposons un modèle à base de composants permettant de maîtriser la nature composite, distribuée, hétérogène et mobile des composants des protocoles de mobilité. Nous montrons ensuite que différents types d'architectures de test peuvent en être déduites permettant d'effectuer aussi bien le test de conformité que le test d'interopérabilité. Nous proposons une approche pour la génération des cas de test centralisés et distribués. Nous appliquons notre méthodologie au protocole Mobile IPv6 (MIPv6). Chacune des phases de modélisation, de vérification, de génération et d'exécution des cas test sur une implantation réelle MIPv6 est effectuée.