【摘 要】
：
随着计算机网络规模的不断扩大,大型互联网络的迅猛发展,路由技术在网络技术中已逐渐成为关键部分,路由器也随之成为最重要的网络设备。人们已经不满足于仅在本地网络上共享
论文部分内容阅读
随着计算机网络规模的不断扩大,大型互联网络的迅猛发展,路由技术在网络技术中已逐渐成为关键部分,路由器也随之成为最重要的网络设备。人们已经不满足于仅在本地网络上共享信息,而希望最大限度的利用全球各个地区、各种类型的网络资源,用户的需求推动着路由技术的发展和路由器的普及,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证网络设备之间互联的重要手段。IS-IS路由协议是目前内部网关协议的主流协议之一,它可以同时运行在OSI和IP两种环境中,在当今的网络中有着广泛的应用。IS-IS采用分层的网络结构,稳定性好、收敛快、可扩展性强,而且在同等规模的网络下需要的资源比其它内部网关协议更少。本文在对IS-IS路由协议分析的基础上,运用形式化与非形式化相结合的方法,对IS-IS进行了协议一致性测试。对邻接关系状态机进行了E-LOTOS描述,并利用自动生成工具PATSAG自动生成了TTCN-3抽象测试例,给出了IS-IS协议的所有可执行测试例。最后在Linux下对路由软件Quagga-0.99.7中实现的IS-IS协议进行了一致性测试,并对测试结果进行了分析。
其他文献
随着Internet及其应用的迅速发展,网络规模日益增大,网络应用日益复杂,由于互联网是一个高度复杂的非线性系统,为了实现可靠的数据传输及合理的网络资源分配,就需要深刻了解
近年来,我国卫星遥感技术正高速发展,遥感数据量爆炸式增长,遥感数据处理任务更加紧迫。面对如此大的遥感数据处理任务,高性能集群计算已经取得了非常不错的效果,极大地提高了数据处理效率。在遥感数据集群处理系统中,任务调度是其非常重要的组成部分,也是其性能提升的关键。而已有的调度算法都或多或少存在节点负载不均、计算资源利用率低、任务吞吐量小、任务平均调度时间较长等问题。为解决上述问题,本文在分析已有调度算
三维扫描设备可以快速获取被测物体的表面形状信息，其测量得到的海量三维点坐标数据称为点云。在三维物体数字化过程中，由于受测量设备测量范围的限制以及被测物体外形的复杂性
随着社会经济的迅猛发展、城市人口的日益集中和社会活动强度的增大,突发性环境污染事故逐渐增多,而环保部门反应时间短、应对措施要求高,需要迅速做出正确决策,采取切实有效
通信规约对变电站综合自动化系统安全且可靠地运行起着极其重要的作用,但由于规约种类繁多,致使众多厂商的产品不能很好的兼容,给通信的双方造成极大困难。为改变这种局势,IEC逐步提出了一系列通信规约技术标准。但由于这些标准的制定周期较长,各方面对该系列标准的理解与应用情况也存在较大差异,导致国内变电站综合自动化系统中不同厂家或同一厂家在不同时期内对同一种通信规约的实现有所不同,从而使变电站综合自动化系统
随着Internet技术的发展,各类基于B/S架构的企业级应用系统在优化企业管理,加速企业信息流动等应用上扮演着重要角色。评价一个企业未来的发展潜力很大程度上取决于企业的信
无线传感器网络是一种新型的信息获取和信息处理技术,在日常生活中应用广泛。无线传感器网络的应用很多都需要节点的位置信息,因此解决无线传感器网络的节点定位问题至关重要
伴随着全球经济的一体化,社会化分工逐步细分,跨区域协作趋势日益明显,服务不再是由单一的人或企业所提供的简单活动,而是由多参与方协同各个服务环节所构成的复杂产业链。因
精确的室内定位信息,对可用空间和库存物资实现高效的管理;能导航警察,消防人员,士兵,医务工作人员完成特定的室内任务;同时智能空间、普适计算、服务发现都离不开位置服务,
互联网的飞速发展导致数字化信息呈爆炸式增长。搜索引擎作为帮助人们在海量信息中寻觅所需信息的工具,其重要性与日俱增。然而,由于网页噪音和重复网页的存在,搜索引擎的检