Abstract FR:

Le réseau intelligent est un nouveau concept d'architecture de réseau de télécommunications dont l'objectif est de faciliter l'introduction ou la modification de services téléphoniques rapidement et à moindre coût. Lors de l'introduction de ces nouveaux services, leur impact sur le réseau et sur les services déjà existants doit être étudié. En particulier, ces services peuvent interagir entre eux de façon non désirée et engendrer ainsi un dysfonctionnement du réseau. Ce phénomène, connu sous le nom d'interaction de services est réellement problématique et il est indispensable de détecter et de résoudre ces interactions. Cette thèse se concentre sur la détection des interactions et propose de l'effectuer en appliquant des mécanismes mis en oeuvre dans le domaine de la validation des systèmes de télécommunication. L'idée développée est de valider le comportement du réseau dans lequel deux services sont simultanément implantés par rapport au comportement correspondant au cas ou chacun des deux services est seul présent dans le réseau. Cette validation est faite soit par analyse de traces, soit par application de cas de test. Le premier chapitre propose une rapide présentation du réseau intelligent et des services offerts par un tel réseau. Le second chapitre introduit les interactions qui peuvent exister entre ces différents services et les façons dont elles sont abordées par les différents opérateurs et fournisseurs de services. Le troisième chapitre est consacré au test de protocoles et présente différentes méthodes étudiées dans le cadre de la validation des protocoles. Le quatrième chapitre est dédié à l'application de ces méthodes à la détection des interactions de services et le cinquième chapitre présente la mise en oeuvre de ces méthodes.