【摘 要】
：
协议一致性测试是验证计算机网络协议实现与其标准之间的一致性、保证计算机网络各部分正确互连和互操作的关键技术.路由协议用于选择计算机网络信息传递时的路径,其实现质量
论文部分内容阅读
协议一致性测试是验证计算机网络协议实现与其标准之间的一致性、保证计算机网络各部分正确互连和互操作的关键技术.路由协议用于选择计算机网络信息传递时的路径,其实现质量直接影响到网络的稳定运行,在计算机网络中具有十分重要的地位,因此路由协议的一致性测试研究引起人们的广泛关注.由于路由协议的分布式特点,其协议结构比传统对等协议更加复杂,目前用于传统协议的一致性测试理论还不能很好地应用到路由协议的测试中.在测试研究中使用形式化方法可使研究工作具有坚实的理论基础,更加准确、高效和地规范.因此基于形式化方法的分布式路由协议一致性测试研究具有重要的理论意义和使用价值.该文围绕分布式系统的模型和形式化的分布式系统一致性测试理论框架、路由协议的形式描述与测试集自动生成理论、Internet路由协议OSPFv2的一致性测试等方面开展研究.
其他文献
该文描述了一种当前比较新型的数据库管理系统-面向对象的数据库管理系统(OODBMS)的基本概念及其实现过程.该系统地实现主要是应用于教学实践,参照POSTGRES 95面向对象的数
随着航天技术的飞速发展,星载有效载荷数量不断增加,更多空间图像的采集也成为日益增长的需求,因此下传数据量变得异常巨大。大数据量的图像信息会给星上存储器的存储容量,通
信号检测技术、模糊诊断技术、面向对象专家系统技术和数据库技术在工业控制中的应用越来越广泛,综合运动这些技术开发一个数控机床辅助调试系统,能极大地提高数控机床的调试
基于组件的软件工程(Component-based software engineering,简称CBSE)或基于组件的开发(Component-Based Development,简称CBD)是一种软件开发模型。也是现今软件复用理论实
客户/服务器方式近年来在数据库管理系统方面已得到了广泛的应用.该文深入研究了客户/服务器技术,并对其两层和三层结构在各方面进行了比较,同时又对客户/服务器系统中起着重
该课题对基于Web的CAI软件的开发工具和开发方法进行了一定的研究,并实现了一个示例性的CAI软件系统--《操作系统教程》.该课题所实现的教程可分为教学和考试两个部分.教学部
该文通过对IPSec安全体系及相关安全机制的深入研究,发现并指出了IPSec标准存在的若干安全缺陷.重点讨论了IPSec的两个主要安全协议之一"封装安全有效负载(ESP)的安全缺陷:缺
论文主要根据信息系统总体数据规划的理论和方法以四川石油管理局物资总公司物资管理系统的总体规划设计为案例进行了研究.
通过对国内外报表生成器的调查研究和综合分析,目前报表生成器在应有和方面普遍存在以下的问题:(1)、缺乏用户干预的能力,一旦报表建立以后,用户想修改报表必须由程序员修改
知识获取是人工智能领域最为核心的内容之一，对知识不确定性的研究和探索贯穿于人工智能近半个世纪发展历程的始终，特别是最近20年间，知识获取受到了广泛的研究，各种不同的知识获