基于UIO测试序列的错误诊断算法.pdfVIP

第28卷第11期 电子与信息学报 Vbl．28No．11 Joumal 2006年11月 ofElectronicsInformation Nov．2006 1echnology 基于UIO测试序列的错误诊断算法 赵保华 钱兰 郭雄辉 (中国科学技术大学计算机科学技术系 合肥230027) 摘 要 唯一输入输出(UIliqueInput0utput)测试序列是协议测试中常用的一种测试序列，在一个已有的错误诊断算 法基础上，结合UIO测试序列的一些特点，该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利 用了UIO测试序列给出的判定消息，及测试结果中可能的错误转换后的输入／输出消息，从而能高效完全地诊断单 个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。 美键谰错误诊断，一致性测试，有限状态机，唯一输入输出 中雷分类号：TN9lS．014 文献标识码：A Fault forUIo11est Diagnosis Sequence 办aoBao-h1璩 Lan Guo Qiall Xiong．hui (cD唧“御＆棚ce口耐砌砌D魄yD印口r加P慨吣形，蚴f230027，∞㈣ are in this Abstract usedcommunication uIo(uniqueInputoutput)testsequenceswidely protocol paper’ te唪唱．In b继ed fault utilizes勰muchinfoml龇ionofUIOtest on锄existingdiagnosisalgorithm，锄improVedalgorithm，which fullusesofVerdictinformationU10test andthe paper sequences∞possible，isproposed．This giVenby sequences observed aRerthe transitionto theemciem of input／outputimmediatelypotentialfaulty guaramee diagnosisanysingIe fault．Some to the withthe oneareconducted锄dmeresultsshowthatthe experimentscomparealgorithm original ismoree币cie毗． algorithm wordsFault state Key diagnosis，Confomancetesting，Finitemachine，UniqueInputOutput(UIO) 1 引言 了文献[5]的两个改进算法，能缩小错误诊断集合，但