Title :
SOCRATES on IP router fault detection
Author :
Hao, Ruibing ; Lee, David ; Sinha, Rakesh K.
Author_Institution :
Lucent Technol. Bell Labs., Murray Hill, NJ, USA
Abstract :
SOCRATES is a software system for testing correctness of implementations of IP routing protocols such as RIP, OSPF and BGP. It uses a probabilistic algorithm to automatically construct random network topologies. For each generated network topology, it checks the correctness of routing table calculation and the IP packet forwarding behavior. For OSPF, it also checks the consistency between network topologies and the link-state databases of router under test. For BGP, it further checks the BGP update redistribution. Being different than commercial testing tools, which select their test cases in an ad-hoc manner, SOCRATES chooses test cases with a guaranteed fault coverage
Keywords :
Internet; conformance testing; fault diagnosis; network topology; packet switching; probability; software tools; telecommunication computing; telecommunication network routing; transport protocols; BGP update redistribution; IP packet forwarding; IP router fault detection; IP routing protocols; Internet; OSPF; RIP; SOCRATES; correctness testing; guaranteed fault coverage; link-state databases; probabilistic algorithm; random network topologies; router under test; routing table calculation; software system; software tools; test cases selection; Computer bugs; Electronic mail; Fault detection; Internet; Monitoring; Network topology; Routing protocols; Software systems; Switches; System testing;
Conference_Titel :
Global Telecommunications Conference, 2000. GLOBECOM '00. IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
0-7803-6451-1
DOI :
10.1109/GLOCOM.2000.891904
