基于TCL的BGP协议一致性自动化测试系统设计

文章介绍了一种基于Tcl的BGP4以及BGP4+协议自动化测试系统的设计方法,该系统使用了一种针对网络协议测试特点的分布式虚拟测试法,并且根据路由协议测试的特点增加了控制通道,由一个统一的控制模块组织多个虚拟测试体协同工作实现对待测体的测试,使用在线配置脚本化的方法实现系统的自动化测试,并成功地对多个不同的BGP4以及BGP4+协议实现进行了测试,文中给出了测试实例,分析了测试结果,并提出了进一步的工作方向。     

基于TCL的DHCP协议冒烟测试

介绍了基于TCL的协议冒烟测试系统,对DHCP协议进行形式化分析,生成EFSM图,采用UIO方法生成一致性测试序列,并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试,在实际应用中取得了较好的测试效率,缩短了产品研发周期,降低了风险,提高了产品的可靠性。     

基于TCL的6LoWPAN协议一致性测试

针对6LoWPAN协议,提出一种基于TCL的一致性测试系统。在该系统中,界面控制部分提供用户操作和结果查看等功能,测试执行部分提供用例解释执行、结果分析等功能,底层通信部分提供物理层收发的功能。使用TCL脚本语言设计测试用例和扩展命令,从而增强系统的可扩展性。对Contiki系统中的uIPv6协议栈进行测试,结果表明,该测试系统的可扩展性较好,可满足6LoWPAN协议的一致性测试要求。     

基于TCL的分布式协议测试系统

提出出一个基于TCL的分布式协议测试系统——DPTS。该系统具有通用性、易操作性、平台无关性和可扩展性,目前已对IPv6协议族各主要协议进行了广泛的一致性测试。给出了一些测试实例。     

基于层次结构的IS-IS协议一致性测试

根据IS-IS协议的特点,提出了对IS-IS协议划分层次进行一致性测试的方法,对IS-IS协议划分层次的方法可以消除测试用例之间的依赖性,减少协议实现中的不一致给测试过程带来的影响,并能够增加测试的覆盖度和可信度。运用该系统对多个IS-IS协议实现进行了测试,分析了测试结果。     

基于MSTP协议的一致性测试设计

MSTP协议是针对STP收敛速度慢，RSTP不能进行基于802.1Q的流量分担等情况下提出的一种新的多域生成树协议。在扼要介绍此协议的实现原理的基础上，设计了针对此协议一致性的测试方法和测试组织，并应用于交换机的实际测试中，同时，给出了具体的测试实例，并对测试结果进行了分析。     

基于MVB的协议一致性测试系统设计

针对不同生产厂家的多功能车辆总线(Multifunction Vehicle Bus,MVB)设备存在兼容性和互操作性适应度差的问题,设计了基于MVB的协议一致性测试系统,给出了系统的总体结构、软硬件设计与实现方案,并构建测试集优化模型。测试系统的测试电路接口模块包括物理层接口模块和链路层接口模块两部分,负责将采集的MVB总线上的数据传递给控制与测试模块进行分析和处理。控制与测试模块软件部分着重设计了测试用例集优化模型,并采用高效的商业求解器CPLEX进行有效求解,提高了测试效率。实际运行结果表明:该测试系统是稳定并且高效的,可应用于不同MVB设备的协议一致性测试。     

基于Tcl的策略路由协议一致性测试

协议一致性测试是保证协议实现满足协议描述的重要手段,策略路由是一种路由转发协议,它根据协议类型、IP源地址和报文大小选择转发路径。论文从策略路由协议的特点出发,设计并实现了基于Tcl语言的协议分布式测试系统,并应用于路由器的策略路由测试。     

基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.     

基于Tcl的BGP一致性测试系统设计

针对协议一致性测试的特点和要求，介绍了一种基于Tcl的BGP协议一致性测试系统的设计方法。相对于目前使用较多的基于TICN的方法，该方法具有灵活性高，模块独立性好等优点。文中给出了一个基于该系统的测试例的实例。初步实验结果表明该系统有较好的测试能力，为利用Tcl开发其它协议测试系统提供了有益借鉴。     

基于IPsec的隧道动态交换机制研究

随着虚拟专用网的发展,隧道交换技术成了近年来网络安全界研究的热点。但是,目前还没有形成一个统一的标准,且更多的局限于L2TP协议及静态交换。就此研究了VPN隧道交换技术,在此基础上提出了基于IPsec的VPN隧道动态交换机制,并设计了一种VPN隧道交换路由的动态查询算法,使得采用不同安全机制的安全域间“透明”的互联成了可能,实现了隧道的汇聚,能够有效的提高了虚拟网络的安全性、灵活性和可扩展性。     

通信协议的一致性测试

一致性测试在通信协议工程中是非常重要的。本文给出有关一致性测试的一般概览。一致性测试的基本原理,抽象测试方法的比较和选择,测试集和TTCN,一致性评估过程以及结果的分析将在文章中讨论。     

一种新的分组LKH组播密钥管理方案

通信数据的机密性和完整性是通信网络中的两个关键问题.组播通信只能提供给授权用户.接入控制可以通过数据加密来实现,如端到端的加密协议IPSEC.本文研究了现有的组播密钥管理协议,提出一种基于IPsec的分组LKH密钥管理方案.与LKH相比,本方案有效地减小了组播密钥管理开销,使组播且具有更好的扩展性.     

基于IPsec的VPN技术

VPN代表了当今网络发展演化的最高形式,它综合了传统数据网络的性能优点和共享数据网络的结构优点,结合IPsec协议标准,研究了基于IPsec的VPN技术,指出了VPN的未来发展方向。     

IPsec协议的研究和分析

IPsec设计的目的是通过身份鉴别、数据加密和数据完整性保护,使端对端用户完成安全的通信。IPsec也成为构建VPN的一个基本协议。IPsec的体系结构随着对安全问题的探索而变得越来越庞杂。文章对IPsec的框架体系进行了研究,并分析了各个部分引入的安全问题。     

基于TTCN的IPv6协议测试

在分析IPv6协议特点及测试需求的基础上,结合树表结合表达法(TTCN)提出了IPv6测试描述法,采用预定义报头和数据包声明表,实现IPv6测试数据描述;采用测试描述法和执行系统互动的方式实现复杂算法、根据测试集结构和数据库应用特点,采用数据库存储测试集,设计了包含30个表的数据库系统,支持测试执行过程中的快速查找和反馈存储能力．设计了客户／服务器结构的测试系统,给出了测试例执行算法,在多种IPv6产品上实践了一致性测试。     

基于形式化技术的帧中继信令协议一致性测试研究

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 ,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中