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