Une méthodologie pour le test de conformité et d'interopérabilité des protocoles de mobilité

par Francine Ngani Noudem

Thèse de doctorat en Informatique

Sous la direction de César Viho.

Soutenue en 2006

à Rennes 1 .


  • Résumé

    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.

  • Titre traduit

    A methodology for mobility protocols conformance and interoperability testing


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (124 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 115-119

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 2006/12
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Disponible pour le PEB
  • Cote : C.4 - NGA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.