Abstract: Conformance testing is fundamental to the analysis of network protocol, while there arc lots of work on research and practice aspect of this problem, we still lack a systematically, efficiently and usable method for conformance testing of network protocol. I3egining with the formal description method for describe network protocol,we surveied major techniques on testing architecture, testing method and testing sequence generating in conformance testing. And finally, gave our method on remaining problem.

Key words: Network protocol,Conformance testing,Formal method