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

作者：赵保华; 钱兰; 周颢; 郭雄辉

来源：电子与信息学报, 2006, (09): 1679-1683.

• 错误诊断
• 一致性测试
• 有限状态机 Fault diagnosis
• Conformance testing
• Finite State Machine (FSM)

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

• 单位
  中国科学技术大学; 中国科学院; 计算机科学国家重点实验室