期刊文献+

基于UIO测试序列的错误诊断算法 被引量:2

Fault Diagnosis for UIO Test Sequence
下载PDF
导出
摘要 唯一输入输出(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)
  • 相关文献

参考文献6

  • 1Lee D,Yannakakis M.Principles and methods of.testing finite state machines--A survey.Proc.IEEE,1996,84:1090-1126.
  • 2Ghedamsi A,Bochmann G Von.Test result analysis and ciagnostics for finite state machines.Proceedings of the 12th International Conference on Distributed Computing Systems,Yokohama,Japan,1992:244-251.
  • 3Lee D,Sabnani K.Reverse-engineering of communication protocols.Proceedings of the International Conference on Network Protocols,San Francisco,California,USA,1993:208-216.
  • 4Miller R E,Arisha K A.Fault identification in networks by passive testing.Proceedings of the 34th Annual Simulation Symposium,Seattle,WA,USA,2001:277-284.
  • 5Guo X H,Zhao B H,Qian L.Fault Identification by Passive Testing.Telecommunications and Networking-ICT 2004,Fortaleza,Brazil,2004,3124:826-834.
  • 6Kim Myungchul,et al..A dynamic protocol conformance test method.Journal of Systems and Software,2003,67(1):31-43.

同被引文献16

  • 1徐军委,赵保华,屈玉贵.一种新的UIO测试序列生成算法[J].中国科学技术大学学报,2004,34(6):710-715. 被引量:11
  • 2赵保华,钱兰,周颢,郭雄辉.基于有限状态机的错误诊断算法[J].电子与信息学报,2006,28(9):1679-1683. 被引量:3
  • 3Sabnani K, Dahbura A. A protocol test generation procedure. Computer Networks, 1988,15(4):285-297.
  • 4Yang B, Ural H. Protocol conformance test generation using multiple UIO sequences with overlapping. SIGCOMM Comput Commun Rev, 1990,20(4):118-125.
  • 5Bondy JA, Murty USR. Graph theory with application. New York: Elsevier North Holland, 1976.26-237.
  • 6Miller RE, Paul S. On the generation of minimal-length conformance tests for communication protocols. IEEE/ACM Trans. Netw, 1993,1(1):116--129.
  • 7Naik K. Efficient computation of unique input/output sequences in finite-state machines. IEEE/ACM Trans. Netw, 1997, 5(4):585-599.
  • 8Cormcn T, I.,ciscrson C, Rivest R, ctal. Introduction to Algorithms. 2nd cd. Cambridge, Massachusetts: MIT Press, 2001.643-699.
  • 9ISDN User-Network Interface Layer 3 Specification for Basic Call Control. In, ITU-T Q931.
  • 10Lec JD, Jung JI, Lee HI, ct al. Verification and conformance test generation of communication protocol for railway signaling systems. Computcr Standards & Interfaces, 2007, 29(2):143-151.

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部