邻居发现协议的形式化测试

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:sky_bj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 . Neighbor Discovery (ND) is an important part of the IPv6 protocol of the next generation Internet Protocol (IPv6). With the popularization and application of IPv6 in our country, various devices are flocking to each other. Since each protocol implements different manufacturers’ understanding of the protocol, In order to check whether the implementations of different manufacturers are consistent with the standard texts and then ensure interoperability between IPv6 implementations of different manufacturers, a protocol consistency test method is proposed, And develops the IPv6 protocol implementation conformance test system.The structure of the test system is given and a formalized description language is used to formalize the conformance test set of the neighbor discovery protocol IPv6 protocol to achieve the test, test reports and results are given.
其他文献
临床发现乙型病毒性肝炎(乙肝)常并发痤疮样皮疹(AE),其它肝炎患者较少见.为探讨肝炎病毒与AE之间的关系,我们对1993年在本院传染科住院的肝炎患者进行了观察.现将观察结果予以报告并作初步分析.
批判性是植根于马克思哲学中的一种深刻的反思模式,是贯穿马克思理论发展始终的思想精髓。在马克思批判理论的多种形式中,实践批判是对人的实践活动的批判,是其批判理论的核
本文报道作者采用以捕捉法ELISA试验原理检测特异性登革IgM、IgG抗体的固相免疫测定新技术,登革IgM斑点法(Dengue virus IgM Blot)及登革IgG斑点法(Dengue virus IgG Blot),
阅读是了解人生和获取知识的重要手段和最好途径。儿童的生活里若没有阅读,就如同鸟儿失去翅膀,小草没了阳光。早期阅读对儿童的生活、学习范围、书面语言的萌发乃至全面发展
本节课的教学设计以图文视频材料为情境,以问题链、组为思维线索,以案例分析探究的方法,准确地诠释了课程标准的要求。其优点主要表现在五个方面。一、根据课标和学情,准确定
近来,国有企业对于混合所有制改革成为热点话题,大都希望通过混合所有制彻底改变国有企业的经营状况,借助混合所有制突破国有企业在人力资源管理方面的障碍,打破国有分配的制
调查乙型肝炎病毒表面抗原的感染情况,以探讨乙型病毒性肝炎的传播途径.应用乙型肝炎表面抗原酶标试剂盒(单克隆抗体)和单克隆抗体酶联免疫吸附试验方法检测乙型肝炎病毒表面抗
近几年来,我国地震频繁发生,四川汶川大地震、青海玉树大地震、四川雅安大地震、云南鲁甸大地震都给灾区人民带来了巨大的损失。应急避难场所作为应对突发重大灾害事件的临时
目的:探讨日本血吸虫感染中循环抗原动态变化及其机制。方法:感染日本血吸虫的BALB/c小鼠淋巴结B细胞和小鼠骨髓瘤细胞(SP2/0株)融合,制备抗血吸虫循环抗原不同表位的单克隆抗体组合后为探针,检