基于有限状态机的被动测试错误诊断

• 作者: 张炜 赵保华
• 来源期刊: 西安交通大学学报
• 关键词: 被动测试 错误诊断 错误区分
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 专题研究
• 页码范围: 626-629
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2006.06.002

摘要

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合,再依据测试套上下文使用错误检测算法对该集合进行筛选,最后经连续观察或结合主动测试进行错误区分.实例验证结果表明,所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
2	张炜	中国科学技术大学计算机系	33	262	9.0	15.0