A Formal Approach for Passive Testing of Protocol Data Portions
01 January 2002
Passive testing is a process of detecting faults in a system under test by observing its input/output behaviors only without interrupting its normal operations and proves to be a promising method in network fault management. We study passive testing of data portions of network protocols. We present two algorithms using an extended finite state machine model. Experimental results on the Internet routing protocol OSPF are reported.