并发TTCN的操作语义及相关算法

TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用，在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。     

IPv6协议一致性测试系统的研究与实现

通过分析IPv6协议测试需求,提出了一种适合IPv6的测试描述法,实现了测试数据描述、复杂计算、测试传输等方法,可以在一台物理测试器上支持多测试组件并发测试,采用静态描述和动态调整相结合的方式实现测试数据描述、测试描述法和测试系统互动的方式实现计算功能,网络接口和通信实体相结合的方式实现测试传输.并通过测试实践验证了这种测试框架的有效性.     

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。     

基于XML的协议一致性测试系统的设计与实现

本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。     

一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

一种基于TTCN-3的多路并行测试方法

随着全球通信网络的高速发展，对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案，阐述了测试适配器的开发方法，重点分析了多路适配器的原理及实现，并以此为基础提出了一种多路并行测试的方法，该方法已成功地应用于802.16d协议的一致性测试。     

基于TTCN的ICMPv6的一致性测试

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

路由协议的符号化测试生成

协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

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

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

面向虚拟检测的测试功能组件研究

为了解决虚拟仪器软件设计效率低、重复劳动多、通用性及互换性差的问题，提出一种开发面向虚拟检测的测试功能组件的方法，即借鉴成熟的组件技术开发一系列可复用的虚拟测试功能组件。描述了虚拟测试功能组件的方法和开发过程，结合实例介绍了以测试功能组件为单位搭建虚拟仪器的过程。基于虚拟测试功能组件可以快速开发可互换虚拟检测仪器。     

基于脚本的构件测试自动化框架

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。     

基于状态的EJB构件集成测试

针对构件源代码的不可知性问题，该文提出了从构件规格说明、接口中提取两类测试信息，生成构件状态测试用例，通过测试这两类“测试信息”进行构件属性分析和状态判定，通过“属性-状态”依赖关系，划分属性关联关系中理想状态空间，并构造测试树，利用不同的覆盖准则生成测试用例。     

Anti-model测试框架的研究与实现*

对于继承的系统或基于组件的系统,常常得不到系统详细的信息,测试这样的系统很困难,采用Anti-model测试思想和方法可以解决此类问题。基于Anti-model测试思想,设计出基于Anti-model的测试框架,详细分析和说明了Anti-model的测试过程中的几个关键性的技术,包括动态数据的获得、动态数据的存储格式、综合行为模型、修正和精炼系统行为模型、再测试的测试用例的获得等。编程实验表明,本方法具有实用性和可行性。     

基于构件的软件测试方法概述

构件技术成为当前软件工程中的发展方向,构件的软件测试成为软件测试中的一个新的研究领域。本文对构件技术做了简单的介绍后,对构件测试中遇到的困难和问题做了比较详细的描述,并介绍了目前过内外在构件测试方面的一些成果现状。     

利用组件交互自动机测试基于组件的Web应用

Web应用有许多特殊性使得不能直接使用传统的测试方法进行测试,因而需要修改已有方法或完全提出新的方法用于Web应用的测试.把Web应用看成是不同交互组件的组装,一个复合组件由一些其它的组件构成.对于每个组件,都建立一个组件自动机.从被测Web应用的规格说明可以构造用XML描述的组件交互图(CID,Component Interaction Diagram).根据CID,可以产生组件测试序列(CTS,Component Test Sequence),它是组件的交互序列.测试用例是用一个个单独的XML文档表示的,是带有输入数据的CTS.这样,Web测试就变成组件交互自动机的测试.另外,给出了CTS覆盖度的评估过程(CTSC,Component Test Sequence Coverage),并阐述了如何提高CTSC的方法.论文的最后,对该测试方法的可用性进行了理论分析.     

面向测试的构件系统模型及测试用例生成方法

随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。     

Web应用程序建模和测试用例生成方法

根据基于组件的Web应用程序的特点,提出逻辑组件的概念。按功能将待测系统划分成逻辑组件,并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系,自动机表示逻辑组件的行为关系,自动机的复合表示逻辑组件间的交互操作。根据复合的自动机,利用建立的操作映射表生成测试用例。分析了一个测试准则,并提出逻辑组件测试序列的覆盖度概念。     

基于构件的测试脚本复用技术研究*

研究了自动化测试脚本及基于构件的软件复用技术,提出一个测试脚本构件模型TSCM。该模型结合测试脚本特性,在借鉴现行软件构件模型基础上加入构件连接子增强测试脚本构件的独立性和可复用性。设计了TSCM模型的XML框架,实现了测试脚本构件自动生成、验证及不同测试语言之间的自动转换。     

基于模型诊断的元件替换与替换测试

元件替换是工农业和日常生活中经常使用的一种诊断方法,文中结合基于模型诊断理论,对元件的替换测试进行了研究,提出了元件替换与替换测试的概念,并以此为基础对诊断的判定与故障元件的确定进行了探索,证明了关于替换测试用于故障原因判定的几个定理。文中的研究结果可以帮助选择欲替换的元件,提高诊断效率,并可以将测试同修复结合来,使系统尽快恢复正常功能。