Abstract FR:

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.