Specification et generation de tests du comportement dynamique des systemes a objets repartis

par SANDRO MAZZIOTTA

Thèse de doctorat en Sciences appliquées

Sous la direction de JACQUES LABETOULLE.

Soutenue en 1997

à Nice .

    mots clés mots clés


  • Résumé

    Bien qu'elles soient issues de standards, les nouvelles applications du rgt (reseaux de gestion des telecommunications) sont longues et fastidieuses a deployer et a mettre en service, principalement pour des raisons liees a des problemes d'interfonctionnement. Ceci s'avere couteux et inacceptable dans le contexte competitif de la dereglementation des telecommunications. Les solutions a ce probleme, que nous apportons dans cette these, se revelent d'autant plus interessantes qu'il apparait que le rgt n'est qu'un cas particulier et que la problematique que nous developpons peut s'etendre de maniere generale aux systemes a objets repartis dont odp (open distributed processing) est le modele de reference standardise. L'absence d'un formalisme adequat pour decrire le comportement dynamique de ces applications s'est revele tres tot comme le point crucial qu'il fallait resoudre. La description de ce formalisme, ainsi que l'environnement de simulation qui l'accompagne constitue la premiere partie de la these. La seconde partie vise quant a elle a exploiter l'etape de formalisation pour aider a la generation de cas de tests, phase qui jusqu'a present, faute d'outils adequats, devait etre effectuee a la main. Dans cette partie, nous decrivons la notion de cas de test ainsi que l'outil qui nous permet de les generer automatiquement. La troisieme et derniere partie de ce travail presente l'application des deux etapes precedentes a un cas d'etude issu d'un standard du rgt : la gestion des interfaces x (inter-operateurs) pour les reseaux de transport sdh. Cet exemple nous permet d'analyser et de critiquer notre approche et d'evaluer son impact pour une meilleure mise en service de ce type d'applications.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 232 P.
  • Annexes : 109 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.