【摘 要】
：
自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展.现今已有越来越多的IPv6产品被投入到了开发与应用中.而如何提高不同产品间的互通
【机 构】
：
南京邮电大学通信与信息工程学院,江苏南京 210003
【出 处】
：
第十六届全国信号处理学术年会及产业发展大会
论文部分内容阅读
自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展.现今已有越来越多的IPv6产品被投入到了开发与应用中.而如何提高不同产品间的互通性和可靠性则成为了一个关键问题.进行协议一致性测试是提高IPv6实现可靠性的一种有效方式.本文就重点针对IPv6邻居发现协议进行了一致性测试分析.本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机(FSM)模型.进而结合一种现有基于有限状态机(FSM)的一致性测试序列改进算法生成了该协议的抽象测试序列.本文在最后对得到的测试序列进行了有效性和可靠性分析,分析表明,使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短,同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力.本文获得的抽象测试序列可对相关IPv6协议开发者提供有效参考.
其他文献
地处祖国大西北的新疆,最近几年人们开始养花植草,而盆景制作还很少。大西北的盆景就像是盆中的幼苗,需要向各地盆景艺术家学习。新疆盆景作品不应过多追求江南盆景“青山绿
黄淮流域栽培荷兰菜豆角大都以春播为主，由于后期温度高造成上市晚、品质差、产量低，因而效益不太稳定。山东省菏泽地区高新农业科研所，从１９９３年起，就开始摸索荷兰菜豆角在黄淮流域的
我们对生活在广州地区的30例青年人和22例60岁以上的老年人进行需氧菌及厌氧菌培养计数和直接涂片检查,报告如下。自幼生活在广州地区,目前为集体生活的18—25岁青年学生30
1997年9月,荣获第二届“中国希望工程园丁奖”2000年8月,被湖北省教育厅、省人事厅授予“尊师重教联合会优秀教师”2001年5月,被湖北省委组织部、团省委等部门授予“湖北青
本文模拟人类对图案的认知识别机理,提出了一种基于阅读认知模式的特征提取方法,提取基于视觉信息的图案特征,并提出了一种基于基元拓扑关系建模的通用图案识别方法.利用滑动
榆树为我省特产。榆树钱民间喜欢食用已有悠久历史,但其营养成分迄今未见报道。为探讨其氨基酸含量,我们用日立835-50型氨基酸分析仪测定了其氨基酸的组成,并与大米、
Elm
2007年5月12日,河北省唐山市唐海县南堡镇北堡村附近,带着腥味的海风从一座人工岛的上空悄然掠过。从天空俯瞰这座浅海和滩涂包围着的人工岛,可以发现它的面积还在不断扩大。
作为压缩感知理论的前提,稀疏表示要求信号本身是稀疏的或者在某种正交基下可以稀疏表示.本文针对信号本身及小波变换后均不够稀疏的情况,提出一种基于模极大值点的信号稀疏
精致外观内在品质微星MS-5535小巧精致,外壳采用抛光塑料,基色为乳白色,边框则采用艳丽的红色作为点缀。MS-5535边角处理得很好,相比一般的MP3随身听而言,这是非常突出的优点
重大突发事件能引发社会连锁响应和严重后果,并可能危及社会稳定.因此当突发事件发生后,能及时生成预案、开展行动,将能最大程度上减少损失.本文将基于案例推理的案例表示与