【摘 要】
：
目前路由协议一致性测试仍处于探索之中,该文在ISO制定的一致性测试规范基础上以BGP4路由协议作为研究对象,紧密围绕路由协议一致性测试研究与实现这个主题,对协议测试发展、
论文部分内容阅读
目前路由协议一致性测试仍处于探索之中,该文在ISO制定的一致性测试规范基础上以BGP4路由协议作为研究对象,紧密围绕路由协议一致性测试研究与实现这个主题,对协议测试发展、路由协议自身特性、协议一致性测试理论、形式化描述、测试序列生成、测试系统实现各方面进行了阐述.在ISO 9646中,协议一致性测试由形式描述、测试生成、测试实现和测试执行四个阶段组成.这四个阶段都有对应的各种实现方法,我们根据BGP4路由协议的特点对这些方法进行了取舍和改进.该论文的研究在于跟踪国内外关于协议测试的最新技术,在传统协议测试理论的基础上提出了适合于路由协议测试的框架体系和方法,对提高实际产品的可靠性、保证实际产品的可靠运行具有一定的价值,其结果不仅能够用于BGP4的一致性测试,也可以应用于其他路由协议.
其他文献
该文针对基于系统行为的异常检测技术提出了一个基于代理的自适应门限入侵检测系统设计方案,它对Windows 2000(NT)环境下的安全审计日志进行监控,通过比较用户的当前事件门限
随着信息技术的飞速发展，人们的工作和生活对互联网依存性越来越高，各类涉及个人信息与公共安全的重要数据在网络上存储与转发，网络安全技术的研究是当前重要的研究方向。网络异
该文提出了一种视频目标自动提取算法.该算法利用了多帧信息和多种特征,克服了运动估计、运动分割和彩色分割各自的缺点,能够在静止背景的视频序列中自动地提取出运动目标,具
TD-SCDMA是中国第一次自主提出的全球移动通信系统标准,它采用了包括同步码分多址技术、智能天线和联合检测技术等多种国际上先进的移动通信技术.其基站基带硬件包含了高性能
目的 本研究通过心肌缺血前后嘌呤2X（P2X）受体激动剂三磷酸腺苷（ATP）在颈上神经节（superior cervical ganglion，SCG）神经元激活电流的变化、P2X3受体特异性拮抗剂A-317491对P2X受体
第三代移动通信的一个基本要求就是要支持包含数据和语音的综合业务,因此作为第三代移动通信的几个主要标准之一的TD-SCDMA,必须能够提供一种有效的动态信道分配(DCA)方式,从
该文根据协议工程的理论基础结合对IRDA协议的理解,在Telelogic TAU软件环境中实现对协议模块的仿真和验证.协议仿真主要运用协议形式化描述语言SDL来描述协议状态机的实现,
本文就后续的、上升为部级项目《基于W-DMDU高速公路视频监控系统》的研制，提出设计方案，以及相关技术问题的研究。 在分析了监控图像对象的需求、现有网络格局的基础上，提出