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

par Patrice Laurençot

Thèse de doctorat en Informat.

Sous la direction de Richard Castanet.

Soutenue en 1999

à Bordeaux 1 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Du fait de l'emergence des applications multimedia, de nouveaux protocoles de communication sont crees avec des contraintes temporelles. Le contenu de cette these explicite une methodologie qui permet de creer des tests temporises. Celle-ci se divise en quatre phases successives : - la premiere etape consiste a modeliser le protocole sous la forme d'un etiosm. Celui-ci est un automate temporise prenant en compte aussi bien les contraintes temporelles que les contraintes sur les evenements. - la deuxieme etape, qui n'est pas obligatoire, consiste a enlever les actions internes qui augmentent la difficulte pour creer un test. Nous proposons pour cela differents algorithmes qui permettent de supprimer ces transitions suivant la position et le role qu'elles ont dans la specification. - la troisieme etape consiste a creer un chemin temporise. Pour cela, nous proposons deux methodes : la premiere est basee sur la creation d'un testeur temporise, ce qui est simple mais impose que les horloges presentes dans la specification soient independantes. Cette restriction n'apparait pas dans la deuxieme methode qui repose sur la synchronisation entre un objectif de test et la specification. Ce produit synchronise n'etant pas suffisant pour obtenir des donnees temporelles utilisables pour le test, nous calculons en plus quelques intervalles qui etiquettent le chemin synchronise. - la derniere etape est un probleme de reecriture pour transformer les chemins temporises obtenus sous la forme du langage normalise ttcn afin que le test puisse etre utilise dans les architectures de tests. Une partie est consacree au probleme du temps de latence qui peut exister entre le testeur et l'implantation sous test. La fin de ce document presente la mise en uvre d'un logiciel utilisant cette methodologie pour creer des tests temporises sur un protocole reel : l'abr.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 126 p

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FTA 2034
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTRA 2034
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.