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
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;
Conference_Titel :
Computer Networks and Mobile Computing, 2003. ICCNMC 2003. 2003 International Conference on
Print_ISBN :
0-7695-2033-2
DOI :
10.1109/ICCNMC.2003.1243103
