Vérification de tables de routage par utilisation d'un ensemble représentatif d'en-têtes

Verifier des tables de routage consiste a tester la validite des tables de l'ensemble des routeurs d'un reseau donne. Par exemple, il peut s'agir de tester l'absence de boucle ou de trou noir. Dans cet article, nous proposons une approche en deux etapes : construire un ensemble representatif d'en-tetes de paquets, puis tester les proprietes desirees sur ces en-tetes. Toute la difficulte est de construire un ensemble relativement petit tout en garantissant qu'un paquet avec un en-tete arbitraire va se comporter exactement comme au moins l'un des en-tetes de l'ensemble representatif. A partir d'un modele tres general inspire du paradigme Software Defined Networking (SDN), nous montrons que le probleme de la detection de boucles peut se resoudre en temps polynomial en la taille d'un ensemble representatif. Nous montrons aussi qu'une condition naturelle sur les regles de routage, inspiree des travaux de Boutier et Chroboczek sur le routage par source et destination, permet de construire un ensemble representatif dont la taille est au plus le nombre de regles de routage plus un. Par comparaison, sans cette condition naturelle, la taille de l'ensemble representatif peut dans le pire des cas etre exponentielle en la taille des en-tetes.