网络协议一致性测试研究综述  

Network Protocol Conformance Testing:An Overview

作　　者：朱雪峰[1,2] 许建军[3] 邹彪[1] 张哲[1] 孙雷[1,2] 

机构地区：[1]中国石油大学(北京)计算机科学与技术系,北京102249 [2]地球探测与信息技术北京市重点实验室,北京102249 [3]中国标准化研究院,北京100088

出　　处：《计算机科学》2009年第12期5-7,36,共4页Computer Science

基　　金：国家自然科学基金重大项目(60496324);中国标准化研究院中央基本科研业务费支持项目(56076S-1524)资助

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

关 键 词：网络协议 一致性测试 形式化方法 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]