【摘要】 一致性测试是网络协议验证中最为基本的部分。虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路。更多还原

【Abstract】 Conformance testing is fundamental to the analysis of network protocol,while there are 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.Begining 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.更多还原