一种通信有限状态机的被动测试及其错误诊断

• 作者: 张炜 李培龙 林华辉 赵保华
• 来源期刊: 西安交通大学学报
• 关键词: 被动测试 错误定位 通信有限状态机
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 专题研究
• 页码范围: 640-644
• 页数: 5页
• 分类号: TN915.04
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2007.06.003

摘要

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题,提出了一种被动测试错误检测方法.该方法在外部通道放置观察者,并使用了全局状态描述系统的当前可能状态,利用了观察到的输入输出信息,同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法,首先记录被动检测过程中系统经历的转换轨迹,用变异分析方法生成候选诊断,然后通过被动观察来降低错误集合的规模,最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明,所提算法能够在有限观察步骤内检测出被测系统中的错误,并能有效定位检测错误,其回溯算法也可以显著缩短错误症状序列的长度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵保华	中国科学技术大学计算机科学与技术系	27	153	7.0	10.0
5	张炜	中国科学技术大学计算机科学与技术系	33	262	9.0	15.0
7	李培龙	中国科学技术大学计算机科学与技术系	2	21	2.0	2.0
11	林华辉	中国科学技术大学计算机科学与技术系	6	46	3.0	6.0