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

The Conformance Testing of Neighbor Discovery for IPv6

作　　者：叶新铭[1] 孙美飞[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021

出　　处：《计算机科学》2005年第6期43-46,68,共5页Computer Science

基　　金：国家自然科学基金(69863001);内蒙重点领域项目(ZL9902)

摘　　要：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.

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

分 类 号：TP316.7[自动化与计算机技术—计算机软件与理论] TN915.63[自动化与计算机技术—计算机科学与技术]