Les réseaux deviennent de plus en plus vastes et complexes, mais les administrateurs continuent de s'appuyer sur des outils basiques tels que ping et traceroute pour résoudre les problèmes. Nous proposons une approche automatisée et systématique pour tester et déboguer les réseaux, appelée « génération de paquets de test ». Ce système lit les configurations des routeurs et génère un modèle indépendant des périphériques. Ce modèle est utilisé pour générer un ensemble minimal de paquets de test permettant de tester chaque liaison du réseau ou chaque règle du réseau....

Netzwerke werden immer größer und komplexer, doch Administratoren verlassen sich bei der Behebung von Problemen nach wie vor auf grundlegende Tools wie Ping und Traceroute. Es wird ein automatisierter und systematischer Ansatz zum Testen und Debuggen von Netzwerken namens "Test Packet Generation" vorgeschlagen. Dieses System liest die Routerkonfigurationen und generiert ein geräteunabhängiges Modell. Das Modell wird verwendet, um eine möglichst kleine Menge von Testpaketen zu generieren, mit denen jede Verbindung im Netzwerk oder jede Regel im Netzwerk getestet werden kann. Die...