改进的错误诊断算法

• 作者: 崔玲 张建标 李秀云 郑爽
• 来源期刊: 高技术通讯
• 关键词: 有限状态机(FSM) 一致性测试 主动测试 错误诊断
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 922-928
• 页数: 7页
• 字数: 5017字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2017.11-12.006

摘要

考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法.该算法基于主动测试,先根据测试结果获得初始诊断集,然后由被动测试的逆向判定法得到错误诊断集,最后由测试序列进一步筛选得到最终的错误诊断结果.在生成和验证诊断集时,只对包含可疑转换的测试用例执行遍历操作,使算法更趋高效.算法分析和实例验证结果表明,该算法能够高效地诊断单个错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑爽	北京工业大学信息学部	10	61	5.0	7.0
2	张建标	北京工业大学信息学部	39	117	7.0	9.0
11	崔玲	北京工业大学信息学部	7	9	1.0	3.0
13	李秀云	北京工业大学信息学部	2	1	1.0	1.0