Sieci staj? si? coraz wi?ksze i bardziej zlo?one, jednak administratorzy nadal polegaj? na najbardziej podstawowych narz?dziach, takich jak ping i traceroute, aby rozwi?zywac problemy. Zaproponowane zostanie zautomatyzowane i systematyczne podej?cie do testowania i debugowania sieci, zwane "generowaniem pakietów testowych". System ten odczytuje konfiguracje routerów i generuje model niezale?ny od urz?dzenia. Model ten slu?y do generowania mo?liwie minimalnego zestawu pakietów testowych w celu sprawdzenia ka?dego l?cza w sieci lub ka?dej reguly w sieci. Pakiety testowe s? wysylane okresowo, a wykryte awarie uruchamiaj? oddzielny mechanizm w celu zlokalizowania usterki. System ten mo?e wykrywac zarówno problemy funkcjonalne (np. nieprawidlowe reguly zapory sieciowej), jak i problemy zwi?zane z wydajno?ci? (np. przeci??enie kolejki). Uzupelnia on, ale wykracza poza wcze?niejsze prace w zakresie sprawdzania statycznego (które nie potrafi rozró?nic bl?dów aktywno?ci lub wykonania) lub ogranicze? awarii (które ograniczaj? tylko braki wynikaj?ce z wyników sprawdzania aktywno?ci). Zostal on wdro?ony w dwóch rzeczywistych zestawach danych o nazwie Stanford backbone network i internet2. Wyniki s? zaskakuj?ce, poniewa? do sprawdzenia wszystkich regul sieci potrzeba bylo bardzo malej liczby pakietów testowych.