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]龚正虎. 计算机网络协议工程. 长沙:国防科技大学出版社,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