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

• 作者: 叶新铭 孙美飞
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: IPv6 邻居发现协议 一致性测试 形式化描述方法
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 43-46,68
• 页数: 5页
• 分类号: TP3
• 字数: 5500字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2005.06.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	孙美飞	内蒙古大学计算机学院	1	7	1.0	1.0