基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．     

IPv6中IS-ISv6协议的一致性测试系统设计与实现

根据协议一致性测试的特点和要求,针对IS-IS协议的特点,介绍了一种IS-ISv6协议一致性测试系统的设计方法.该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试例的描述语言,具有很好的测试能力和灵活性.本文在介绍IS-ISv6的基础上,设计并实现了IS-ISv6的协议一致性测试系统,并对一基于FreeBSD平台的IS-ISv6一致性测试实现的结果进行了分析.     

IPv6中OSPF协议的一致性测试系统设计

根据协议一致性测试的特点和要求,针对OSPF协议的特点,介绍了一种OSPFv3协议一 致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试 例的描述语言,具有很好的测试能力和灵活性。使用该系统,成功对多个不同的OSPFv3实现进行了 测试,给出了测试实例,并提出进一步的工作方向。     

基于Tcl的ARP协议冒烟测试系统设计

协议的冒烟测试在网络产品的设计过程中有着重要的作用。文章关注于协议冒烟测试系统的设计和实现,提出了一种单机虚拟测试方法,并采用该方法实现了一个基于Tcl语言的协议冒烟测试系统,并在实际应用中取到了较好的测试效率。     

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

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

基于TTCN的ICMPv6的一致性测试

基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套.     

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

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

IPv6中IPSec协议一致性测试

IPV6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPV6协议一致性测试系统，文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。     

ISIS协议一致性测试系统的设计

论文针对ISIS协议的特点,介绍了一种协议一致性测试系统的设计方法。该方法的核心思想是基于虚拟测试体。运用该方法实现了基于多测试体、具有控制通道的测试系统,系统使用TCL作为测试例描述语言,具有很强的测试能力以及良好的灵活性和可扩展性。运用该系统成功对多个ISIS协议实现进行了测试,本文列举了测试实例和测试结果。     

IPv6中继系统一致性测试系统的设计

通过对IPv6协议中继系统一致性测试目的和方法的深入分析,设计了基于PITS的IPv6中继系统一致性测试系统,介绍了该测试系统的测试方法与结构,通过一个测试实例给出了一致性测试的实现过程,并对测试结果进行了分析.     

基于TCL的IPv6中BGP一致性测试系统设计

根据协议一致性测试的特点和要求,针对BGP4＋协议的特点,介绍了一种BGP4＋协议一致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用TCL语言作为测试例的描述语言,具有很好的测试能力和灵活性。在介绍BGP4＋的基础上,设计并实现了该协议一致性测试系统,并对一基于FreeBSD平台的BGP4＋一致性测试实现的结果进行了分析。     

基于SoT的BGP4+协议一致性测试系统设计

底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。     

路由协议一致性测试系统研究及实现

文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作实现对待测体的测试。依据这种方法,实现了一个可扩展的路由协议测试系统,并完成了IPv6路由协议的一致性测试。文中以对OSPFv3的测试作为示例。     

基于TCL的DHCP协议冒烟测试

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

Delta-oriented model-based integration testing of large-scale systems

Software architecture specifications are of growing importance for coping with the complexity of large-scale systems. They provide an abstract view on the high-level structural system entities together with their explicit dependencies and build the basis for ensuring behavioral conformance of component implementations and interactions, e.g., using model-based integration testing. The increasing inherent diversity of such large-scale variant-rich systems further complicates quality assurance. In this article, we present a combination of architecture-driven model-based testing principles and regression-inspired testing strategies for efficient, yet comprehensive variability-aware conformance testing of variant-rich systems. We propose an integrated delta-oriented architectural test modeling and testing approach for component as well as integration testing that allows the generation and reuse of test artifacts among different system variants. Furthermore, an automated derivation of retesting obligations based on accurate delta-oriented architectural change impact analysis is provided. Based on a formal conceptual framework that guarantees stable test coverage for every system variant, we present a sample implementation of our approach and an evaluation of the validity and efficiency by means of a case study from the automotive domain.     

An approach to concurrent TTCN test generation

The basis of distributed system conformance testing is to test the conformance of each entity with its standard.This paper addresses the approach to entity conformance testing based on concurrent TTCN.First a preliminary framework for entity conformance testing is introduced and a specification model CEBE is presented.Then a test generation method,which could directly derive concurrent TTCN test suite from CEBE,is proposed.     

基于行为协议的构件软件静态测试研究

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。     

移动IPv6协议的测试研究

移动IPv6作为IPv6协议族中非常重要的一个协议，对它的一致性测试和互操作性测试将有助于协议的完善，发现协议实现中存在的错误，保证不同厂商产品之间的正确协作，本文分析了移动IPv6协议的测试方法和技术，提出IPv6协议一致性测试系统的参考实现扩展方案，使之适用于移动IPv6协议的一致性测试和互操作性测试，既增强了测试能力，又提高了测试过程可配置和自动化程度，并在此基础上进行了测试实践，最后提出了未来的研究方向．     

基于Modbus协议的一致性和互操作性测试方法的设计与实现

在分析协议测试原理的基础上,初步提出基于串行链路的Modbus协议一致性和互操作性测试,及其符合性评估的方案和流程;设计了相应的硬件和软件模块,基于该模块系统对串行链路的Modbus设备进行了一致性和互操作性测试实现;测试结果表明,该测试模块能够满足Modbus协议设备的调试。