To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
A Passive Testing Technique with Minimized On-line Processing For Fault Management of Network Protocols |
|
Author |
Tae-Hyong Kim |
| Citation |
Vol. 7 No. 3 pp. 7-14 |
|
Abstract |
Passive testing of a network protocol, the technique of detecting faults of the protocol implementation by monitoring its inputs and outputs when it is operating in a real communication network, has drawn attention lately because it does not interfere with the protocol development process. This paper proposes an extended finite state machine (EFSM)-based passive testing technique with good fault-detecting capability at a minimized on-line processing cost. Before testing, the proposed technique expands the given EFSM model to an expanded EFSM (XEFSM) model and derives its homing tree. During the testing we can find faults only by tracing that homing tree and the XEFSM with a given event sequence before and after the homing is accomplished respectively. In order to evaluate the effectiveness of the proposed technique we showed a simple example with the simple connection protocol (SCP) and also developed a passive testing system for the open shortest path first (OSPF) protocol. In the experiment with an OSPF implementation having intentional errors, the proposed technique showed a top-level fault detecting capability with less on-line processing. Therefore the proposed technique can be a good solution to real-time passive testing of a network protocol with rapid packet exchanges. |
|
Keywords |
Network fault management, Passive testing, Expansion of an EFSM |
|
URL |
