基于XML的OSPFv3一致性测试研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:chenanji
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究,分析了OSPFv2和OSPFv3的不同,给出了用XML来描述OSPFv3测试套的测试模板,并对OSPFv3协议在Linux下的实现进行了一致性测试,列举了部分测试结果,对测试结果进行了分析,发现了被测实现存在与协议说明不一致的地方。
其他文献
图像去噪问题的研究一直是图像处理的热点问题。首先对噪声图像经小波分解后噪声小波系数在细尺度子带间的分布特点进行了研究,提出了一种结合尺度内和尺度间系数相关性的噪声统计模型——细尺度间噪声系数分布的"类零树结构",以及基于分块的Bayes阈值确定方法。在此基础上将二者相结合,提出了一种新的图像去噪方法。该方法首先通过Bayes阈值去噪法去除高层子带中的噪声,同时利用基于块阈值方法定位次外层子带中的噪
针对下一代互联网(Next Generation Internet,NGI)难以精确测量和用户服务质量(Quality of Service,QoS)需求难以完全表达的特点,设计了一种基于食物链算法(Food Chain Algorithm,
在本文中针对频率选择性衰落信道提出了一种采用低密度校验(LDPC)码的多天线(MIMO)正交频分多址(OFDMA)系统。在这一多用户/多速率系统中,首先通过OFDMA消除用户之间的干扰,从而将多用
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能
为了减小分数像素运动估计的计算量,提出了一种适用于AVS_M的分数像素快速搜索算法。该算法采用更多的预测矢量提高分数预测矢量的准确性;在分数预测矢量不够准确时,利用自适
无线传感器网络是一个资源受限、应用相关的任务性网络,与现有网络特性显著不同,传统的网络管理不再适用于无线传感器网络。本文在简要说明无线传感器网络基本特性和面临挑战
目的:探讨腹腔镜输卵管妊娠保守性手术的临床效果。方法:借助腹腔镜技术在微创下清除妊娠物。结果:80例患者术后均保留输卵管成功,6h均能下床活动、自解小便,术后2~4d出院。结论:对
Web服务为互联网提供了一种新的应用环境。然而,Web服务还有许多需要进一步研究的问题。Web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言(UCDL)提出一
翼状胬肉是眼科常见病及多发病之一。手术治疗是主要方法,单纯胬肉切除术后复发率高达30%~50%^[1],多次切除后复发率更高,可达50%~80%^[2]。由于多次手术,不仅使胬肉生长速度快,而且产生
可变精度粗糙集理论是经典粗糙集理论的一种扩展理论。它通过引入噪音阈值β,增强了对噪音数据的适应性。然而噪音阂值口多是人为设定,这要求有一定先验知识。提出一种方法,完成