4Richard Lai. A survey of communication protocol testing[J]. Journal of Systems and Software, 2002,62(1): 21-46.
5Bourhfir C, Dssouli R, Aboulhamid E. Automatic test generation for EFSM-based systems[Z].publication departementale, IRO,Universite de Montreal, August 1996.
6Myungehul Kim, Sangjo Yoo, Jinhee Park.A dynamic protocol conformance test method[J]. The Journal of Systems and Software,2003, 67 (1):31-43.
8Miller R E, Arisha K A. Fault identification in networks by passive testing[A]. Simulation Symposium, Proceedings 34th Annual[C]. Seattle, WA USA:IEEE Computer Society. April 2001:277 -284.
9Lee D, Yannakakis M. Principles and methods of testing finite state machines A survey[A]. Proe. Of the IEEE, 1996,84.
10Vuong S T, Ko K C. A novel approach to protocol test sequence generation[A]. Global Telecommunications Conference, 1990, and Exhibition 'Communications: Connecting the Future, GLOBECOM '90[C]. San Diego,CA. IEEE Computer Society. Dec 1990, 3:188O - 1884.
