改进的错误诊断算法

摘要

考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法.该算法基于主动测试,先根据测试结果获得初始诊断集,然后由被动测试的逆向判定法得到错误诊断集,最后由测试序列进一步筛选得到最终的错误诊断结果.在生成和验证诊断集时,只对包含可疑转换的测试用例执行遍历操作,使算法更趋高效.算法分析和实例验证结果表明,该算法能够高效地诊断单个错误.%The active test in conformance testing is studied.Considering that after a fault is detected,the fault diagnosis should be performed,while most of the current fault diagnosis algorithms are based on the assumption of single fault and have the higher complexity,an improved fault diagnosis algorithm is proposed based on the analysis of the two classical algorithms,i.e.Ghedamsi algorithm for active test and Miller algorithm for passive test.This proposed algo-rithm obtains the initial diagnosis set according to test results under the active test,and then uses the reverse determi-nation method for passive testing to obtain the fault diagnosis set.Finally,the test sequence further screens the diag-nosis set.The algorithm analysis and example verification prove that the algorithm can diagnose single fault efficient -ly.