DocumentCode
3206852
Title
A formal approach for passive testing of protocol data portions
Author
Lee, David ; Chen, Dongluo ; Hao, Ruibing ; Miller, Raymond E. ; Wu, Jianping ; Yin, Xia
Author_Institution
Bell Labs Res. China, Lucent Technol., Beijing, China
fYear
2002
fDate
12-15 Nov. 2002
Firstpage
122
Lastpage
131
Abstract
Passive testing is a process of detecting faults in a system under test by passively observing its input/output behaviors only without interrupting its normal operations, and proves to be a promising technique for network fault management. We study passive testing of data portions of network protocols and present two algorithms, using an event-driven extended finite state machine model. Experimental results on the Internet routing protocol OSPF (open shortest path first) are reported.
Keywords
Internet; computer network reliability; finite state machines; routing protocols; testing; Internet routing protocol; event-driven extended finite state machine model; input/output behavior; network fault management; network protocols; open shortest path first protocol; passive testing; protocol data portions; Automata; Communication system control; Computer science; Fault detection; Internet; Power system modeling; Routing protocols; System testing; Technology management;
fLanguage
English
Publisher
ieee
Conference_Titel
Network Protocols, 2002. Proceedings. 10th IEEE International Conference on
ISSN
1092-1648
Print_ISBN
0-7695-1856-7
Type
conf
DOI
10.1109/ICNP.2002.1181393
Filename
1181393
Link To Document