【作者】 田军；

【导师】 李忠诚；

【作者基本信息】 中国科学院研究生院（计算技术研究所） ， 计算机应用技术， 2001， 博士

【摘要】 IPv6由于其近乎无限的地址空间、层次化的地址结构、高速的路由、更强的安全性、对移动性和服务质量的更好支持等特性,被认为是替代IPv4协议、解决目前Internet面临的困境、为下一代Internet提供更好的服务和发展的最佳协议。随着支持IPv6的网络产品的日渐增多,各IPv6协议实现与协议标准的一致性问题也越来越重要,对IPv6协议进行一致性测试的需求也越来越强烈。开展IPv6协议一致性测试研究具有重要的理论和现实意义。本论文在这种强烈需求的驱动下,对IPv6协议和协议一致性测试技术进行了全面深入的分析,对IPv6协议一致性测试技术开展了深入的研究。本文设计了针对IPv6协议的一种简洁高效的测试集描述语言TSS,提出了虚拟测试和底层汇聚测试的新的测试方法,基于这两种方法设计了IPv6测试系统的完整体系结构,实现了一个完整的IPv6协议一致性测试系统V6PTS,设计了9个TSS抽象测试集200多个测试例,涵盖24个IPv6 RFC协议标准,并对三种Unix IPv6实现(Linux, FreeBSD, Solaris)及一种路由器的IPv6实现进行了一致性测试。本文的创造性工作体现在以下几各方面:1.针对IPv6协议设计了一种测试集描述语言TSS。该描述语言克服了国际标准测试集描述语言TTCN在生成IPv6协议一致性测试集时的测试集描述复杂、测试集产生效率低、测试执行速度慢等问题,可以针对IPv6协议进行简洁高效的描述和测试执行,并可以扩展应用到其它协议测试集的描述。2.提出了虚拟测试的新方法。目前国际上对通讯协议的测试,特别是在对路由协议的测试中,一般要采用多台测试器对被测实现进行测试。多台测试器存在于不同的系统中,在物理上是分离的,因此对同一测试事件的观察在时间上存在差异,另外各测试器之间必须有良好的同步和控制协调过程,使测试过程过于复杂。本文中提出的虚拟测试方更多还原

【Abstract】 The Internet Protocol (IP) has been the foundation of the Internet and virtually all multivendor private internetworks. This protocol is reaching the end of its useful life, and a new protocol, known as IPv6 (IP version 6), has been defined to ultimately replace IPv4. IPv6 includes functional and formatting enhancements over IPv4. With most of the technical details of these enhancements frozen, vendors have begun to move these capabilities into their products. However, due to human errors, a protocol implementation may not behave as specified. Thus, conformance testing is used to ensure the consistency between a protocol specification and its implementation.This dissertation first surveys the recent development in the state-of-the-art of IPv6 and protocol conformance testing. Then a test suite specification language (TSS) is designed specifically to describe the IPv6 test suite. Two new test methods called virtual test method and lower-layer congregation test method are proposed respectively. Based on the two test methods, the architecture of a system called V6PTS is designed and the system is implemented. With the IPv6 conformance testing system, 9 IPv6 test suites (including more than 200 test cases) are designed in TSS. The test suites can test the functions of 24 IPv6 RFC protocol standards, and were applied to testing four IPv6 protocol implementations on Linux, FreeBSD, Solaris and a router.The main creativities of this dissertation are explained as follows:1.A test suite specification language (TSS) is designed specifically to describe the IPv6 test suite.2.A new test method called virtual test method is proposed. Virtual test method makes use of the address field and other flag fields of a更多还原