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

来源 :计算机科学 | 被引量 : 0次 | 上传用户：qq11xqxq

【摘要】

：

Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分.本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一

【作者】

：

叶新铭孙美飞

【机构】

：

内蒙古大学计算机学院

【出处】

：

计算机科学

【发表日期】

：

2005年6期

【关键词】

：

邻居发现 Windows2000 Discovery 下一代互联网协议协议一致性测试 IPv6协议形式化方法有限状态机组成部分 TTCN 描述语言测试

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

用近邻算法预测通信量时间序列

为了对通信系统进行有效的调控,需要对通信量进行预测,而通信量具有在不同日期遵循不同规律的特点.本文采用基于实例的近邻算法进行时间序列预测,并在考虑动态长度序列、序列

期刊

通信量时间序列预测智能管理系统通信系统基于实例特征提取预测算法度序列电话网广东省话务量求解路由Time seriesPredict

回归测试自动化工具研究

回归测试是软件测试生命周期中非常重要但十分费时费力的阶段,我们通过研究事件捕获/回放技术,实现回归测试自动化;通过优化测试用例,降低测试费用.本文介绍了基于事件源识别

期刊

回归测试软件测试自动化工具回放同步Regress testEvent capture/playbackPlayback synchronizat

调度算法在节点延时PMF正态化条件下的延时分析

若假设网络带宽足够大,可以将网络传输的QoS保证表示为以网络延时保证为前提,以丢包率为判决条件.本文分析网络现有调度算法对网络业务延时的影响,选择节点状态延时的概率函

期刊

节点延时调度算法概率密度函数PMF网络节点网络带宽Node-delay Scheduling algorithmProbability Mass

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

其他学术论文