基于UIO測試序列的錯誤診斷算法
Fault Diagnosis for UIO Test Sequence
-
摘要: 唯一輸入輸出(Unique Input Output)測試序列是協(xié)議測試中常用的一種測試序列,在一個已有的錯誤診斷算法基礎(chǔ)上,結(jié)合UIO測試序列的一些特點,該文提出了一種應用于UIO測試序列的錯誤診斷算法。該算法充分利用了UIO測試序列給出的判定消息,及測試結(jié)果中可能的錯誤轉(zhuǎn)換后的輸入/輸出消息,從而能高效完全地診斷單個錯誤。最后用實驗數(shù)據(jù)給出了該文算法和原始算法之間的比較結(jié)果。
-
關(guān)鍵詞:
- 錯誤診斷; 一致性測試; 有限狀態(tài)機; 唯一輸入輸出
Abstract: 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. -
Lee D, Yannakakis M. Principles and methods of testing finite state machinesA survey[J].Proc. IEEE.1996, 84:1090-1126[2]龔正虎. 計算機網(wǎng)絡協(xié)議工程. 長沙:國防科技大學出版社,1993.12.[3]Ghedamsi A, Bochmann G Von. Test result analysis and diagnostics for finite state machines. Proceedings of the 12th International Conference on Distributed Computing Systems, Yokohama, Japan, 1992: 244-251.[4]Lee D, Sabnani K. Reverse-engineering of communication protocols. Proceedings of the International Conference on Network Protocols, San Francisco, California, USA, 1993: 208 -216.[5]Miller 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.[6]Guo X H, Zhao B H, Qian L. Fault Identification by Passive Testing[J].Telecommunications and Networking-ICT 2004, Fortaleza, Brazil.2004, 3124:826-834[7]Kim Myungchul, et al.. A dynamic protocol conformance test method[J].Journal of Systems and Software.2003, 67(1):31-43 -
計量
- 文章訪問數(shù): 2177
- HTML全文瀏覽量: 77
- PDF下載量: 684
- 被引次數(shù): 0