移动IPv6原理和安全性的研究

IPv6是新一代的 IP协议 ,它对现有协议 IPv4进行改进 ,针对数据包的路由、安全性的改进提出一些新的方案 ,使得移动通信网络接入 ,数据包的路由实现起来更方便。文章介绍了移动 IPv6的协议原理 ,讨论了移动 IPv6的实现策略、机制及特点 ,对 IPv6安全做了分析 ,并对 IPsec安全机制进行了进一步探讨。     

基于PC的IPv6网络平台及其测试的探讨

介绍了如何用普通的 PC机组建一个与路由无关的 IPv6网络 ,并在其上实践 IPv6协议 .说明了如何组建测试 IPv6协议所需的测试环境 ,并探讨协议的测试过程 .     

802.11网络中移动IPv6快速切换的设计与实现

移动IPv6虽然解决了网络层的移动性问题,但是其切换性能并不乐观。为了适应实时应用的需求,IETF提出了移动IPv6快速切换协议以减少移动IPv6的切换时延。通过研究802.11的切换过程和移动IPv6快速切换协议,本文设计并实现了一种在802.11网络中移动IPv6快速切换方案。     

淘汰策略对移动IPv6协议的改进

由于传统移动IPv6协议要求家乡地址和家乡代理永远固定不变,当移动节点长期远离家乡网络时,其他主机与移动节点之间的通信需要转交地址的绑定更新信息,这会在网络中产生大量的注册报文,降低网络性能.针对传统移动IPv6协议这一缺点,提出了新的移动IPv6协议,新协议采用区域累计使用时间来确定家乡地址、家乡代理,在技术上使用动...     

基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC(Parallel Test Component)情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3（Testing and Test Control Notation version 3）这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC（Parallel Test Compo-nent）情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

嵌入式移动IPv6协议栈的设计

下一代网络协议标准是IPv6,为了实现嵌入式设备在IPv6网络中的移动性和不间断通信,设计一种精简的移动IPv6协议栈具有重要意义. 根据国际标准化组织IETF制定的移动IPv6协议的标准RFC 3775,结合嵌入式设备自身的特点,采用模块化思想和精简功能的方法对协议栈进行了设计. 协议栈的整体设计方案符合移动IPv6规范,满足嵌入式设备的性能要求.     

层次移动IPv6域内切换与实现

针对移动主机在外地网络中频繁的域内切换的性能问题,提出了移动IPv6的层次型管理的切换模型并给予实现.层次移动IPv6采用移动锚点,可以减少移动主机同本地域以外节点的信令交互,并对层次移动IPv6域内切换的原理进行了研究;组建了层次移动IPv6实验床和物理网络拓扑结构与之相似的移动IPv6实验床,对比移动IPv6的切换机制对层次移动IPv6的域内切换机制进行测试、分析,结果表明层次移动IPv6能够显著提高域内切换的性能.     

基于B方法的被动测试形式化研究

协议测试对于保证协议实现的正确性起着至关重要的作用,被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性,它不仅能将协议测试贯穿于协议实现的整个生命周期,而且可用于网络管理。文章使用B方法对被动测试进行了形式化建模,使用该模型可检测出网络协议实现错误。     

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD-SCDMA技术的第三代移动通信系统的发展战略,提出TD-SCDMA移动终端 协议一致性测试技术的研究,着重介绍了一致性测试的原理,TD-SCDMA移动终端协议一致性测试的方 法.测试系统的设计和实现,抽象测试集的生成8通过对该项技术的研究,可为TD-SCDMA移动终端设备 提供标准的,实用的协议一致性测试方法和工具,以解决接入网络时产生的协议非一致性问题.     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

一种下一代路由协议测试框架及其实现

给出了路由协议测试的测试目的、测试方法及测试集的表示方法 ,针对下一代路由协议测试可能在测试系统中产生的信息流的瓶颈问题 ,分析了问题的产生 ,提出了一种路由协议测试框架 ,并给出了它的实现策略     

用路由软件组建BGP4+协议一致性测试平台

IPV 6协议是下一代互联网协议.BGP 4 协议是支持IPV 6的多协议扩展的外部网关路由选择协议.简要介绍了BGP 4 协议和路由软件Zebra.对BGP 4 协议一致性测试平台的结构进行讨论,给出了一个用路由软件Zebra组建支持IPV 6的BGP 4 协议一致性测试平台的例子.     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于TTCN-3语言的保护装置通信自动化测试研究

IEC60870-5-103通信规约广泛应用在保护装置中,为了将自动化测试方法应用在该通信规约的开发测试过程中,使用通信自动化测试平台TTworkbench组建一套自动化测试系统,分析该系统的组成和结构,并开发出测试用例,在实际系统中运行并验证其执行结果的正确性.     

Research on Stress Testing of OSPF Protocol Implementation

The stability and robustness of routing protocol implementations (RPI) in a router are becoming more and more important with the growth of Internet scale. A novel approach named stress testing is proposed to test the properties of RPI. Compared with some traditional test techniques, stress testing is remarkably necessary to inspect and analyze RPI. The test environment is proposed and the test process of OSPF RPI is illustrated by a stochastic Petri Net model with large-scale route simulation and OSPF protocol emulation. Based on this model, the integrated performance tester (IP-TEST) is designed and developed, with which we test a CISCO2600 router. With mathematical methods, we find that the computational complexity of OSPF implementation in this router is O (lnN)^4)to the number of its routing table entries. This experiment shows that this technique can inspect the stability, the computational complexity and the sealability of RPI. Furthermore, it can also be widely used with other routing protocols, such as RIP and BGP.     

面向变异分析的协议安全测试方法

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.