An EFSM-Based Passive Fault Detection Approach

@inproceedings{Ural2007AnEP,
  title={An EFSM-Based Passive Fault Detection Approach},
  author={Hasan Ural and Zhi Xu},
  booktitle={TestCom/FATES},
  year={2007}
}
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and determining whether these behaviors relate to faults within the SUT. We propose a new approach for EFSM-based passive fault detection which randomly selects a state in M and checks whether there is a trace in M starting from this state which is compatible with the observed behaviors. If a compatible trace is found… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS