文章摘要
崔玲,张建标,郑爽,李秀云.改进的错误诊断算法[J].高技术通讯(中文),2017,27(11-12):922~928
改进的错误诊断算法
  
DOI:
中文关键词: 有限状态机(FSM), 一致性测试, 主动测试, 错误诊断
英文关键词: 
基金项目:
作者单位
崔玲  
张建标  
郑爽  
李秀云  
摘要点击次数: 2304
全文下载次数: 1908
中文摘要:
      考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法。该算法基于主动测试,先根据测试结果获得初始诊断集,然后由被动测试的逆向判定法得到错误诊断集,最后由测试序列进一步筛选得到最终的错误诊断结果。在生成和验证诊断集时,只对包含可疑转换的测试用例执行遍历操作,使算法更趋高效。算法分析和实例验证结果表明,该算法能够高效地诊断单个错误。
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭

分享按钮