Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux

Wenaas, Éric (2006). « Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (1MB)

Résumé

Ce travail montre comment un formalisme logique, la logique de configuration, est intégré au sein d'un outil de gestion de configuration de réseaux, ValidMaker. Le principal objectif de ce travail est de démontrer que la logique de configuration est particulièrement bien adaptée à la vérification automatique de configuration de réseaux. À cette fin, nous développons un exemple réel de configuration de réseaux et nous trouvons des règles qui doivent être vérifiées pour qu'une telle configuration soit fonctionnelle. Ensuite, nous expliquons comment nous avons implanté la logique de configuration dans ValidMaker et nous illustrons le fonctionnement de notre algorithme de vérification.

Type: Mémoire accepté
Informations complémentaires: Le mémoire a été numérisé tel que transmis par l'auteur.
Mots-clés: Configuration, Gestion de la configuration, Vérification logique, Réseau d'ordinateurs
Unité d'appartenance: Faculté des sciences > Département d'informatique
Déposé par: RB Service des bibliothèques
Date de dépôt: 22 avr. 2010 14:49
Dernière modification: 01 nov. 2014 02:13
Adresse URL : http://www.archipel.uqam.ca/id/eprint/2815

Statistiques

Voir les statistiques sur cinq ans...