Une approche de test de conformité des systèmes d'administration de réseaux

par Paul P. Kaboré

Thèse de doctorat en Informatique

Sous la direction de Adam Schaff.

Soutenue en 1995

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .

mots clés

• Protocole de transmission
• Transmission de donnée
• Communication
• Réseau d’ordinateur
• Implémentation
• Interface utilisateur
• Contrainte
• Administration réseau
• Gdmo
• EFSM communicant
• Réseaux d'ordinateurs
• Protocoles de réseaux d'ordinateurs
• Interfaces utilisateur (informatique)

Résumé

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

Titre traduit

An approch to network management conformance testing

Pas de résumé disponible.