Abstract FR:

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.