论文部分内容阅读
自1998年互联网工程任务组（IETF）提出下一代互联网标准规范以来,IPv6已经历了十多年的发展.现今已有越来越多的IPv6产品被投入到了开发与应用中.而如何提高不同产品间的互通性和可靠性则成为了一个关键问题.进行协议一致性测试是提高IPv6实现可靠性的一种有效方式.本文就重点针对IPv6邻居发现协议进行了一致性测试分析.本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机（FSM）模型.进而结合一种现有基于有限状态机（FSM）的一致性测试序列改进算法生成了该协议的抽象测