%0 Journal Article
%T ipv6邻居发现协议的一致性测试
%A 叶新铭 孙美飞？
%J 计算机科学
%D 2005
%X neighbordiscovery(邻居发现，nd)协议是下一代互联网协议ipv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议，提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法，实现了邻居发现协议一致性测试集的形式化，给出了用测试例描述语言ttcn描述的测试例的实现，并对windows2000下的ipv6邻居发现协议进行了一致性测试，给出了测试报告。
%K 邻居发现windows2000discovery下一代互联网协议协议一致性测试ipv6协议形式化方法有限状态机组成部分ttcn描述语言测试报告测试例序列图测试集
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=16191168&flag=1