【摘 要】
：
本文结合OSPFv3测试过程，讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构以及形式化方法和对OSPF的形式化描述。介绍了一种OSPFv3协
论文部分内容阅读
本文结合OSPFv3测试过程，讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构以及形式化方法和对OSPF的形式化描述。介绍了一种OSPFv3协议一致性测试系统的设计方法。论文的主要工作包括：1)介绍了协议测试的相关理论。2)根据形式化的协议理论，结合OSPFv3协议测试的需求，对OSPFv3协议作了形式化描述。并讨论了OSPF协议测试序列的生成。3)分析归纳了路由协议的特点，并针对其特点讨论了路由协议测试中的测试方法。4)介绍了基于Tcl的协议测试环境的设计方法。5)针对路由协议及OSPF的特点，提出了一种带有控制通道的多个虚拟测试器的测试系统设计。6)设计并实现了该系统，并应用于实际的协议测试。
其他文献
本文为解决智能农业诊断系统重复开发的问题,研究开发了智能农业诊断平台。为能够高效率地开发该珍断平台,并保证该平台具有良好的扩展性能,本文从UML建模方法、面向对象设计
目前在互联网上有许多多媒体实时交流软件(IM),大部分实现了文本、语音、视频的实时交流,但是这些交流工具却普遍存在以下两个问题:首先,各IM各成体系,之间没有统一的呼叫过
多核处理器架构技术在现代嵌入式系统的设计与实现当中的应用越来越广泛,以满足各种应用日益增长的高性能和低功耗的需求。多处理器平台强大的计算能力为将多个不同关键性级
煤气柜在能源工业和钢铁工业中应用很广,保证煤气柜的安全运行对安全生产具有重要意义,但目前尚未见到完善的气柜安全运行系统。为了解决这个问题,本文从监控系统用户需求与
本文全面深入的分析和总结了SMT处理器上的分支处理问题，指出了目前该方面研究的现状和需要解决的问题。 在实验分析的基础上，提出了可重构Gshare预测器的设计，
科学合理的软件体系结构是开发一个成功应用系统的必要条件,对于提高系统的开发效率和质量具有非常重要的意义:另一方面,面向Agent技术的提出为复杂分布式问题的求解找到了办
入侵检测是继防火墙、数据加密等传统安全保护措施后的又一种新的安全保障技术,其作用在于对计算机和网络上的恶意使用行为进行识别和响应。作为安全系统的重要组成部件和其
本文在对网络边界安全技术——防火墙技术进行深入调研的基础上，将主动防御的思想引入到防火墙的设计中，讨论了三种主动防御型防火墙系统模型：与被动型安全工具的协同模型、
本文以需求管理过程及其改进为研究重点，以某大型外企参与需求管理工作的实践为基础，对需求管理过程进行了理论和实践探讨。文章分析总结了需求本身固有的特性——层次性、难于
网络计算机(NC,Network Computer)作为网络计算的主要表现形式,其相关技术及产品成为技术界和产业界的热点,它的应用与普及,对推动网络及网络计算的发展作用重大。我国发展网