TTCN动态行为树的一种编译方法

ＴＴＣＮ（ｔｈｅＴｒｅｅａｎｄＴａｂｕｌａｒＣｏｍｂｉｎｅｄＮｏｔａｔｉｏｎ）是一种用于精确描述抽象测试套的国际标准测试表示法。然而用ＴＴＣＮ描述的抽象测试套是不可直接执行的，必须把它转换为用某一适当可执行语言书写的可执行测试套。本文给出了ＴＴＣＮ核心部分──动态行为树的一种编译方法。     

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

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

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

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

一种形式化的协议互操作性测试方法

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。     

3X协议一致性测试组织研究与设计

协议一致性测试是验证计算机网络协议实现与其国际标准是否一致的关键技术。３Ｘ协议是公用分组交换数据网中一组应用十分广泛的协议标准，对其进行一致性测试是十分重要的。本文首先对３Ｘ协议及其应用进行介绍，然后从测试角度对被测系统进行分析，最后给出一种基于数表组合表述法ＴＴＣＮ（ＴｈｅＴｒｅｅａｎｄＴａｂｕｌａｒＣｏｍｂｉｎｅｄＮｏｔａｔｉｏｎ）的３Ｘ协议一致性测试组织     

测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ     

基于TTCN的ICMPv6的一致性测试

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

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

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

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

协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试．冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题，本文在协议形式化描述模型上使用贪心算法进行测试功能选择，将测试需求转换成测试目的后自动生成测试用例，设计并实现了一个测试系统和一套完整的二次开发接口，并使用该系统对IP协议栈的一些协议进行了测试。     

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

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

A Formal Approach to Protocol Interoperability Testing

Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN‘s operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.     

A Formal Approach to Protocol Performance Testing

1IntroductionProtocoltestingisanimportantmeanstoensuretheinterconnectionandinteroperationbetweenprotocolproductsfromdifferentvendors.Currenttestactivitiesforprotocolscanbeclassifiedintothreeclassesaccordingtotheirtestpurpose:conformancetesting,inter-operabilitytestingandperformancetesting[1].Conformancetestingandinteroperabilitytestingarefunctionaltest,andperformancetesting,however,isdifferentfromthem.Itspurposeistotestthecharacteristicparametersofprotocolimplementation,suchaspackettransferdel…     

基于通信多端口有限状态机的协议互操作性测试生成研究

协议测试是一种保证网络通信协议实现质量的重要技术，互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列；然后采用单一错误模型对其进行系统的错误覆盖分析，为达到更高的错误覆盖度，进一步提出一种增强的测试生成算法；最后讨论了互操作性测试巾的控制观察问题，选择适当的分布式测试架构，并进而生成分布式同步测试序列．实验结果表明：与原有方法相比，该方法可以有效地提高测试集的错误覆盖，并具备一定的可行性和有效性．     

IPv6邻居发现协议的一致性测试

Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。     

面向RISC-V内存一致性测试的自动化分析方法

开源架构RISC-V定义了其内存一致性模型RVWMO,作为多核RISC-V系统软硬件设计开发的重要规范。在多核芯片的验证阶段,需要对芯片的内存一致性进行严格全面的测试。测试通常针对某一访存顺序模式,选取典型的并行程序片段进行大规模测试（又称Litmus测试）,通过程序运行的最终状态推测芯片内存一致性模型。通常,更为宽松的内存一致性会导致更多的程序状态。分析Litmus测试结果对于验证芯片的RVWMO兼容性、探索多核系统的内存一致性优化的可能性具有重要意义。以RVWMO规范下允许的程序状态为基准,芯片实测得到更多的程序状态表明其存在兼容性问题,得到更少的程序状态表明其仍具有优化空间。面对规模庞大、行为复杂的Litmus测试,如何对其测试结果进行自动化分析是亟待解决的问题。本文对Litmus测试的原理和输出结果进行了深入分析,提出一种面向RISC-V内存一致性测试的自动化分析方法,采用形式化方法对Litmus测试进行基于RVWMO规范的模拟运行,并通过与芯片的实测结果进行对比分析给出测试结论。本方法基于Hifive Unmatched开发板开展测试。实验表明,本文提出的方法可快速、有效地对RISC-V内存一致性测试进行自动化分析。     

Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols

This paper presents a new approach to perform passive testing based on the analysis of the control and data part of the system under test. Passive testing techniques are based on the observation and verification of properties on the behaviour of a system without interfering with its normal operation. Many passive testing techniques consider only the control part of the system and neglect data, or are confronted with an overwhelming amount of data values to process. In our approach, we consider control and data parts by integrating the concepts of symbolic execution and we improve trace analysis by introducing trace slicing techniques. Properties are described using Input–Output Symbolic Transition Systems (IOSTSs) and we illustrate in the paper how they can be tested on real execution traces optimizing the trace analysis. These properties can be designed to test the functional conformance of a protocol as well as security properties.     

Web服务互操作性测试系统的研究

Web服务互操作性是面向服务的软件系统测试内容的一个重要方面.本文分析了Web服务及其互操作性问题,介绍了协议互操作性测试的基本方法及协议互操作性测试系统的基本框架,在此基础上提出了一个Web服务互操作性测试系统的结构框架,并对该测试系统进行了形式化定义,最后指出了需要进一步研究的方向.     

A formal method to real-time protocol interoperability testing

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.