随着Internet的商业化,各种网络产品和网络应用相继出现,加速了IPv4地址的消耗,IPv6在这种情况下应运而生。IPv6在全球越来越受到重视,相应的网络产品和应用也大批涌现,从而使得协议实现是否与协议标准相一致成为一个亟待解决的问题。因此,开展IPv6协议一致性测试研究具有重要的理论意义和应用价值。在IPv6协议族中,邻居发现协议是一个基本协议,是一个必不可少的协议,它奠定了整个IPv6网络通信的基础。IPv6网络中的各个节点通过邻居发现协议来发现同一链路上的邻居的链路层地址和默认路由器,并可以及时了解邻居的可达性信息等。邻居发现协议的实现是否与协议标准相一致将直接影响到整个IPv6网络的通信质量,是IPv4网络向IPv6顺利过渡的有效保证。本论文围绕协议一致性测试这个主题,对协议一致性测试理论进行了研究,对当前通信领域内已有的测试生成方法进行了深入的分析和比较,对比总结了这些测试生成方法的特点与不足之处。通过对邻居发现协议详细深入的分析,为其建立MSC模型,确定了邻居发现协议的测试内容,提出了适合于邻居发现协议的测试生成方法UIO*-方法,并用生成的测试例对FreeBSD、Linux和Solaris三种操作系统和一种国产商业路由器进行了实际测试,对测试结果进行了统计和分析,分别发现了不同协议实现中的一些与协议标准不一致的地方。通过测试实践活动,也进一步验证了本论文提出的测试生成方法和测试例的有效性。