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

摘要

自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展.现今已有越来越多的IPv6产品被投入到了开发与应用中.而如何提高不同产品间的互通性和可靠性则成为了一个关键问题.进行协议一致性测试是提高IPv6实现可靠性的一种有效方式.本文就重点针对IPv6邻居发现协议进行了一致性测试分析.本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机(FSM)模型.进而结合一种现有基于有限状态机(FSM)的一致性测试序列改进算法生成了该协议的抽象测试序列.本文在最后对得到的测试序列进行了有效性和可靠性分析,分析表明,使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短,同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力.本文获得的抽象测试序列可对相关IPv6协议开发者提供有效参考.