【摘 要】
：
该文先介绍了MPLS及LDP协议.MPLS是下一代网络的关键技术.MPLS的标记及其绑定关系分配是由标记分发协议LDP完成的,高效、可靠的标记分发协议LDP是实现标记交换的基础.所以针
论文部分内容阅读
该文先介绍了MPLS及LDP协议.MPLS是下一代网络的关键技术.MPLS的标记及其绑定关系分配是由标记分发协议LDP完成的,高效、可靠的标记分发协议LDP是实现标记交换的基础.所以针对标记分发协议的一致性测试尤为重要.该文主要研究基于ASN.1的LDP协议的一致性测试问题.首先利用形式描述技术,用扩展的有限状态机建立LDP协议的模型,在此基础上生成基于ASN.1的抽象测试例.抽象测试例描述是用TTCN语言结合ASN.1完成的.TTCN是ISO一致性测试框架的一部分,可以用于协议的一致性测试.ASN.1是ITU-T推荐的一个网络协议描述语言标准,广泛用于协议的说明.将ASN.1引入到TTCN中来描述测试例的定义和约束部分.它的数据描述比TTCN的更完善.从生成的抽象测试例出发,给出了基于ASN.1的LDP测试例执行器的实现,重点是处理其中ASN.1的数据,最后是测试执行.
其他文献
目前因特网上的实时流媒体(视频、音频)应用一直呈快速增长趋势。从端到端的角度考虑，这些应用中的通讯延时、传输带宽和数据丢失等性能指标需要良好的QoS支持。由于现有流媒
首先,该文从OLAP数据仓库的概念入手,详细阐述了OLAP及其组成(多维数据结构、数据立方体)的概念和特征,并介绍了OLAP数据仓库的系统结构和理论设计实现方法.其次,该文研究了O
基于万维网的远程教育是当前Internet应用的热点，教学资源的组织和发布是其中的一项关键技术。本文对基于B／S模式的课件实现所涉及的基本技术作了一些研究，重点探讨了如何利用这
该文在充分研究已有的教学设计理论成果的基础上,提出一个网络环境下的智能化远程教学模型.它根据学生的学习状态和学习特点,通过智能系统的搜索与推理,动态生成适合于学生个
近年来,文语转换系统产生了巨大的商业和学术影响.文字到语音的转换是一个复杂的过程,它的主要功能是能将计算机中任意出现的文字,转换成自然流畅的语音输出.它使得计算机不
随着因特网和其它在线信息资源的迅猛发展,各种形态的数字化信息的数量和规模以极快的速度增长,其中80﹪以上的信息以文本的形式存在.面对如此大量的文本信息,人们迫切要求能够
遗传算法已经被证明是一种非常有效的设计模糊规则和隶属函数的方法.在该文中,我们分析几种不同的将遗传算法和模糊系统相结合的模型,并给出他们的相关优缺点的总结.这些工作
数据丰富而知识贫乏的状况导致了数据挖掘的出现，并且在短短的几年内，引起了许多领域的人们的极大兴趣。分类作为数据挖掘的一个重要主题，在统计学、机器学习、神经网络和专家系
该文通过对前人提出的移动代理安全技术进行分析,对Naplet移动代理系统的安全性进行改进,提出了一个安全的移动代理系统s- Naplet.s- Naplet的安全机制分成三个方面,依次是移
在现在这个数字化、信息化的社会里,随着多媒体技术、互联网技术的迅猛发展、存储设备容量的剧增和存储代价的减少,各种数字化产品如数码照相机、数码摄像机等的出现和广泛普