IPv6邻居发现协议的一致性测试序列生成

发布时间：2018-06-09 22:41

本文选题：IPv + 协议一致性测试　；参考：《信号处理》2013年12期

【摘要】：自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展。现今已有越来越多的IPv6产品被投入到了开发与应用中。而如何提高不同产品间的互通性和可靠性则成为了一个关键问题。进行协议一致性测试是提高IPv6实现可靠性的一种有效方式。本文就重点针对IPv6邻居发现协议进行了一致性测试分析。本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机(FSM)模型。进而结合一种现有基于有限状态机(FSM)的一致性测试序列改进算法生成了该协议的抽象测试序列。本文在最后对得到的测试序列进行了有效性和可靠性分析,分析表明,使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短,同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力。本文获得的抽象测试序列可对相关IPv6协议开发者提供有效参考。
[Abstract]:Since 1998 Internet Engineering Task Force (IETF) proposed the next generation Internet standard specification, IPv6 has experienced more than a decade of development. Nowadays, more and more IPv6 products have been put into development and application. How to improve the interoperability and reliability of different products has become a key issue. Protocol conformance testing is an effective way to improve the reliability of IPv6 implementation. This paper focuses on IPv6 neighbor discovery protocol for consistency testing analysis. In this paper, the main functions and implementation principles of IPv6 neighbor discovery protocol are analyzed briefly, and the FSM model of IPv6 is abstracted. Furthermore, the abstract test sequence of this protocol is generated by using an improved algorithm of conformance test sequence based on finite state machine (FSM). At the end of this paper, the validity and reliability of the test sequence are analyzed. The results show that the test sequence obtained by using this algorithm can not only shorten the length of the test sequence, but also shorten the length of the test sequence compared with the traditional UIO sequence method. At the same time, it also has good detection ability for the output errors and end-state transition errors that may occur in the process of testing. The abstract test sequence obtained in this paper can provide an effective reference for IPv6 protocol developers.
【作者单位】：南京邮电大学通信与信息工程学院;江苏移动南京分公司;
【基金】：国家自然科学基金(61071090,61171093) 国家科技重大专项(2011ZX03005-004-003) 江苏省普通高校研究生科研创新计划(CXLX12_0475)
【分类号】：TP393.04

【参考文献】