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

关键词: 邻居发现 Windows2000 Discovery 下一代互联网协议 协议一致性测试 IPv6协议 形式化方法 有限状态机 组成部分 TTCN 描述语言 测试报告 测试例 序列图 测试集