-
题名一种改进的通信有限状态机的错误诊断方法
被引量:1
- 1
-
-
作者
贾家涛
曲明成
吴翔虎
-
机构
哈尔滨工业大学计算机科学与技术学院
-
出处
《智能计算机与应用》
2016年第4期51-54,共4页
-
基金
国家自然科学基金(61402131)
-
文摘
目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。
-
关键词
通信状态机
单个错误
错误诊断算法
-
Keywords
CFSM
single fault
fault diagnosis algorithm
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-