邻居发现协议的形式化测试

摘要：

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

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

所属期刊栏目：38

分类号：TP393.06(计算技术、计算机技术)

资助基金：Nokia中国研发中心基金

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

页数：共9页

页码：1409-1417