An approch to network management conformance testing
Une approche de test de conformité des systèmes d'administration de réseaux
Résumé
Not available
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
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
Test de conformité
ASN.1
Description formelle
Objet géré
Satisfaction contrainte
Réseaux d'ordinateurs
Protocoles de réseaux d'ordinateurs
Interfaces utilisateur (informatique)