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

计算机科学 ›› 2009, Vol. 36 ›› Issue (12): 5-7.

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

朱雪峰,许建军,邹彪,张哲,孙雷

(中国石油大学(北京)计算机科学与技术系北京102249);(地球探测与信息技术北京市重点实验室北京102249);(中国标准化研究院北京100088)

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金重大项目(60496324)和中国标准化研究院中央基本科研业务费支持项目(56076S-1524)资助。

Network Protocol Conformance Testing:An Overview

ZHU Xue-feng,XU Jian-jun,ZOU Biao,ZHANG Zhe,SUN Lei

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: Conformance testing is fundamental to the analysis of network protocol, while there arc 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. I3egining 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.

Key words: Network protocol,Conformance testing,Formal method

朱雪峰,许建军,邹彪,张哲,孙雷. 网络协议一致性测试研究综述[J]. 计算机科学, 2009, 36(12): 5-7. https://doi.org/

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. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed