ipv6邻居发现协议的一致性测试

neighbordiscovery(邻居发现，nd)协议是下一代互联网协议ipv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议，提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法，实现了邻居发现协议一致性测试集的形式化，给出了用测试例描述语言ttcn描述的测试例的实现，并对windows2000下的ipv6邻居发现协议进行了一致性测试，给出了测试报告。