领导发现协议的形式化测试

Neighbor Discovery（领导发现，ND）协议是下一代互联网协议IPv6协议的一个重要组成部分，随IPv6在我国的推广应用，各种设备蜂拥而来，由于各协议实现厂家对协议的不同理解，通信设备的协议非一致性问题将日趋严重,来了检查各个不同生产厂家的实现是否与标准文本相一致，进而确保不同厂家的IPv6实现之间能够互操作，提出了一种协议一致性测试的方法，并开发了IPv6协议实现一致性测试系统，给出了该测试系统的结构，并利用自定义的一种形式化描述语言，实现了邻居发现协议一致性测试集的形式化，并通过对Solaris8上的IPv6协议实现进行测试，给出测试报告和结果分析。