|
Lee D, Yannakakis M. Principles and methods of testing finite state machinesA survey[J].Proc. Of the IEEE.1996, 84:1090-1126[2]龔正虎. 計(jì)算機(jī)網(wǎng)絡(luò)協(xié)議工程. 長沙: 國防科技大學(xué)出版社,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
|
下載:
