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

Description

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.

Links & Downloads

1. http://www.archipel.uqam.ca/2815/1/M9590.pdf
2. 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.

Tags

Configuration

Gestion de la configuration

Vérification logique

Réseau d'ordinateurs

Additional Fields

Identifer	oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMUQ.2815
Date	January 2006
Creators	Wenaas, Éric
Source Sets	Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
Detected Language	French
Type	Mémoire accepté, NonPeerReviewed
Format	application/pdf
Relation	http://www.archipel.uqam.ca/2815/