基于有限状态机的错误诊断算法

基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后，如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下，提出了一种新的错误诊断算法，该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果，并且用一个具体的实例来详细描述本文提出的算法。

Fault Diagnosis Algorithm Based on Finite State Machine

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.