Le haut degré de fiabilité exige dans le fonctionnement des logiciels de communication explique le développement actuel des travaux autour du test de conformité, activité qui consiste à vérifier que l'implantation d'un logiciel est conforme à sa spécification. Cette thèse propose une approche de test de conformité des systèmes d'administration de réseaux. Dans une première étape nous proposons des architectures de test pour des processus gestionnaires, des processus agents et des objets gérés. Ces architectures sont une extension des méthodes abstraites de test définies dans ISO 9646 pour prendre en compte le test de systèmes à plusieurs interfaces. Dans une deuxième étape nous définissons une méthode de dérivation de tests à partir de spécifications GDMO/ASN.1. Nous proposons une extension à ASN.1 pour la spécification de contraintes et de données de tests, et une méthode de génération de tests à partir de ces extensions par génération/satisfaction de contraintes. Le comportement dans GDMO est décrit en deux étapes: le comportement des objets gérés pris individuellement puis les interactions entre objets. L’ensemble du système de génération propose une méthode de génération de tests à partir d'EFSMS communicants