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

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