一种改进的通信有限状态机的错误诊断方法

目前对于通信状态机的研究已经很广泛，但对于通信状态机的错误诊断方法的研究不多，已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合，本文在一般的通信有限状态机模型上，新增了一种不可执行的情况，并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下，提出了一整套新的错误诊断算法，算法通过分析症状信息进行分步检测，并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后，文中给出一个实例，详细描述了算法的诊断过程。

A modified method of fault location based on communicating finite state machines

Currently CFSM has been widely studied, but little work has been done for fault diagnosis of CFSM model. Existing study mainly focuses on output fault and transfer fault. For combining theory and practice, this paper presents a non?executable status into the CFSM model and a problem model into the general problem model. Under the assumption of single fault,this paper proposes a series of fault diagnosis algorithm. Based on analysing the output symptoms and making use of the information of the next input/output pair and the transition sequence, the algorithm can diagnose the single fault step by step. At last,an example is given to demonstrate the procedure of the algorithm.