会话层／表示层协议一致性测试的研究与实现

会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ，１）相结合的形式化描述语言，设计实现了会话层／表示层协议一致性测试系统及测试集。并对ＩＳＯＤＥ软件中的会话层／表示层协议实现进行了一致性测试，包括基本互连、能力、有效行为、无效行为及定向诊断等。     

表示层协议一致性测试的研究与实现

表示层协议是ＯＳＩ高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法,分析表示层协议一致性测试需求;采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语法,设计实现了表示层协议核心部分一致性测试系统及测试集;测试系统通过了对ＩＳＯＤＥ软件表示层协议实现的一致性测试。表示层协议一致性测试系统,是协议一致性测试系统（ＰＣＴＳ）的一个子系统。这个子系统的功能实     

协议一致性抽象测试集:功能和规范

随着计算机网络的发展，协议一致性测试变得越来越重要了。抽象测试集是协议一致性测试中的重要概念，本文将围绕国际标准ＩＳＯ９６４６来讨论抽象测试集的功能和规范。     

X.400协议测试环境中的ASN.1工具

Ｘ．４００协议是ＯＳＩ应用层最为成熟的一套关于信报处理的应用协议，目前已涌现大量的Ｘ．４００协议实现。为了验证了这些协议实正确性及相互连接。相互操作的能力。需要对Ｘ．４００协议实现进行一致性测试。抽象语法表示法－ＡＳＮ．１作为ＯＳＩ应用层协议描述所使用的一种形式化语言，不仅在Ｘ．４００议实现中不可缺少，而且在对Ｘ．４００进行一致性测试中扮演举足轻重的作用。本文旨在分析ＡＳＮ．１工具的应用，并提出“     

一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

基于多UIO序列的协议一至致性测试生成

本基于多ＵＩＯ序列提出了一种最优化协议一致性测试生成方法，可以证明本方法生成的测试序列的长度比其它基于ＵＩＯ序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术，因此生成叠加转换序列所需要的计算时间大大减少了。     

DRTOR中的通信协议

本文介绍了基于微核心的分布式实行操作系统ＤＲＴＯＳ（ＤｉｓｔｒｉｂｕｔｅｄＲｅａｌ－ｔｉｍｅＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）通信协议，该协议主要实现ＩＳＯ／ＯＳＩ七层协议模型中的低四层协议，根据本系统的特点，对ＩＳＯ／ＯＳＩ的相应协议作了简化。     

一种高效的网络协议一致性测试生成方法

本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试序列的长度。     

让您的网络更加畅通

看到旁边的这张图片,你会想起什么？是手提式笔记本电脑？错了,这是北京沃泰丰通信公司生产的ＷＩＦ－２０００多链路多时隙多协议规程分析仪。 该仪表可对七号信令（ＳＳ７）、接入网（ＡＮ）、智能网（ＩＮ）．综合业务数字网（ＩＳＤＮ）、数字移动网（ＧＳＭ）等多种网络提供协议监测、解码、分析、一致性测试、模拟仿真等强大的测试功能。 ＷＴＦ－２０００可支持２至３２条双向链路,同时监测大型网络节点上的多个接口的链路协议,每条链路可任意配置多个信令时隙,支持的协议包括ＳＳ７协议：ＭＴＰ、ＴＵＰ、ＳＣＣＰ、ＩＳＵＰ、ＴＣＡＰ; ＡＮ协议：Ｖ５．１、Ｖ５．２;ＩＮ协议：ＩＮＡＰ; ＩＳＤＮ用户协议;ＧＳＭ协议：ＭＡＰ,、Ａ接口、Ａ－ｂｉｓ等,能对多个大话务负荷的链路同时测量并分析复杂信令规程,并通过开放数据库连接（ＯＤＢＣ）长期存放大量数据。支持在线或中断两种方式的线路告警及误码测试和分析统计     

DRTOS中的通信协议

本文介绍了基于微核心的分布式实时操作系统ＤＲＴＯＳ（ＤｉｓｔｒｉｂｕｔｅｄＲｅａｌ－ｔｉｍｅＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）通信协议。该协议主要实现ＩＳＯ／ＯＳＩ七层协议模型中的低四层协议。根据本系统的特点，对ＩＳＯ／ＯＳＩ的相应协议作了简化。     

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

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

SDN数据平面软件一致性测试用例生成方法

SDN （Software-Defined Networks）发展的目的在于解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译通过适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试本质上是将面向P4程序的一致性测试用例发送给P4网络设备,其目的在于获取实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.本文重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和一致性测试用例生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simple_switch虚拟交换机为测试对象说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.     

WIA-PA协议一致性测试方法研究

针对WIA-PA协议的特点构建了WIA-PA协议一致性测试的系统结构和网络拓扑,给出了WIA-PA协议一致性测试的方法和原则,重点论述了测试代理软件的功能与软件实现,设计出了WIA-PA协议的一致性测试抽象测试集。最后以数据链路层的网络时间同步测试为例说明了WIA-PA协议一致性测试的一般流程。     

AUTOSAR标准一致性测试研究

分析AUTOSAR一致性测试过程,采用eclipse、TTthree、μTTman等工具,基于TTCN-3测试系统架构,实现AUTOSAR一致性测试。针对简单信号灯系统,研究测试系统中测试套、编解码器和适配器的功能及相关实现方法,并验证采用TTCN-3进行AUTOSAR一致性测试的可行性。     

通信协议的一致性测试

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

一种层次递进的动态协议一致性测试方法

在协议一致性测试过程中,不一致性传播问题会导致协议测试执行效率低下,无法达到理想的实际测试覆盖度。为此,在改进已有方法不足的基础上,提出一种层次递进的动态协议一致性测试方法,以递进的方式执行测试用例,利用执行结果对后续测试进行指导,减少不一致性传播对协议测试带来的影响,提高测试效率,扩大实际测试范围。     

EPA一致性与互操作性测试系统设计

针对工业控制领域的开放性问题,通过分析现场总线一致性与互操作性测试原理,设计和实现一个EPA一致性与互操作性测试系统,阐述该系统在功能、程序框架以及测试流程等方面的设计思想,针对测试前的输入文件进行规范设计。利用该系统对基于EPA标准的产品进行一致性与互操作性测试,实验结果验证了该设计方案的可行性。     

通信协议一致性测试序列自动生成算法研究

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题.在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点.实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率.     

iSCSI协议一致性测试研究与实现

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。     

IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。