|
|
|
| Fault Diagnosis Algorithm Based on Finite State Machine |
| Zhao Bao-hua; Qian Lan; Zhou Hao; Guo Xiong -hui |
Computer Science and Technology Department, Laboratory of Computer
Science Institute of Software Chinese Academy of SciencesUSTC, Hefei 230027,China |
|
|
|
|
Abstract A lot of research work has been done for conformance testing of protocols based on the FSM model. After a fault has been detected, it arises the problem that how to diagnose the fault. In this paper, it is assumed that IUT (Implementation Under Testing) exists only one single fault and a fault diagnosis algorithm is proposed. The diagnosis algorithm makes full use of transitions confirmed to be correct and head states set of the next observed input/output pair to the symptom transition and guarantees the diagnostic of any single fault in an FSM. In this paper, the comparison of time complexity with other existing fault diagnosis algorithms is given and an example to demonstrate the algorithm is presented.
|
|
Received: 18 March 2005
|
|
|
|
|
|
|
|
|
2006, Vol. 28 
