| 网络协议一致性测试研究综述 |
| |
| 引用本文： | 朱雪峰,许建军,邹彪,张哲,孙雷. 网络协议一致性测试研究综述[J]. 计算机科学, 2009, 36(12): 5-7 |
| |
| 作者姓名： | 朱雪峰 许建军 邹彪 张哲 孙雷 |
| |
| 作者单位： | 中国石油大学(北京)计算机科学与技术系,北京,102249;地球探测与信息技术北京市重点实验室,北京,102249;中国标准化研究院,北京,100088;中国石油大学(北京)计算机科学与技术系,北京,102249 |
| |
| 基金项目： | 国家自然科学基金重大项目，中国标准化研究院中央基本科研业务费支持项目 |
| |
| 摘 要： | 一致性测试是网络协议验证中最为基本的部分.虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法.从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路.
|
| 关 键 词： | 网络协议 一致性测试 形式化方法 |
| 收稿时间： | 2009-01-20 |
| 修稿时间： | 2009-03-25 |
Network Protocol Conformance Testing:An Overview |
| |
| ZHU Xue-feng,XU Jian-jun,ZOU Biao,ZHANG Zhe,SUN Lei. Network Protocol Conformance Testing:An Overview[J]. Computer Science, 2009, 36(12): 5-7 |
| |
| Authors: | ZHU Xue-feng XU Jian-jun ZOU Biao ZHANG Zhe SUN Lei |
| |
| Affiliation: | (Department of Computer Science and Technology,(;hina University of Petroleum,Beijing 102249,China);(Key Laboratory of Earth Prospecting and Information Technology,Beijing 102249,China);(China National Institute of Standardization,Beijing 100088,China) |
| |
| Abstract: | |
| |
| Keywords: | Network protocol Conformance testing Formal method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
