Fault Detection of FSM Based System

Abstract

Passive testing is very important to guarantee the correctness of the fault detection. Passive Testing is a new concept of fault detection of any network in recent years. Fault detection is a fundamental part of passive testing which determines whether a system under test (SUT) is faulty by observing the input/output behaviour of the SUT without interfering its normal operations. A new approach to Finite State Machine (FSM) based passive fault detection which improves the performance and gathers information during testing compared with the approach. The results of theoretical and implementation evaluations are reported. Testing is a trade-off between increased confidence in the correctness of the system under test and constraints on the amount of time and effort that can be spent in testing. The presented thesis provided overview of passive fault detection algorithms which determine system under test (SUT) is faulty by observing the input/output behaviour. We are able to take output of different fault detection algorithms and Compare these fault detection algorithms theoretical and implementation based upon system under test. The experimental and implementation results of the passive testing on fault detection algorithms are also shown and analyzed. We employ the finite state machine (FSM) model for networks to investigate fault identification using passive testing. Keywords: system under test, fault detection, passive testing.