【摘 要】
：
该文首先介绍了OSPF协议的背景和主要功能,重点总结了OSPFv3协议不同于OSPFv2协议的方面以及IPv6协议对OSPFv3协议的封装.接着,该文介绍了协议测试的分类,协议一致性测试的概
论文部分内容阅读
该文首先介绍了OSPF协议的背景和主要功能,重点总结了OSPFv3协议不同于OSPFv2协议的方面以及IPv6协议对OSPFv3协议的封装.接着,该文介绍了协议测试的分类,协议一致性测试的概念以及测试过程要经历的四个阶段.在介绍有关形式描述技术概念的同时,简单地说明了几种形式描述技术,并对它们的特点进行了比较.在介绍SDL语言时,对它的发展背景、适用范围、语言特点、相应的软件工具等都做了详细的介绍.对SDL语言的语法规则和结构,也通过文字与图形相结合的方法给出了说明.另外,还简要介绍了另一种从SDL发展而来的建模语言MSC.该文中将用到这两种建模语言为OSPF协议建立模型.然后,该文提出了一种为协议建模的方法.从协议的自然语言描述出发,得到协议的有限状态机描述;再将协议的有限状态机描述通过该文提出的算法转换成协议的SDL模型.在提出了从有限状态机到SDL模型的转换算法后,给出了描述协议进程处理的SDL模型和描述协议数据处理的MSC模型.最后,该文提出了生成协议的一致性测试套的两种方法.一种是基于非形式化的方法,从协议的自然语言描述出发,由测试者定义测试目的,手工生成测试套;另一种是基于形式化的方法,从协议的SDL模型和MSC模型出发,用该文提出的算法自动生成一致性测试套.并且对两种生成方法进行了优缺点比较.
其他文献
集群系统是一个并行处理系统,具有性价比高和可扩展的特点.集群己成为高性能计算和超级服务器的基本构建方法,它被运用在各个领域.但还有许多具有挑战性问题有待解决.其中,针
我们接受了TTCN-3的编译器开发任务后,由于这种语言最终版本没有确定,发布的每个草案版本的语法规则都有改动,所以我们决定开发一个可扩展的编译器.它分为:1.词法分析自动生
GIS、CAD等空间应用对数据库系统存储、检索、查询和分析空间数据提出了很高的要求,DM-SDB在国产数据库管理系统DM3的基础上对空司数据模型、空间查询处理和优化、空间索引结
教学实验设备属于非标准设备,在Windows2000中必须通过编写设备驱动程序来访问.Windows2000支持WDM设备驱动模型,通过PnP管理器发出PnP命令引起设备状态改变以支持即插即用.
该文对信息隐藏的基本特征和基本模型进行了简单的介绍,总结了数字水印的几种主要算法,并比较它们各自的特点.选择具体水印算法应该结合水印体制的具体应用领域.一个好的水印
该文从铁路货运信息的综合应用出发,论述了为什么要进行货运数据整合,怎样进行数据整合.随着铁路运输管理信息系统TMIS建设的不断深入,数据的利用与传输就显得十分重要,呼和
目前,对入侵检测的研究正受到网络安全领域越来越多的重视.其中,研究改进入侵检测系统的检测引擎,对提高入侵检测系统的检测速度及其对未知入侵方式的检测能力具有重要意义.
在对新型产品的开发与研制中，常在立项研究和概念设计阶段就需要进行干涉检查、物性计算、机构分析、运动学和动力学分析、真实感显示等试验与测试。上述分析、试验、测试等过
为了解决武汉精伦电子股份有限公司公用多业务终端增值业务服务平台的安全问题,分析了证书服务系统的功能需求和性能需求,详细阐述了证书服务系统的体系结构及组成部分,分析