Title: Passive Fault Detection for FSM-based Systems

Abstract:
Fault detection is a fundamental part of passive testing which determines
whether a system under test (SUT) is faulty by observing the input/output
behavior of the SUT without interfering its normal operations [Lee02].

In my presentation, I will first give an introduction to passive fault
detection, then propose a new approach to Finite State Machine-based
(FSM–based) passive fault detection. Compared with the former approach in
[Lee97], the proposed approach has better performance and provides more
information during testing. The results of both theoretical and
experimental evaluations confirm the improvement over the approach of
[Lee97] will be explained.