基于ATML和STD的自动测试描述语言设计与实现

测试描述语言是开放式通用自动测试系统开发的重要内容,其描述方式和实现方法决定了测试程序集TPS的通用性和可移植程度;根据XML的建模方法并结合STD标准实现了基于信号的TPS开发,对测试过程中的基本流程和操作进行分析,总结了测试语句的类型,完成了面向信号的XML测试描述语言的设计,实现了测试程序的转换和解释执行,与从测试语句中逐条提取信号信息的ATLAS相比,编译时间缩短了30%,并提高了测试执行效率和TPS通用性程度。

一种新的基于缺陷的软件测试描述语言-DBSTDL

缺乏统一的测试描述语言(TDL)已成为提高测试效率和复用程度的瓶颈;以设备、信号等为核心的传统测试语言不能体现软件测试的基本思想,不适用于建立软件测试"共享知识库";为实现统一描述标准下的测试知识积累,在软件测试信息模型基础上,面向软件缺陷,采用分类法和因素分解法,围绕缺陷摘要与被测软件信息双重主线,重组软件测试信息,设计了新的测试描述语言(DBSTDL);该语言共包括6类词,3大类100多条基本语句,3组句群,2种主要的语言组合方式,涵盖了测试描述语言的框架和基本内容;应用DBSTDL语言实现了软件典型缺陷与测试样例库,验证了利用DBSTDL语言建库的思想,说明该语言可用于建立统一的软件测试描述标准,提供了规范描述手段。

基于ICON的测试描述语言及其集成设计环境的实现

本文从计算模型出发，讨论了计算前端的可视化方法和计算过程的操作机制；通过对文本方式的测试描述语言成分的分析，提出了可视化该语言的策略和步骤。设计了一个可视测试描述语言的集成化环境；在该环境中，我们定义了各种工具，也定义了该测试描述语言的ＩＣＯＮ及其语义。在面向对象方法学的支持下，实现了该集成环境的原型系统。

IPv6协议一致性测试描述语言设计与实现

IPv6协议一致性测试是检验IPv6协议实现是否正确的重要方法。为弥补我国在该领域研究水平的不足,文中提出了一种模块化测试描述模型,设计了模块化测试描述语言(Modular Test Description Language,MTDL),并开发了基于该模型和语言的IPv6协议一致性测试系统。在对IPv6协议标准深入分析的基础上设计了一套测试集,用自主开发的测试系统在Linux系统平台上对IPv6协议进行了测试,得到了预期结果,验证了MTDL语言的正确性和有效性。

基于UUT模型的测试描述语言的开发

为解决适用于所有系统的缩写测试语言(ATLAS)暴露问题,满足中国对具有自主知识产权测试语言的实际需求,设计开发了基于被测对象(UUT)模型的测试描述语言(TL-BUM).介绍该语言的设计目标、设计思想、语句的具体设计以及该语言的编译实现和解释执行过程.该语言具有可移植性、硬件无关性、可扩展性、使用简便等特点,满足通用自动测试系统(ATS)软件对测试程序集(TPS)可移植和可复用的要求.实验表明,该语言简化了测试软件的开发过程,降低了系统的开发成本,将开发周期缩短了75%.

基于STD标准的ATS测试流程描述语言研究与应用

为了满足ATS软件平台通用化和标准化的要求,以STD(测试和信号定义,IEEE1641)标准为基础,借鉴该标准中信号分类及处理的方法,制定了基于STD标准的测试流程描述语言;该测试流程描述语言以中文为基础,并采用了近似工作中使用的词汇和语法来实现对测试流程的标准化描述,目的是为方便装备工程师对被测对象(unit under test,UUT)测试流程及信号特征进行标准化描述;以差分信号为例,采用LabWindows/CVI对基于STD标准的信号处理方法进行了仿真演示;最后,以某虚拟装备为被测对象,利用该流程描述语言进行了标准化描述,并给出了应用该描述文档开发的测试程序。

测试流程描述语言的设计与实现

针对测试流程描述的实际需求,设计了测试流程描述语言(TFDL)。介绍了该语言的设计思想、具体组成、程序结构和具体语句的语法结构,以及该语言的开发实现过程。该语言具有可移植性、硬件无关性、可扩展性、可兼容性、使用简便等特点,能够满足通用ATS软件对TPS可移植和可复用的要求,大大简化了测试软件的开发过程,并且大大降低了软件维护的难度。

ATS测试流程描述语言的研究与改进

为了满足ATS软件平台通用化、标准化的要求,在ATLAS基础上设计实现了测试流程描述语言,并在已有基础上做了进一步改进。详细介绍了测试流程描述语言的组成与语句结构,并举例利用该语言进行了标准化描述。测试流程描述语言以中文为基础,具有极佳的实用性和易读性;该语言基于STD标准,与硬件无关,具有可移植性和扩展性,方便了装备工程师对被测对象测试流程及信号特征进行标准化描述。

基于状态的自动化无线协议安全测试平台设计

针对无线网络协议中存在的安全隐患问题,提出一种基于状态的自动化无线协议安全测试平台以测试协议的安全性。在无线协议安全测试平台中基于状态的生成来分析该协议可能达到的所有状态空间,结合协议测试描述语言的定义生成测试序列,无线测试平台基于这些配置自动完成所有测试工作并能自动采集测试数据,得到测试结果。安全测试平台的实现基于独立分开的原则,即测试的控制管理与实现运行平台分开、测试过程的控制管理与测试结果的收集分析相分开,其技术方法结合了理论分析与实际测试的优点,基于该架构的安全测试平台能有效保证了协议测试的准确性,并且极大简化了测试工作的过程。

IPv6地址协议一致性测试系统设计与实现

IPv6协议一致性测试是保证IPv6协议实现正确性及有效性的方法。当前IPv6一致性测试系统共同的不足是标准协议的数量受限,并且对新型协议的支持不够。在这种需求的驱动下,提出一种可扩展模块化测试描述语言EMTL(Extensible Modular Test Description Language),设计并开发了IPv6协议一致性测试系统,描述该系统各部件的具体功能。在对IPv6无状态地址自动分配协议的标准描述分析的基础上设计一套测试集,用IPv6协议一致性测试系统在Linux系统平台上对该协议进行测试,成功得到了相应测试结果,验证了该系统具有很好的测试能力和功能通用性。

面向服务的测试程序自动生成技术研究

测试程序自动生成技术是新一代自动测试系统(ATS)关键技术之一。文中从面向服务的角度出发,首先建立了面向服务的测试程序自动生成总体框架;然后介绍了测试流程描述语言(Test Flow Description Language,TFDL),并通过XSLT模板将测试描述XML转化为测试流程描述语言,利用TFDL编译器将测试流程描述语言转化为C语言中间程序;最后通过商业编译器自动生成测试程序。

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

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

NEMO协议一致性测试集的设计与实现

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。

网络移动IPv6协议测试生成的研究与实现

协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。

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

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