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

• 作者: 孙雷 张哲 朱雪峰 许建军 邹彪
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 网络协议 一致性测试 形式化方法
• 年，卷（期）: 2009,（12）
• 页码范围: 5-7,36
• 页数: 4页
• 分类号: TP393
• 字数: 6612字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.12.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许建军		14	358	9.0	14.0