Fault Diagnosis Algorithm Based on Finite State Machine

Lee D, Yannakakis M. Principles and methods of testing finite state machinesA survey[J].Proc. Of the IEEE.1996, 84:1090-1126[2]龚正虎. 计算机网络协议工程. 长沙: 国防科技大学出版社,1993.[3]Ghedamsi A, Von Bochmann G. 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]Belhassine Cherif R, Ghedamsi A. Multiple fault diagnostics for communicating nondeterministic finite state machines. Proceedings of the Sixth IEEE Symposium on Computers and Communications, Hammamet, Tunisia, 2001: 661－666.[5]Belhassine Cherif R, Ghedamsi A. Diagnostic tests for communicating nondeterministic finite state machines. Proceedings of the Fifth IEEE Symposium on Computers and Communications, Antibes, France, 2000: 424－429.[6]Ghedamsi A, Bochmann G V, Dssouli R. Diagnosis of single transition faults in communicating finite state machines. Proceedings of the 13th International Conference on Distributed Computing Systems, Pittsburgh, Pennsylvania, USA, 1993: 157 －166.[7]Ghedamsi A, Bochmann G V, Dssouli R. Multiple faultdiagnosis for finite state machines. Proceedings of INFOCOM '93, San Francisco, California, USA, 1993, 2: 782－791.[8]Lee D, Sabnani K. Reverse-engineering of communication protocols. Proceedings of the International Conference on Network Protocols, San Francisco, California, USA, 1993: 208 －216.[9]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.[10]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