DocumentCode
2262008
Title
An enhanced passive testing tool for network protocols
Author
Chen, Dongluo ; Wu, Jianping ; Chu, Tan Ieong
Author_Institution
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
fYear
2003
fDate
20-23 Oct. 2003
Firstpage
513
Lastpage
516
Abstract
We study passive testing on protocols to detect faults in network devices. An enhanced passive testing tool is developed using integer linear programming in determining the ranges of the variables. On-line pruning reveals the current configuration of the system and the transition covered. Network system monitoring is conducted in a formal and fine-granularity way.
Keywords
computer network reliability; integer programming; linear programming; routing protocols; integer linear programming; network fault management; network protocols; on-line pruning; passive testing; protocol testing; Automata; Computer networks; Computer science; Fault detection; Integer linear programming; Monitoring; Probes; Protocols; Software tools; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Networks and Mobile Computing, 2003. ICCNMC 2003. 2003 International Conference on
Print_ISBN
0-7695-2033-2
Type
conf
DOI
10.1109/ICCNMC.2003.1243103
Filename
1243103
Link To Document