基于模型的软件接口故障注入测试平台技术

针对软件接口类型多、接口故障注入自动控制复杂的困难以及目前缺少有效的软件接口故障注入工具现状,对软件故障注入中的交联接口故障注入技术展开研究,提出了一种基于模型的软件接口故障注入测试平台技术。通过交联接口测试可视化建模和接口故障注入算子设计,自动生成XML 格式的测试用例,并且通过基于XSLT的脚本自动化生成与执行技术实现测试的控制与执行。故障注入测试主机与接口故障注入器网络连接,接口故障注入器将接口故障数据转换成以太网、串口或CAN网络数据注入到被测软件中,并返回被测件输出数据到测试主机实现测试数据收集与判断。基于模型的软件接口故障注入测试平台具有较强的通用性与易用性,提高了接口故障注入测试的效率,降低了接口测试的成本。     

基于Hadoop与RabbitMQ的人脸识别算法测试平台的设计与实现

针对人脸识别算法研究过程中测试效率低下的问题,基于分布式技术,设计并实现了通用的分布式大数据测试平台。为了提高人脸识别算法的大数据测试的执行效率,提高测试结果统计计算的执行效率,基于RabbitMQ设计分布式并行执行架构,利用Hadoop集群的MapReduce框架进行分布式并行计算。利用Java语言的Spring框架开发测试平台,将测试代码与测试图片托管于Hadoop集群的HDFS文件系统,实现了测试业务与测试平台的分离,提高了平台的通用性。该测试平台不仅实现了单个测试任务的分布式执行而且满足多个测试任务同时执行,可对测试任务以及测试相关的代码与数据进行有效的管理。与传统测试方法相比,该平台测试效率提高10余倍,测试图片的数量越大测试效率提升越明显。该测试平台具有业务通用性、容量可扩展性,对于其他人工智能算法的大量数据测试具有借鉴意义与参考价值。     

综合模块化航空电子平台网络故障注入策略

综合模块化航空电子（IMA）平台网络通信结构复杂，在进行故障注入测试时，存在难以选取合适的测试路径及等效、无效故障注入较多的问题。根据IMA平台网络通信结构特点，提出一种新的故障注入策略。首先，根据IMA平台网络对实时性和确定性的要求，提出一种基于通信链路的测试路径优化算法，生成最优测试路径，实现对IMA平台网络测试任务的有序覆盖；然后，在确定测试路径之后，采用有色Petri网（CPN）建模方法搭建测试案例自动生成模型，排除等效与无效故障，精简测路径中每个测试任务所需的测试案例。仿真结果表明，所提方法在测试次数与测试时间等方面均少于传统的故障注入策略，能够克服传统策略中的无序性及盲目性的缺点，降低测试的时间成本。     

基于遗传算法的业务流程测试

当前很多大型软件都不是采用单一的实现技术,面对于不同的实现技术,要求测试人员在不同的平台下分别对所测试的部分进行测试。为了提高自动化测试的效率,减少测试开销,提出了一种基于STAF的自动化测试平台。首先对目前现有的自动化测试框架归纳分析;然后提出基于STAF的自动化测试平台的系统架构;最后给出平台的关键部分：测试引擎的实现方式。结果表明该平台具有提高自动化测试效率,减少测试开销,支持分布式测试方法等优越性。     

面向通信协议故障的分布式软件可靠性测试技术研究

分析了分布式软件系统中的典型通信协议故障,研究了基于API Hook的分布式软件可靠性测试方法,提出了基于通信协议故障注入的应用软件可靠性测试方法,并设计、实现了工具原型,为基于故障注入的分布式软件可靠性测试提供了技术手段.     

基于STAF框架下的自动化测试

当前很多大型软件都不是采用单一的实现技术,面对于不同的实现技术,要求测试人员在不同的平台下分别对所测试的部分进行测试.为了提高自动化测试的效率,减少测试开销,提出了一种基于STAF的自动化测试平台.首先对目前现有的自动化测试框架归纳分析;然后提出基于STAF的自动化测试平台的系统架构;最后给出平台的关键部分:测试引擎的实现方式.结果表明该平台具有提高自动化测试效率,减少测试开销,支持分布式测试方法等优越性.     

一种分布式可持续集成自动化测试平台

软件开发过程中,随着逻辑复杂度的不断增加,专门的测试可以有效地减少软件的bug,提高软件的质量,然而传统的人工测试已经不能满足当前软件开发的需求。为此,提出一种分布式可持续集成的自动化测试平台,基于Jenkins平台实现分布式可持续集成,选用Git作为版本管理工具,使用Katalon作为自动化测试工具。平台实现对Web软件每日自动更新并持续集成自动化测试,该平台在Web软件测试中大大地减少了测试人员重复回归测试的工作量。     

分布式大气数据计算机综合测试系统设计

为提高某型分布式大气数据计算机的测试效率,研制了分布式大气数据计算机综合测试系统.系统以PXI总线平台为基础结合FXI模块和GPIB总线设备来构建硬件系统,采用虚拟仪器技术和层次化的软件设计,实现了快速自动化的测试目的,并使系统具有一定的可扩展性,可开发为多种产品的测试平台.讨论了系统软件结构的优化和系统误差的分析处理,提高了测试系统的稳定性和测量精度.     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

硬件产品故障注入测试研究

对DCS控制系统硬件产品的故障注入测试进行了研究,主要用于指导产品的硬件故障注入测试,通过故障注入测试更好地挖掘产品在设计方面的缺陷和不足,推动产品质量的提升。研究主要包含建立故障模型、故障注入测试方法、故障注入测试工具及平台等几个方面的内容。产品的硬件故障注入测试研究,是根据产品的应用环境,积累故障模型,测试时从故障模型库中提取故障模型,使用合理的故障注入方式,借助测试工具将故障注入到目标电路的过程,并监测产品在故障状态下的表现情况,根据测试标准进行正确的判断。故障注入测试技术是产品可靠性测试技术的重要内容,是一种行之有效的提高产品质量的手段。     

使用基于脚本的故障注入测试安全苛求软件

由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。     

一种模型驱动的协议测试故障注入引擎设计

故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。     

基于改良程序谱的软件故障定位方法

故障定位是软件调试过程中一项耗时耗力的工作,自动化查错的应用对于提高软件调试效率具有重要的现实意义。近年来,基于程序谱的故障定位方法得到了研究人员的大量关注。针对单错误现象,提出了基于改良程序谱的软件故障定位新方法,该方法基于“在单错误情况下,若测试用例运行错误,则该测试用例运行必定覆盖了故障语句”这一论断,将所有的故障测试用例对程序语句的覆盖情况做交运算,从而得到故障基,再利用故障基定位故障。最后,以西门子测试程序集为测试数据,对比了不同方法对故障定位的效果和效率的影响,其结果表明所提出的方法可以有效地提高故障定位的效果和效率。     

伺服驱动器自动测试技术研究综述

为设计和改进伺服驱动器自动测试方法，对现有的相关研究工作进行了分析与对比，包括伺服驱动器的测试平台和故障诊断方法，指出了现有测试方法存在的问题，对今后可能的研究方向和方法进行了展望。     

一种基于EAI模型的错误注入测试方法

研究了基于EAI(Environment Application Interadion)模型软件错误注入测试方法,结合变异测试技术,提出了一种基于EAI模型的加权测试技术及其实现方法.对实际软件进行测试,实验结果表明,该方法有效并且可复用性强.     

模型驱动的VxWorks操作系统故障注入与鲁棒性测试研究

VxWorks 是目前广泛应用于机载、车载等复杂嵌入式系统的操作系统,它为应用程序提供了强大的故障捕捉和缺省的故障处理服务,并提供应用程序可挂载的故障处理接口。由于故障产生的时机和机理复杂,因此如何控制操作系统使其按照应用程序的测试需求抛出相应的故障,从而触发应用程序的故障处理,是对应用程序开展鲁棒性测试时需要解决的一个关键问题。本文以 VxWorks 嵌入式实时操作系统中捕捉的故障作为研究对象,提出了由故障建模、故障注入、测试控制和鲁棒性判定组成的故障设计与测试方法,以支持对基于 VxWorks 的应用程序开展鲁棒性测试。该测试方法将模型驱动测试与故障注入技术相结合,在平台无关层次描述故障,针对操作系统中对相应故障处理方式的不同,本文设计了函数替换和变量修改两种故障注入方法,并在VxWorks 5.5 上进行了实验,确认了相应方法和技术的有效性。     

故障注入及故障状态实时观测的多总线测试系统

武器系统对可靠性要求较高,这就意味着系统本身要对各种突发故障具有一定的容错能力。为了检测并提升系统容错能力,需要在总线测试过程中加速系统故障生成,因此故障注入系统的设计尤为关键。本文旨在设计这样一套系统,该系统将武器领域中使用较为广泛的1553B总线以及RS422总线进行集成,具备更广泛的适用性。系统包含上位机软件以及故障注入模块,两者间利用以太网通信能够实现人工设定的故障注入以及故障状态的实时观测。最后,故障注入系统的有效性得到了验证。     

一种1750A指令集仿真软核设计与验证

MIL-STD-1750A指令集是星载弹载计算机常用指令集之一,为实现该类指令集CPU+FPGA的通用性验证,实现安全性、强度、单粒子翻转等异常测试,满足测试覆盖率要求,保证星载弹载计算机系统可靠性,提出了一种CPU+FPGA的仿真模型搭建方法,利用如中断和故障处理机制的实现、浮点运算单元设计方式、异常注入机制设计以及图形控制界面等关键技术,实现了一种精简1750A仿真软核。实验证明,利用该仿真软核设计的CPU+FPGA的仿真模型平台,可极大提高1750系列CPU相关接口的FPGA产品的验证效率和可靠性,也为后续星载弹载软件的测试提供了一套故障注入方便、故障定位清晰的测试平台。