• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

崔玲 (崔玲.) | 张建标 (张建标.) (学者:张建标) | 郑爽 (郑爽.) | 李秀云 (李秀云.)

收录:

CQVIP PKU

摘要:

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

关键词:

一致性测试 主动测试 有限状态机(FSM) 错误诊断

作者机构:

  • [ 1 ] 北京工业大学信息学部
  • [ 2 ] 可信计算北京市重点实验室
  • [ 3 ] 信息安全等级保护关键技术国家工程实验室

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

来源 :

高技术通讯

年份: 2017

期: Z2

卷: 27

页码: 922-928

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 1

在线人数/总访问数:2707/2958430
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司