UQAM - Université du Québec à Montréal
Archive de publications électroniques
UQAM ›  Archive de publications électroniques ›  Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux

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
1083Kb

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 de document : Mémoire accepté
État du document : Non publié
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
Code ID : 2815
Déposé par : RB Service des bibliothèques
Déposé le : 22 avr. 2010 10:49
Dernière modification : 30 nov. 2010 11:52

Modifier les métadonnées de ce document.

Voir les statistiques sur cinq ans...