SOCRATES on IP router fault detection

Author

Hao, Ruibing ; Lee, David ; Sinha, Rakesh K.

Author_Institution

Lucent Technol. Bell Labs., Murray Hill, NJ, USA

Volume

3

fYear

2000

fDate

2000

Firstpage

1578

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Global Telecommunications Conference, 2000. GLOBECOM '00. IEEE

Conference_Location

San Francisco, CA

Print_ISBN

0-7803-6451-1

Type

conf

DOI

10.1109/GLOCOM.2000.891904

Filename

891904