安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.     

安全苛刻系统测试语言中的测试设备协同语句

安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则,最后对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性.     

一种手绘制导的移动应用界面测试方法

软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足：人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对这些问题,提出一种基于手绘制导的移动应用界面测试方法.该方法通过设计一种简单直观且具有较强表达能力的手绘语言来帮助测试者轻松表达其测试意图,测试者仅需在待测应用的界面图像上做简单绘制,就能生成对应的测试模型,并以此为基础生成界面测试所需的测试用例.以近年来在相关文献中已经用作移动应用界面测试的评估用例集为基准来评估该方法的测试效果.评估结果表明：在提供很少人力成本的条件下,手绘图形所表达的用户测试意图在制导移动应用界面测试上能起到非常关键的作用.     

适应于组网卫星的数字化及自动化测试技术研究

随着各类卫星星座计划的提出和部署,航天卫星数量的逐步增加,传统的卫星研制模式已逐渐不满足卫星快速发射需求,为缩短卫星研制周期,卫星批量化、自动化测试手段逐渐成为新形势下卫星研制的关键一环。面向当前微小卫星高密度快速组网应用的需求,结合批产化卫星技术特点,研究了一种适用于组网卫星的数字化和自动化测试技术。对卫星综合测试系统架构进行优化,可满足多星批量化及并行测试;在卫星综合测试系统中增加自动化测试功能,可通过在线配置自动化序列实现卫星自动化测试;研发了一种数字卫星仿真测试平台,可用于卫星单机产品齐套前整星功能开发、测试等。克服了传统卫星研制周期长、测试过程数据判读和数据处理难度大以及重复性工作较多的缺陷。     

基于XML的安全苛求系统测试脚本生成研究

针对安全苛求系统（SCS）自动化测试中测试脚本规模大、结构复杂、难维护的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功应用到高速铁路CTCS-2级列车运行控制系统仿真测试中。     

笔记本电脑自动化测试的任务分配模型与方法

笔记本电脑的软件和硬件测试是笔记本在大规模生产前一个非常重要的环节.由于笔记本电脑是一个集成度较高的产品,测试过程的重复性和复杂性就成了笔记本测试的一个主要特征.针对这一特点设计了一种测试任务模型并实现了相应的自动化分配算法.首先根据测试要求将相应的测试任务进行整合,形成一个由多种测试条件组合的数据表;然后再根据每台笔记本的状态进行自动任务分配.测试员只需根据提示完成相应测试任务即可,无需对任务进行分类测试这一繁琐的过程.通过多台机器的实际测试,验证了分配算法的实用性,使测试效率有了明显提高.     

一种软件自动测试系统

针对航天测控任务频度高,测控任务软件系统测试重复性高、人工测试工作量大、测试效率和可靠性低的特点,通过分析系统测试条件和需求,设计了一种基于黑盒测试的软件自动测试系统.文章介绍了自动测试系统的系统结构、主要功能模块、测试平台部署及测试流程等,并详细阐述了测试用例管理、测试数据自动生成、测试过程控制、测试结果评估和测试报告自动生成等关键技术;该系统能够有效的减少人工重复工作量,增强系统测试的自动化,提高系统测试效率和质量.     

基于模型代数的基本路径集的自动生成

路径测试是一种根据路径设计测试用例的白盒测试技术,而 基本路径测试是其中运用最广泛的一种路径测试方法。基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基本路径集自动生成的关键。考虑到依赖程序控制流图生成基本路径集的低效性,提出基于模型代数的基本路径集的自动生成方法。该方法通过分析被测程序,自动生成程序的模型代数表达式,并在模型代数表达式的基础上生成基本路径集。最后通过经典案例证明了该方法的有效性。     

支持用例集并行测试的接口测试平台

针对手工测试成本高、时效性弱和传统的接口自动化测试工具扩展能力不足问题,提出了一个支持用例集并行测试的接口测试平台(OLa). OLa采用分层架构模式将系统分为用户展示层、应用逻辑层、数据服务层和用例执行层.其中,用户展示层基于Vue框架开发,结合Vue Router、Vuex等工具实现单页应用;应用逻辑层基于Spring Boot框架开发;数据服务层基于MyBatis-Plus框架和Spring Data框架开发;用例执行层使用okhttp3、fastjson、jackson等工具实现接口测试.此外,基于系统技术架构、Java网络编程和面向抽象编程的思想,创新性地提出了基于C/S模式的用例执行流程和基于参数识别的自动匹配校验方法,解决了传统的自动化测试工具无法支持并行测试的问题.实验结果表明本文设计与实现的OLa接口测试平台支持单用例测试、用例集的串行测试和并行测试,能够自动识别用例参数并对接口响应内容进行校验,提高了接口测试的灵活性和有效性,降低了测试难度,并能够在用例之间无相互依赖的情况下提高接口测试的效率.     

基于XML的测试用例自动生成方法

提出一种基于XML描述的测试用例自动生成方法:采用XML语言来描述报文接口信息,根据域测试策略生成域测试表,通过组合覆盖生成算法生成最终的测试用例包.该方法产生的测试用例具有数量少、能实现报文接口的最大限度覆盖的特点,从而在保证软件质量的同时,降低成本,提高效率.     

千兆网综合布线系统设计与测试

千兆网的应用需要高性能综合布线系统的支持。结合千兆网综合布线系统的布线标准和测试标准，本文对千兆网综合布线系统设计中的线缆选型和测试等重要环节进行了研究。     

面向机载设备自动化测试的信号模型

在机载设备测试中,各种测试信号的准确定义和检测是保证飞行安全的关键因素。文中提出一种面向自动测试机载设备测试需求描述的信号模型,通过对机载设备测试需求中所涉及到的信号进行分类,以及将测试设备和被测设备之间传送的信号视作带有一组参数的动作,建立适用于自动测试机载设备需求描述的信号模型,旨在解决目前工业界中机载设备自动化测试需求中的信号规范描述问题。最后通过典型案例说明了该信号模型的特点和可行性。     

自动测试描述语言标准研究及其应用

分析了制定ATML标准的背景、目的及模型结构,并且对构成ATML标准所有子模型定义方法和表示方式进行了说明,其中主要包括通用要素模型(Common)、测试结果和会话信息模型(TRML)、诊断模型(DML)、测试描述模型(TDML)、仪器描述模型(IDML)、测试配置模型(TCML)、UUT描述模型(UDML)、测试站模型(TSML)及测试适配器模型(TAML)等,最后给出了ATML在自动测试系统中的应用方法,为实现武器装备各种维护级别的测试资源的共享奠定了技术基础。     

Web系统测试用例自动执行系统

由于Web应用系统的迅速发展,如何进行有效的Web测试对于保证Web系统的可靠性越来越重要。设计的Web功能测试用例自动执行系统,改进了传统的录制/回放方式,可以模拟用户操作,对Web系统进行功能性测试。提出一种基于XML的测试用例的结构描述,称之为X-Case,对于经常更新的Web系统,修改X-Case结构内的相关数据就可以进行回归测试,不需要重新生成大量的测试用例,节约Web测试的成本。该系统支持部分测试数据自动生成,对动态和静态网页均能执行自动化测试。     

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

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

单元测试自动化工具的研究与实现

软件测试的自动化技术是软件测试技术研究的重点问题,对于提高软件测试的客观性和效率有着非常重要的意义.实现了一个可以自动生成、执行测试用例的工具,该工具针对软件测试过程中的单元测试,以容易发生异常例外的条件语句为中心,对其进行覆盖检查,实现了单元测试的自动化.     

含存储器数字电路系统的自动测试生成

已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型，不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征，提出了面向测试的ROM和RAM结构模型的建立方法，其中，ROM根据所储存的数据等效成组合电路模型， RAM利用新建立的RAMBIT基元等效成利于测试的时序电路模型。将其应用于ATPG软件中，解决了含存储器数字电路的自动测试生成问题。     

测试数据自动生成方法

软件测试是提高软件可靠性、保证软件质量的重要手段,可分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而软件测试过程中的一个重要任务是生成测试数据。文中首先给出了遗传算法的形式化描述,然后提出了遗传算法和函数极小化相结合的方法自动生成测试数据,并通过具体实例表明其有效性。     

基于混沌遗传算法的测试用例自动生成研究

测试用例自动生成是提高软件测试效率的重要手段.针对传统遗传算法的测试用例自动生成方法存在早熟收敛、迭代后期种群多样性降低等问题,提出了一种基于混沌遗传算法的测试用例自动生成模型,运用反向学习策略初始化种群,结合层接近度改进个体适应度的评价方法,并利用混沌序列优化遗传算法的交叉、变异操作.实验结果表明,与已有测试用例自动...     

用测试的方法确定计算机自动控制网络的结构

用测试的方式能够确定出计算机控制网络,自动控制网络结构和互联网以及局域网都联系在一起。在计算机的自动控制的网络结构中,计算机本身以及智能模块都可以称为底层设备,如何能够使设备在网络中构成一个主体已经成为非常重要的部分。目前只有一种正确的方法,在网络施工前对网络进行测试,是保证网络通信的一种重要方式,本文主要研究用测试的方法确定计算机自动控制网络的结构,供读者参考。