Geração automática de pacotes de teste de forma segura

As redes estão a tornar-se cada vez maiores e mais complexas mas os administradores continuam a depender das ferramentas mais básicas como ping e traceroute para resolver problemas. Será proposta uma abordagem automatizada e sistemática para testar e depurar as redes denominada Geração de Pacotes de Teste. Este sistema lê as configurações do router e gera um modelo independente do dispositivo. O modelo é usado para gerar o menor conjunto possível de pacotes de teste para testar todos os links da rede ou todas as regras da rede. Os pacotes de teste são enviados periodicamente e as falhas detectadas acionam um mecanismo separado para localizar a falha. Este sistema pode detectar tanto problemas funcionais (por exemplo regra de firewall incorreta) quanto problemas de desempenho (por exemplo fila congestionada). Ele complementa mas vai além do trabalho anterior em verificação estática (que não consegue distinguir falhas de funcionamento ou de execução) ou restrição de falhas (que apenas restringe deficiências com base nos resultados de funcionamento). Ele foi implementado em dois conjuntos de dados do mundo real chamados de rede backbone de Stanford e internet2. Os resultados são surpreendentes pois foi necessário um número muito menor de pacotes de teste para verificar todas as regras da rede.