Abstract FR:

A cause de la tendance actuelle a connecter entre eux des systemes et plates-formes ouverts et distribues, on voit apparaitre un besoin imperatif de methodes et outils adequats pour le test de ces systemes. Ce travail propose une methode pragmatique pour le test imbrique et une technique de minimisation dans le but d'obtenir des sequences de test pour les composants de tels systemes. L'utilisation de cette approche semble appropriee pour repondre aux demandes actuelles dans le cadre des architectures de systemes emergentes. Nous etudions ensuite l'application de ces methodes dans des domaines ou le test est critique et couteux, en particulier, les services de telecommunication. Finalement, nous examinons comment l'execution des tests est affectee par l'architecture des plates-formes distribuees et ouvertes. Nous proposons une architecture de test generique et une methodologie d'execution de tests qui sont utilisees dans un prototype implante sur cobra. Chaque aspect est illustre par plusieurs exemples, et des outils ont ete developpes pour la plupart des themes etudies.