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

摘要：

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

关键词：IPv6、邻居发现协议、一致性测试、形式化描述方法

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金69863001;内蒙古资助项目ZL9902

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：43-46,68