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

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

舰船装备软件测试数据自动生成方法及其应用研究

针对舰船装备软件接口报文信息量大,难于有效生成测试数据的现状,提出了一种基于网络信息交换协议的测试数据自动生成方法;首先通过分析网络信息交换协议中对接口报文的格式要求,获取测试数据要素信息,然后根据该信息自动生成接口报文数据,并且对所涉及的实际物理量和状态位数据进行必要转换,从而得到可执行的测试数据;在此基础上,开发舰船装备软件自动化测试平台,并将其应用于实际测试项目,有效提高了测试数据生成效率。      

舰船嵌入式软件测试用例自动驱动研究

针对舰船嵌入式软件手动测试的弊端,首先从业务逻辑、接口类型等方面总结了舰船嵌入式软件的特点,从测试用例的建模、形式化转换以及用例的解析3个方面提出了测试用例自动驱动方案,在此基础上,根据舰船嵌入式软件的业务逻辑,研究了测试用例建模方法,包括测试用例数据模型、行为模型和测试用例模型特性,给出了测试用例自动驱动方法,并且以上述方法为基础对测试用例自动驱动平台进行了设计,给出了平台硬件组成和软件设计方案;最后,利用测试用例驱动平台对某软件进行了测试应用验证,验证结果表明利用测试用例驱动平台可以显著提高测试效率。     

黑盒测试技术在指控分系统软件测试中的应用北大核心CSCD

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以指控分系统软件测试为例,详细介绍了软件黑盒测试的几种方法,以及如何采用黑盒测试技术来设计切实可行的测试用例,实践证明,应用这些黑盒测试技术在该系统软件测试的用例设计中,极大地提高了测试效率,取得了较好的效果,具有一定的推广价值。     

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

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

基于云计算的软件测试系统框架研究

针对传统的软件测试方法中存在的效率低、成本高等问题,将云测试技术应用到了软件测试中;介绍了云测试中的相关技术,并详细阐述了系统总体框架,使用了一种基于动态优先权的高优先权先调度算法,设计并实现了系统的调度子模块;Matlab仿真实验结果为在执行相同任务调度时,该调度算法比传统FCFS调度算法总周转时间短;当任务增加时,该调度算法总周转时间增加的慢,证明该算法可以显著地提高测试效率,提高资源利用率,缩减测试成本,实现软件测试的自动化。     

测试用例再生成策略在openSCADA软件中的应用研究

将基于序列模式挖掘技术的测试用例再生成策略实际应用于openSCADA软件的测试过程。针对openSCADA软件的测试用例库,深入探讨方法调用序列的抓取、序列模式的分类识别、新测试用例的演化搜索等关键技术,从而实现测试用例自动再生成。实验结果表明：采用该测试用例再生成策略能够有效地为openSCADA软件自动生成新的测试用例。     

基于Simulink和C++混合编程的测试系统建模技术研究

介绍了一种基于Simulink和C++混合编程技术的自动飞行控制系统测试系统建模技术及调试方法;基于Simulink搭建飞行仿真模型,通过RTW自动代码生成工具将各仿真模块分别生成嵌入式代码,并集成应用于C++软件设计环境中;通过对时钟的有效设定,实现了基于Windows系统的实时飞行仿真测试系统的设计,仿真软件的最小运算周期为2 ms;该技术不仅可以满足自动飞行控制系统飞行仿真试验的实时性要求,并且在软件开放性、接口扩展性、板卡驱动的通用性以及软件设计功能多样性等方面占有较大优势;基于这个技术建立而成的仿真测试系统,某型自动飞行控制计算机已经成功的开展了多轮半物理仿真验证试验,并取得了良好的试验效果,从而为产品的试飞定型奠定了坚实的基础。     

基于云环境的分布式软件接口自动化测试

软件测试是保证软件质量,提供可靠服务的重要技术手段。目前基于Web Service的分布式软件越来越多,其测试技术手段也越来越受到关注。Web Service的分布性和多样性使手工测试变得非常低效,因而需要不断提高Web Service测试的自动化程度。另外,云计算因其计算成本低、可伸缩性强的特点为自动化测试提供了新的支持环境。本文结合Web Service的测试需求,首次提出了基于云环境的Web Service接口自动化测试的技术框架,分析了框架内原子Web Service、组合Web Service测试的关键技术,并研发了基于CloudStack云平台的自动化测试的原型系统。实验结果表明,本文所提出的基于云平台的WebService自动化测试方案可行且提高了测试效率。     

嵌入式软件GUI自动化测试平台研究

为实现嵌入式软件的GUI自动化测试,本文对嵌入式软件GUI自动化测试现状深入分析,提出了一种无侵入式的GUI自动化测试框架,利用图像采集与信息识别技术实现测试用例结果判断;利用键盘鼠标模拟技术模拟测试用例执行的人机交互;利用脚本语言嵌入技术实现用例编辑与转换、利用嵌入式软件GUI测试自动化控制技术实现用例的自动驱动与执行。在此基础上,设计并研发了嵌入式软件GUI自动化测试平台,能够方便、有效的实现无侵入式的嵌入式GUI自动化测试。     

ATE软件系统研究与设计

针对自动测试软件平台的通用化和智能化,把软件测试中的模型驱动思想应用于硬件自动化测试系统中,提出了通用测试集成环境(GTIE)的概念,并进行了详细研究与设计,包括软件分析、软件设计以及软件实现过程。充分利用了UML思想对整个软件系统进行建模,其中包括软件的功能、静态结构、动态行为等,使软件的开发标准化。所实现的GTIE可有效提高测试程序的开发效率,降低开发成本,并使测试程序具有非常好的通用性。     

基于数值仿真船体结构毁伤测点布设方法研究

为有效测量水下爆炸作用下船体结构的毁伤程度,优化测点布设,建立了典型舰船有限元模型,运用大型有限元分析软件ABAQUS提供的声固耦合方法,对船体结构在爆炸载荷作用下的冲击响应进行仿真。依据数值仿真结果,分析船体结构薄弱环节,并将这些薄弱环节作为重点测量部位,结合工程实践和海上试验经验,在准确测量结构毁伤的基础上,合理布设传感器测点,研究设计了水下爆炸作用下船体结构毁伤测点布设方法。经海上爆炸试验验证,数值仿真结果与试验测试结果吻合良好,该毁伤测点布设方法设计合理。     

基于BU-61580总线控制器的接口及容错设计

针对RS-422接口与1553B总线接口无法直接进行高可靠性数据通信,提出了一种基于BU-61580总线控制器的接口及容错设计。设计采用1553B接口芯片BU-61580,通过FPGA控制完成了RS-422与1553B的接口控制及二者之间的数据处理。在硬件接口设计的基础上,设计IP-CORE完成BU-61580的芯片配置,并通过增加容错设计提高了总线控制器数据通的可靠性。经测试结果显示,计算机通过总线控制器与RT终端通信稳定、可靠,并应用于某测试系统中。     

基于LXI总线的压气机试验台测试系统设计及应用

本文介绍了基于LXI总线的压气机测试系统,阐述了该系统的主要特点和优势。试验中对电压、压力、温度、流量和频率等参数进行采集和记录,然后通过系统软件性能分析端提供专业的算法分析接口,接入压气机性能分析计算链以及其他用户自定义的算法进行实时性能分析,从而实现压力机性能的测试及判断。经过试验验证,该系统运行稳定,基于LXI总线的仪器和基于网络的数据发布方式既能满足试验数据实时采集、现场监视,多专业灵活分析等功能,提供灵活的接口形式满足不同专业的实时分析,实现了压气机性能的测试和试验风险的掌控。     

USB3.0接口在数据存储系统中的应用

USB3.0的传输速率最快可达5Gbps,因此,为实现大量数据的快速稳定传输,介绍了一种以FPGA为控制核心,DDR2 SDRAM为高速大容量缓存,USB3.0为记录器与计算机进行数据通信接口的高速数据传输系统,通过模块硬件电路及软件协议实现了数据的高可靠性稳定传输,解决了大容量记录器的数据传输速度瓶颈。经长期试验证明：该接口传输速度可稳定到达150M/s,且数据可靠无误,满足任务设计要求。     

热环境下的R-C系统自动光机优化与补偿技术

为了模拟和评估热环境下光机系统的成像质量,已开发出了接口软件,可以将有限元软件热分析的结果拟合成Zernike多项式或以干涉图方式导入光学软件中进行像质分析。但上述接口软件不能满足高低温下光学成像的要求。为了解决以上问题,对R-C系统采用了自动光机优化的方法。首先以Isight为软件平台,将Solidworks,Ansys,Matlab和CodeⅤ集成起来,形成一套软件框架;然后提出不同条件下的优化策略;最后对R-C系统进行光学、材料和结构尺寸的优化。结果表明,在-40～60℃温度范围内获得了优良的像质。     

Medical imaging using capacitive micromachined ultrasonic transducer arrays

We are investigating the use of capacitive micromachined ultrasonic transducers (cMUT's) for use in medical imaging. We propose an ultrasound probe architecture designed to provide volumetric ultrasound imaging from within an endoscope channel. A complete automated experimental system has been implemented for testing the imaging performance of cMUT arrays. This PC-based system includes custom-designed circuit boards, a software interface, and resolution test phantoms. We have already fabricated 1D and 2D cMUT arrays, and tested the pulse-echo imaging characteristics of 1D arrays. Beamforming and image formation algorithms that aim to reduce the complexity of data acquisition hardware are tested via numerical simulations and using real data acquired from our system.