摘要
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。
Neighbor Discovery for IPv6 is a main part of IPv6 protocols. This paper introduces the Neighbor Discov- ery protocol simply and presents a formal method of the protocol conformance testing which based on FSM and MSC. A formal Neighbor Discovery protocol test suit is specified, and the implementation of the test case based on TTCN is given out. Also we test the conformance of the Neighbor Discovery for IPv6 on Windows2000 and give out the test report.
出处
《计算机科学》
CSCD
北大核心
2005年第6期43-46,68,共5页
Computer Science
基金
国家自然科学基金(69863001)
内蒙重点领域项目(ZL9902)
