论文部分内容阅读
未来互联网体系结构研究是下一代互联网研究的关键所在,一体化标识网络能够从根本上解决现有互联网在安全、移动、可控可管方面的不足,从而实现服务普适化、网络一体化。而标识协议栈作为一体化标识网络的底层协议栈支持,其基本协议的一致性测试工作,对一体化标识网络的功能实现、安全性能以及下一代互联网的发展、普及具有十分重要的意义。网络协议是计算机网络的核心,由于协议实现者对协议标准的理解不同,使得通信设备的非一致性问题日趋严重。另外,由于缺乏严格的测试,也导致采用的通信设备无法严格遵循国际标准,从而给网络的正常运行带来极大隐患。而协议测试则是解决以上问题的关键,其中,判断协议实现准确性和有效性的协议一致性测试显得更为重要。目前还没有一个实用的工具或系统可以对一体化标识网络协议的一致性测试提供技术支撑。本文首先对标识协议栈UCMP(Internet Control Message Protocol for Identifier-Based Universal Network)协议以及协议一致性测试体系结构进行简要介绍,并在此深入研究分析之上,提出一种新型测试集描述语言以及可重构一致性测试系统,并主要负责一致性测试系统测试管理、测试产生、测试实现模块的具体实现工作。新型测试集描述语言采用模块化与树形结构相结合的形式,使测试例描述语言更易于理解与编写。而可重构一致性测试系统保证设计实现的测试执行系统适合于各种协议的测试,使测试例的设计和测试执行系统的设计有效分离。另外,本文围绕UCMP协议一致性测试集的设计与实现这个主题,针对UCMP协议的功能以及性能特点,设计实现相应测试公共数据库及其测试集,测试集共包括4组测试组、35种具体测试例,覆盖UCMP协议全部功能特点,并采用模块化描述语言对设计的35例测试例进行形式化描述。测试集设计完成后,采用可重构一致性测试系统实现相应的测试环境,最终实现一致性测试集的实际测试工作。通过实际测试应用,验证了模块化描述形式简捷、易于实现的特性,并对一致性测试系统的高效率和高可用性进行了实际验证。最后,在分析测试结果基础之上,验证了UCMP协议功能特性,确保了UCMP协议的实现准确性和有效性。