Abstract:Networks are getting larger and more complex, yet administrators rely on rudimentary tools such as and to debug problems. We propose an automated and systematic approach for testing and debugging networks called "Automatic Test Packet Generation" (ATPG). ATPG reads router configurations and generates a device-independent model. The model is used to generate a minimum set of test packets to (minimally) exercise every link in the network or (maximally) exercise every rule in the network. Test packets are sent periodically, and detected failures trigger a separate mechanism to localize the fault. ATPG can detect both functional (e.g., incorrect firewall rule) and performance problems (e.g., congested queue). ATPG complements but goes beyond earlier work in static checking (which cannot detect liveness or performance faults) or fault localization (which only localize faults given liveness results). We describe our prototype ATPG implementation and results on two real-world data sets: Stanford University's backbone network and Internet2. We find that a small number of test packets suffices to test all rules in these networks: For example, 4000 packets can cover all rules in Stanford backbone network, while 54 are enough to cover all links. Sending 4000 test packets 10 times per second consumes less than 1% of link capacity. ATPG code and the data sets are publicly available.

Formalization and Algorithms for Automatic OSPF Testing

Automatic Conformance Testing of OSPF Routers

Research on Stress Testing of OSPF Protocol Implementation

Design and implementation of a PCB testing system

Online Test System Applied in Routing Protocol Test

A Formal Approach To Conformance Testing Of Distributed Routing Protocols

Stress testing of OSPF protocol implementation based on large-scale routing simulation

A Formal Approach for Passive Testing of Protocol Data Portions

Towards Modeling And Testing Of Ip Routing Protocols

STRESS TESTING OF OSPF PROTOCOL ROUTING SDIZTLATION' IMPLEMENTATION BASED ON LARGE-SCALE

Routing Algorithm for AD Hoc Networks of LEO Satellites Based on OSPF

Use of Global Behavior Tree for Conformance Testing of OSPF Protocol LSDB Synchronization

Interoperability Test Approach Based on ISM

Stress Testing and Result Analysis Based on Large-Scale Route Simulation

OnLine Test System, An Application of Passive Testing in Routing Protocols Test

From Active to Passive — Progress in Testing Internet Routing Protocols

A Formal Method to Real-Time Protocol Interoperability Testing

Network Protocol System Monitoring - A Formal Approach with Passive Testing

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

Automatic test packet generation

Generality Design for Testing OSI and Internet Protocols