Generazione automatica di pacchetti di test in modo sicuro

Le reti stanno diventando sempre più grandi e complesse, ma gli amministratori continuano ad affidarsi agli strumenti più basilari, come ping e traceroute, per risolvere i problemi. Verrà proposto un approccio automatizzato e sistematico per testare e debuggare le reti, denominato "Test Packet Generation". Questo sistema legge le configurazioni dei router e genera un modello indipendente dal dispositivo. Il modello viene utilizzato per generare il minor numero possibile di pacchetti di test per esercitare ogni collegamento nella rete o ogni regola nella rete. I pacchetti di test vengono inviati periodicamente e i guasti rilevati attivano un meccanismo separato per localizzare il guasto. Questo sistema è in grado di rilevare sia problemi funzionali (ad esempio, regole firewall errate) che problemi di prestazioni (ad esempio, code congestionate). Esso integra ma va oltre i lavori precedenti nel campo del controllo statico (che non è in grado di distinguere tra problemi di funzionalità e di esecuzione) o della restrizione dei guasti (che si limita a restringere le carenze date dai risultati di funzionalità). È stato implementato in due set di dati reali denominati Stanford backbone network e internet2. I risultati sono sorprendenti, poiché è stato necessario un numero molto ridotto di pacchetti di test per verificare tutte le regole della rete.