Cet article présente les bibliothèques de tests Juniper, Alcatel et Packet-Filter disponibles avec la version 2 de HAWK [MISC]. Ces bibliothèques sont toutes accessibles, ainsi que le compilateur HAWK, sur notre site [HAWK].
1. Introduction
Ce deuxième article illustre la mise en œuvre de HAWK v2 pour analyser des configurations Juniper, Alcatel et Packet-Filter. Les tests sont regroupés en bibliothèques, et à chaque bibliothèque est associé un programme de normalisation de configuration, dans le style d’un pretty-printer.
Après une description du processus de normalisation des configurations, nous décrivons brièvement le contenu des bibliothèques de tests et donnons ensuite un exemple d’un test de chaque bibliothèque (en soulignant l’intérêt d’utiliser HAWK plutôt qu’un autre langage de programmation).
2. La normalisation des configurations
La plupart d’entre nous connaissent les configurations de type CISCO dont la structure ne repose pas sur une hiérarchie de blocs imbriqués et dont le format est de type Fortran (ligne par ligne). En revanche, ce n’est pas du tout le cas pour les configurations de type Juniper, Alcatel ou Packet-Filter. En effet, ces types...
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première