文献类型：期刊文章

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

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

出　　处：《计算机科学》

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

年　　份：2009

卷　　号：36

期　　号：12

起止页码：5-7

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

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

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

分 类 号：TP393]