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

浅谈住院患儿的心理护理

浅谈住院患儿的心理护理王凤兰（达拉特发电厂职工医院，达旗０１４３００）儿科病房收治的患儿入院后，由于病痛的折磨和离开亲人，进入一个陌生的环境，同时又要接受各种检查、治疗，这一切都会使患儿

期刊

护理学儿科护理心理护理

外伤性硬膜下积液移行为慢性硬膜下血肿2例

外伤后硬膜下积液移行为慢性硬膜下血肿比较少见，我科自１９９７年１０月～１９９８年４月收治２例。１临床资料例１，男，４１岁，以头部摔伤２个月，头晕１个月，加重１周来诊。入院时神志清，瞳孔左４．０ｍｍ，右２．５ｍｍ，右对光反射（＋），左眼球向内、向上

期刊

慢性硬膜下血肿硬膜下积液外伤性钻孔引流术出血性形成机理硬膜下间隙双额钻孔新生血管血肿扩大

从文本中获取植物知识方法的研究

知识获取一直是人工智能中的一个关键问题.当前,知识的文本挖掘(KAT)已经成为计算机领域的一个重要的研究课题.本文中,给出了基于植物本体的从海量网页文本库中自动获取植物

期刊

植物本体植物知识基于本体的知识获取与分析知识获取文本挖掘植物自动获取人工智能领域知识网页文本实验证明获取方法Ontology of bo

论弹簧回压摇架的基本作用的实现

围绕着国内外广泛使用的，典型的细纱机用弹簧加压摇架，对摇架的两个基本作用的实现地分析，并阐述了对皮自调平行性能的粗浅认识。

期刊

弹簧加压摇架摇架牵伸装置

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

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

期刊

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

多灶性脑出血2例

多灶性脑出血２例郑艳华李凤有（包钢医院神经内科，包头０１４０１０）１临床资料病例１女，７２岁，于入院前４小时出现头痛，恶心，呕吐，言语不清，四肢力弱，意识不清，四肢力弱，意识不清，尿失禁。既往无高血压病史。查体

期刊

多灶性脑出血诊断治疗

解决DTY毛丝降等的几个办法

期刊

DTY丝毛丝纺丝工艺质量控制

A092AST振动棉箱的研制及应用分析

期刊

振动棉箱A092AST研制开清棉设备棉卷均匀度

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

与本文相关的学术论文