基于XML的UUT测试需求描述方法研究

针对ATS开发过程中UUT测试需求缺乏标准规范的信息描述方法,致使ATS软件复用性、移植性差等问题日益突出的现状,参考有关国际标准,建立了UUT测试概念模型和基于XML的UUT测试信息描述模型,包括原子测试模型、组合测试模型等,阐述了模型之间的关系,给出了UUT测试需求描述模型应用实例;UUT测试概念模型揭示了UUT测试问题的本质,为UUT测试需求描述模型的建立打下了基础,UUT测试需求描述模型实现了UUT测试需求的标准化描述;该方法提高了UUT测试需求描述信息的复用性,改善了ATS的互操作性。

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

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

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

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

通用测试系统资源描述模型研究

面向信号软件结构是通用自动测试系统软件的发展方向,面向信号软件中使用的是虚拟资源,系统必须通过测试资源描述进行资源配置,才能驱动测试设备完成测试任务。分析了测试资源描述的设备模型、适配器模型、系统配置模型以及测试系统资源配置过程,并在实践中进行了应用。

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

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

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

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

《资源描述与检索》测试方法研究

资源描述与检索(RDA)成为新的国际编目标准已是大势所趋。为确保RDA的顺利实施,美国国会图书馆、美国国家农业图书馆及美国国家医学图书馆共同成立了美国RDA测试协调委员会。该协调委员会负责在图书馆和信息环境中对RDA进行测试,以检验RDA在实际应用中是否达到了预期目标。

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

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

测试描述标准在测试系统软件平台中的应用研究

为了最大程度实现自动测试系统信息的共享,提高测试程序的可移植性和仪器的互换性,提出了建立以ATML为标准的自动测试系统软件平台的开发体系。首先介绍了测试描述标准在ATML标准中的重要作用,其次详细分析了测试描述标准包含的元素,并且重点阐述了详细测试信息元素包含的内容。最后研究了在实际软件平台开发过程中初期阶段和执行过程中ATML的具体应用,对以ATML为标准的自动测试系统软件平台的开发具有重要意义。

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

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

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

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

ATML测试描述标准研究与实现

ATML标准是由IEEE标准委员会制定的一项自动测试系统相关要素的描述标准,其中的测试描述分标准(IEEE Std 1671.1)以面向信号的方式提供了被测设备测试过程的描述方法。首先深入研究了ATML测试描述标准,并根据工程应用情况进行了扩展。然后提出了一种基于虚拟机设计思想的ATML测试程序运行平台,并就其中的测试流程运行控制、测试结果判读等进行了详细地阐述。所述运行平台已在某型自动测试设备中进行了工程应用,有效证明了软件的有效性、正确性和可靠性。

论语义最小论的三项测试

语义最小论与语境论争论的焦点问题便是究竟哪些语词的语义内容受到语境的作用和影响,进而被看作是语境敏感的。为了回答上述问题,语义最小论给出了三项测试——跨语境引用间接报告测试、共同描述测试和跨语境引用测试。本文将着重分析它们的基本内容,讨论已出现的各种反驳意见,并指出语义最小论需要进一步解决的问题。

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

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

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

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

面向信号的自动测试系统结构设计

文章研究了面向信号的自动测试系统分层结构设计,提出了在自动测试系统开发中基于广域测试环境的自动测试系统结构开发方法。通过研究方法在信号模型中的具体使用,表明标准提供的测试描述规范、基本信号库和XML接口有助于分层结构中各层的功能实现,满足测试系统设计要求。最后同时提出了方法在实际运用中存在的一些缺陷。

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

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

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

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

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

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

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

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