Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
نویسندگان
چکیده
Passive testing has proved to be a powerful technique for protocol system fault detection by observing its input/output behaviors yet without interrupting its normal operations. To improve the fault detection capabilities we propose a backward checking method that analyzes in a backward fashion the input/output trace from passive testing and its past. It effectively checks both the control and data portion of a protocol system, compliments the forward checking approaches, and detects more errors. We present our algorithm, study its termination and complexity, and report experiment results on the protocol SCP.
منابع مشابه
Fault Identification using end-to-end data by imperialist competitive algorithm
Faults in computer networks may result in millions of dollars in cost. Faults in a network need to be localized and repaired to keep the health of the network. Fault management systems are used to keep today’s complex networks running without significant cost, either by using active techniques or passive techniques. In this paper, we propose a novel approach based on imperialist competitive alg...
متن کاملFault Identification using end-to-end data by imperialist competitive algorithm
Faults in computer networks may result in millions of dollars in cost. Faults in a network need to be localized and repaired to keep the health of the network. Fault management systems are used to keep today’s complex networks running without significant cost, either by using active techniques or passive techniques. In this paper, we propose a novel approach based on imperialist competitive alg...
متن کاملA Gmdh Neural Network Based Approach to Passive Robust Fault Detection Using a Constraints Satisfaction Backward Test
This paper focus on the problem of passive robust fault detection using nonlinear models that include parameter uncertainty. The non-linear model considered here is described by a Group Method of Data Handling Neural Network (GMDHNN). The problem of passive robust fault detection using models including parameter uncertainty has been mainly addressed checking if the measured behaviour is inside ...
متن کاملOn Fault Management using Passive Testing for Mobile IPv6 Networks
In this paper, we employ the Communicating finite state machine (CFSM) model for networks to investigate fault management using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model and the observer model with necessary assumptions and justification. We introduce the fault model and the fault detection algorithm using passive testing. We present ...
متن کاملA GMDH neural network-based approach to passive robust fault detection using a constraint satisfaction backward test
This paper proposes a new passive robust fault detection scheme using non-linear models that include parameter uncertainty. The nonlinear model considered here is described by a group method of data handling (GMDH) neural network. The problem of passive robust fault detection using models including parameter uncertainty has been mainly addressed by checking if the measured behaviour is inside t...
متن کامل