摘要
唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。
UIO(Unique Input Output) test sequences are widely used in communication protocol testing. In this paper, based on an existing fault diagnosis algorithm, an improved algorithm, which utilizes as much information of UIO test sequences as possible, is proposed. This paper full uses of verdict information given by UIO test sequences and the observed input/output immediately after the potential faulty transition to guarantee the efficient diagnosis of any single fault. Some experiments to compare the algorithm with the original one are conducted and the results show that the algorithm is more efficient.
出处
《电子与信息学报》
EI
CSCD
北大核心
2006年第11期2152-2156,共5页
Journal of Electronics & Information Technology
基金
国家自然科学基金重大研究计划项目(90104010)
国家自然科学基金项目(60241004)
国家973计划项目
中国科学院计算机科学重点实验室基础研究基金资助课题
关键词
错误诊断
一致性测试
有限状态机
唯一输入输出
Fault diagnosis, Conformance testing, Finite slate machine, Unique Input Output(UIO)