Title :
Network protocol system monitoring-a formal approach with passive testing
Author :
Lee, David ; Chen, Dongluo ; Hao, Ruibing ; Miller, Raymond E. ; Wu, Jianping ; Yin, Xia
Author_Institution :
Dept. of Comput. Sci. & Eng., Ohio State Univ., Columbus, OH, USA
fDate :
4/1/2006 12:00:00 AM
Abstract :
We study network protocol system monitoring for fault detection using a formal technique of passive testing that is a process of detecting system faults by passively observing its input/output behaviors without interrupting its normal operations. After describing a formal model of event-driven extended finite state machines, we present two algorithms for passive testing of protocol system control and data portions. Experimental results on OSPF and TCP are reported.
Keywords :
finite state machines; monitoring; telecommunication network reliability; transport protocols; OSPF; TCP; event-driven extended finite state machines; fault detection; network protocol system monitoring; passive testing; Automata; Computer science; Condition monitoring; Control system synthesis; Data engineering; Electronic mail; Fault detection; Life testing; Protocols; System testing; Event-driven extended finite state machine; formal method; network protocol; passive monitoring; testing;
Journal_Title :
Networking, IEEE/ACM Transactions on
DOI :
10.1109/TNET.2006.872572
