Recherche Avancée

Thèse soutenue

Intégration du temps dans les tests de protocoles de communication

FR
Auteur / Autrice : Patrice Laurençot
Direction : Richard Castanet
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1999
Etablissement(s) : Bordeaux 1

Résumé

FR

Du fait de l'émergence des applications multimédia, de nouveaux protocoles de communication sont créés avec des contraintes temporelles. Le contenu de cette thèse explicite une méthodologie qui permet de créer des tests temporisés. Celle-ci se divise en quatre phases successives : - la première étape consiste à modéliser le protocole sous la forme d'un etiosm. Celui-ci est un automate temporisé prenant en compte aussi bien les contraintes temporelles que les contraintes sur les évènements. - la deuxième étape, qui n'est pas obligatoire, consiste à enlever les actions internes qui augmentent la difficulté pour créer un test. Nous proposons pour cela différents algorithmes qui permettent de supprimer ces transitions suivant la position et le rôle qu'elles ont dans la spécification. - la troisième étape consiste à créer un chemin temporisé. Pour cela, nous proposons deux méthodes : la première est basée sur la création d'un testeur temporisé, ce qui est simple mais impose que les horloges présentes dans la spécification soient indépendantes. Cette restriction n'apparait pas dans la deuxième méthode qui repose sur la synchronisation entre un objectif de test et la spécification. Ce produit synchronisé n'étant pas suffisant pour obtenir des données temporelles utilisables pour le test, nous calculons en plus quelques intervalles qui étiquettent le chemin synchronisé. - la dernière étape est un problème de réécriture pour transformer les chemins temporisés obtenus sous la forme du langage normalisé TTCN afin que le test puisse être utilisé dans les architectures de tests. Une partie est consacrée au problème du temps de latence qui peut exister entre le testeur et l'implantation sous test. La fin de ce document présente la mise en œuvre d'un logiciel utilisant cette méthodologie pour créer des tests temporisés sur un protocole réel : l'ABR.