由于计算机的迅猛发展,目前基于IPV4网络已经暴露出越来越多的不足之处,如:IP地址的匮乏、路有选择效率低、缺乏安全保障等等,已无法满足用户的各种要求,为此IPV6应运而生。IPV6所具有的众多优点使得IPV6成为下一代互联网络的核心,国际上无论是在标准化、产品研发方面,还是在网络部署及其应用方面,IPV6的使用都得到很大的推广。随着IPv6在我国的推广应用,各种设备蜂拥而来,由于各协议实现厂家对协议的不同理解,通信设备的协议一致性问题将日趋严重,因此,对IPV6协议族的实现进行一致性测试变得越来越重要。邻居发现协议是下一代互联网协议IPV6协议族中的一个重要的组成部分。对各种支持IPV6协议族的设备进行测试,必然要对其中的邻居发现协议进行测试。 本文针对邻居发现协议的一致性测试问题,探讨了使用形式化模型CEFSM得到邻居发现协议测试套的方法,设计并实现了一个协议一致性测试系统,使用该系统执行由CEFSM得到的测试套,从而实现对邻居发现协议进行一致性测试。 本文主要工作分为以下三部分:1)在分析了各种测试例描述语言后,由于XML具有跨平台、简单等特点,测试系统采用XML描述和保存测试套;2)协议一致性测试系统TestIpv6是在Windows下采用VC编写完成的,实现了测试例的编辑功能和测试例的执行功能,成功实现了系统的执行部分与协议无关;3)用CEFSM描述邻居发现协议,采用部分合并CEFSM得到测试例的方法,避免了常见的状态爆炸问题。