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

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

导弹平台测试系统设计方法研究

运用建模的技术对导弹平台测试系统进行模型设计过程中,关键是实现测试系统需求描述模型、结构模型和行为模型等的设计;首先对导弹平台测试系统的工作流程进行了分析,然后在此基础上利用UML建模方法进行测试系统的各项模型设计,通过分解用例图说明测试系统的需求描述模型,分析系统的结构体系及关联关系建立了测试系统的结构模型,运用序列图建立了测试系统的行为描述模型;最后,根据上述模型设计提出了系统的结构及布置关系的设计方案,并且在实际导弹平台测试系统开发中得到了应用,实现了测试系统的各项测试功能;结果表明,采用该建模方法不但能够有效提高系统设计的效率,而且系统在实用性的基础上,还具有复用性及拓展性。     

分布式全自动制冷压缩机远程测控系统

本文在制冷压缩机性能测试装置中设计实现了一套全自动测控模型,实现最优的分档匹配,并在测试过程中进行设备的自动切换调节,实现全自动无人值守测试,能够对整个测试过程的设备使用情况予以记录,实现测试过程的可追溯性。开发分布式远程测控软件,实时获取设备运行数据,确保测试人员可以在网络上任意一台电脑或者手机上预设全自动测试任务、查看测试结果、调整测试计划,大幅提升测试效率,降低测试员的劳动强度。     

基于虚拟仪器的VCU自动测试系统设计

在纯电动汽车开发过程中,整车控制器的软件与硬件会频繁更新,为了快速匹配样件、提高测试效率、提升测试吞吐量,设计了通用自动化测试系统。该系统使用TestStand作为测试执行模块。在LabVIEW中开发了一套即时可用的测试动作库和驱动程序,动作库执行测试动作,通过TestStand引擎与驱动程序进行数据交互。设计了测试项目管理软件,覆盖VCU测试全过程并保证可追溯性。实际测试应用表明,该系统可以快速配置测试环境、生成可执行测试序列,能够高效地定位控制器缺陷,且运行稳定、通用性好。     

基于多信号模型的LRM测试性建模与分析

基于多信号模型的测试性建模与分析为测试性设计提供了一条崭新的思路,但测试性建模过程所需的测试性信息却难以准确、完备地获取,进而使测试性建模过程变得非常困难,指出正确获取测试性信息的关键是要消除产品设计人员和建模人员之间存在的知识隔层。分析了多信号模型的8个要素,结合工程实践给出了测试性信息的获取方法和测试性建模的工程化操作流程,工程化操作流程包括：确定结构层次、故障模式影响分析、信号流分析、测试分析共4个步骤。以某现场可更换模块为例,完成了测试性建模与分析。结果表明,给出的测试性信息获取方法和工程化操作流程在实际工作中是可行的、有效的。测试性建模、分析的结果能够在设计阶段较准确的评估测试性设计是否满足既定的指标,并为测试性设计的进一步改进指明方向。     

基于多信号模型的现场可更换模块测试性建模与分析

基于多信号模型的测试性建模与分析为测试性设计提供了一条崭新的思路,但测试性建模过程所需的测试性信息却难以准确、完备地获取,进而使测试性建模过程变得非常困难,指出正确获取测试性信息的关键是要消除产品设计人员和建模人员之间存在的知识隔层;分析了多信号模型的8个要素,结合工程实践给出了测试性信息的获取方法和测试性建模的工程化操作流程,工程化操作流程包括:确定结构层次、故障模式影响分析、信号流分析、测试分析共4个步骤;以某现场可更换模块为例,完成了测试性建模与分析;结果表明,给出的测试性信息获取方法和工程化操作流程在实际工作中是可行的、有效的;测试性建模、分析的结果能够在设计阶段较准确的评估测试性设计是否满足既定的指标,并为测试性设计的进一步改进指明方向。     

光纤陀螺数字闭环控制系统模型实验研究

数字闭环光纤陀螺的动态性能受控制系统设计的影响.根据光纤陀螺数字闭环检测过程,建立了控制系统的数学模型.为在全频带内对模型进行验证,提出了基于Faraday效应的光纤陀螺频率响应测试方法,对该测试方法与角振动台测试方法的等效性进行了分析.设计了频率响应测试系统,测试范围大于50 kHz,波形失真小于0.1%.实测了采用一阶积分控制算法的数字闭环光纤陀螺频率响应.实验结果表明模型误差小于8%.     

基于动态测试策略的自动测试软件平台

现有测试模式的缺陷,使得设备平均测试时间较长,测试程序维护复杂,限制了先进故障诊断算法的应用;设计了一种新的软件平台架构,将测试过程、结果判读与故障诊断相隔离,有效解决了上述问题;文章详细叙述了软件平台的架构设计、调度模型和故障诊断;该软件平台已成功地应用在某型测试设备上,获得了较好的效果。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,本文分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术。设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性。     

一体化小卫星综合测试系统的设计

在卫星的研制测试过程中,现有的测试设备通用性不强、开放性和灵活性不够、设备集成化程度低、自动化和智能化程度不高;通过提出一种小型化、一体化的综合测试系统的设计方法,并结合现有的资源进行了具体的项目开发,为未来的小卫星提升测试效率,降低系统成本,缩减系统规模探索出一条新路;实践表明,该方案在满足现有测试要求的情况下,在研制成本、系统体积、组建时间和无故障运行方面等均有较大改善。     

远场天线自动测试系统的研究与实现

针对天线参数测试过程及测试要求,分析在天线参数测试中的主要问题,研究实际测试过程中环境因素对天线参数测量结果的影响,提出了一种基于虚拟仪器技术的远场天线性能参数自动测试系统的设计方案,详细阐述了该方案的系统组成部分与工作原理,包括矢量网络分析仪、天线测试转台与吊杆的控制原理以及数据采集的时序设计,结合Matlab实现了对影响因素的误差补偿与天线性能参数的测试计算方法,利用数据库技术实现天线测试数据的存储、读取与报告打印,通过现场测试试验验证了该方案的可靠性与可行性。     

面向自动测试的集成电路制造装备测试模型

对于典型的集成电路制造装备,提出了一种面向自动测试系统的多层次测试模型;使用层次化建模方法进行建模,将典型集成电路制造装备的测试模型按层次划分为装备级、子系统级和仪器级;利用XML建立了模块化的测试模型的描述,并使用引用的方式实现测试模型的重用;提出了使用时间信息和GUID确定被引用测试模型可用性的算法;该模型被用于具有工艺腔室的典型集成电路制造装备中,提高了测试模型的重用性,并拓展了对不同层次被测对象的测试能力。     

基于云测试的自动测试系统体系架构研究

为了解决面临保障任务时,我军现有保障设备对武器装备故障检测周期过长以及测试资源在测试周期中被单个故障装备长时间占用的问题,对基于云测试(Cloud Testing)的自动测试系统(ATS,Automatic Test System)的体系架构进行了研究。以软件可移植性、硬件可互换性和系统互操作性为设计原则,对面向信号测试领域的云测试系统的体系架构进行了分析;在充分研究现有ATS的体系架构及其存在的突出问题的基础上,提出了基于云测试的ATS的软、硬件模型。为构建基于云测试的自动测试系统的开发和相关关键技术的研究提供了以有益的借鉴并打下了坚实的基础。     

载人航天器自动化测试系统设计与应用

针对现有航天器测试不具备流程化、自动化程控的问题,提出了一种载人航天器自动化测试系统。该系统以测试项目模块化思想为依托,提供了测试子项目设计平台,自动生成测试程序、测试细则文档,自动执行测试程序并实现无人值守,在出现异常时根据程序设计自主跳转或等待人工决策,实时记录测试过程信息,测试结束后自动生成测试报表并评估当前测试是否有效通过。对系统方案、接口方式、部署及管理模式进行了分析,通过型号测试进行了试验验证,该系统实现了测试各阶段流程化、自动化程控,提高了测试效率。     

测试性框图模型比较研究与改进

对TEAMS和eXpress两款主流测试性建模与分析软件所采用的测试性框图模型——多信号模型和混合诊断模型,从产品结构单元表示、端口表示、功能(信号)表示、故障模式表示、测试表示等多个方面进行了深入比较研究,并对二者进行了综合评价。在此基础上,综合两者特性提出了一种新的测试性框图模型改进方案——端信号模型。通过将组元端口所通过信息流直接视作信号、引入结点、扩充信号映射定义、允许定义多值测试等多种设置,端信号模型方案能够支持基于电路网表创建模型和更为精确化的故障－测试关联性描述。     

基于模型的测试在工作流应用程序中的研究

近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展。但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性。为此,本文提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件。最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。     

基于RFM的机载余度计算机软件快速测试平台

现代飞机普遍采用电传飞行控制系统,飞行控制计算机是该系统的核心。为了提升飞控计算机的可靠性,普遍采用余度技术构建余度飞控计算机,该计算机由多个通道构成,每个通道有一个CPU,互相构成备份。但是,这给飞控计算机的软件调试和测试带来的巨大的困难,因为各个通道的机载软件之间相互同步、通信和交叉监控,必须并行调试和测试,这就造成了机载软件调试和测试的滞后,必须等待真实的飞控计算机开发出来之后才能开展工作。本文提出了一种基于RFM(反射内存)的余度计算机快速原型测试平台设计方法。该平台使用商用货架产品构成余度计算机的多个冗余通道,使用RFM模拟多通道间的通信、同步过程,通过对底层驱动封装实现硬件故障模拟和余度功能模拟,方便实现软件调试和从性能、功能测试,大大提高了开发效率,减少了研制周期。     

应用ETDFA生成CBTC联锁软件形式化模型的方法

CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。     

面向STD标准的信号通道控制模型研究

IEEE 1641（STD）标准是IEEE标准委员会制定的新一代面向信号测试标准。首先对STD标准定义的连接及其动态模型进行了分析,梳理了常用的开关类型。接下来,提出了信号通道系统的描述模型和控制模型,并针对常用的多路开关和矩阵开关,给出了开关能力描述模型和开关组件接口定义,总结了资源管理器的工作步骤和虚拟连接的资源共享判断准则。最后,给出了该信号通道模型的实现方法,并通过开发的一个图形化信号通道系统管理软件,简化了用户的开发工作。     

IOTEST在某型模拟对抗终端嵌入式软件测试中的应用

由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度。嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径。以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究。依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用。测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性。在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。