Klocwork在军用软件测试中的应用

分析在软件测试工作中出现的大量重复性工作,引用软件工程化管理的自动化测试思维,自主定制测试脚本,在Windows系统及国产麒麟操作系统下使用Klocwork测试工具进行自动化测试设计、实现和应用,通过在项目开发过程中定期循环交替进行Klocwork的全面检查,发现集成测试和系统测试所不能发现的问题,提高项目代码的质量,降低整个测试过程的成本。     

航天器综合测试技术发展与展望

航天器综合测试技术将面临从传统的基于"实物航天器"的测试技术到基于"实物航天器+数字航天器"的测试技术的转变。文章从航天器综合测试自动化、智能化、数字化需求出发,以测试技术发展为主线,以测试基本原理方法为重点,从航天器综合测试技术体系架构、测试设计与实施要点、测试技术发展等方面,全面介绍了航天器综合测试技术基本内容与发展趋势。     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

一种航天器测试注入数据序列自动生成方法

针对航天器测试注入数据序列生成效率低、易出错问题,在Visual Studio环境下运用C++语言和开放数据库连接(ODBC)接口技术,设计了航天器测试注入数据序列自动化生成软件,形成了注入数据序列自动化生成方法。与传统人工序列生成方法相比,该方法具有自动、快速、智能的优点。通过载人航天器综合测试应用,结果表明:航天器测试注入数据序列文件生成效率提高95%。可为航天器自动化综合测试系统设计提供参考。     

实现红外导引头系统仿真自动化技术研究

目前仿真系统的程序部署及仿真系统的运行大部分都是基于手工操作方式,有些局部操作也采用基于脚本形式的自动化技术,但这些操作方式效率都比较低,人机交互不够人性化,在使用第三方的分析处理软件上不够智能化,尤其是针对没有二次接口的仿真系统的自动化仿真。本文设计了一种基于图片识别的自动化仿真平台,自动化仿真系统自动完成系统配置和参数设置,自动完成系统主要指标测试、系统标校和对目标的捕获跟踪。     

一种软硬件联合微处理器固件测试系统

针对微处理器固件缺陷隐藏较深，测试手段复杂且难度较大，测试效率低下，测试充分性难以保证等固件测试问题，在对微处理器固件架构和运行模式分析基础上，对微处理器固件运行模式和测试行为进行了数学建模分析，提出了一种基于软硬件联合的固件测试流程。在此研究基础上，采用软硬件联合处理的方法，设计实现了一种微处理器在线固件测试系统。测试系统由固件测试插件、硬件接口以及外部测试软件组成，可以实现微处理器固件程序系统的自动化测试和判读分析。固件测试插件嵌入在固件程序存储区内，对整个固件程序区进行访问读取。硬件接口实现外部测试软件与固件测试插件的数据缓存和交互。外部测试软件实现固件测试结果数据读取、判定和覆盖率统计分析。结合具体应用进行了测试验证，结果表明该方法的固件测试覆盖率达到91.33%，整个固件测试时间不超过5s。     

PC104总线式数据模块测试系统的设计

为了实现对PC104总线式数据模块DM6420的各项功能和精度进行全面准确的测试，以PC104计算机为核心，设计了PC104总线式数据模块测试系统。实验结果表明，该测试系统具有测试速度快、可靠性强、自动化水平高等特点。     

实用的自动调零技术

论述了模拟量测试电路中自动调零技术的原理及其实现方法，以及它在实际自动化测试系统中的应用、对测量数据的准确度和测试电路可靠性的改善情况。     

基于计算机视觉的火箭喷管极性自动化识别方法研究

火箭发动机喷管是控制火箭飞行姿态的主要部件,因此地面测试中的喷管极性测试是一个重要步骤。当前的发动机喷管极性测试依靠人工观测进行判断,对于摆动快、摆角小的一些动作难以清晰辨别。基于工业摄像头系统,利用计算机视觉技术对每一级喷管的运动极性进行实时地自动化识别。在算法设计中,利用基于YOLOv3-tiny的目标识别技术与基于Farneback光流法的运动检测技术,有效地判断出每一个喷管的运动轨迹与极性。同时为了方便地面测试人员使用,将算法、摄像头控制等集成于软件平台,形成软硬件相互协同的一体化系统,做到极性测试自动化、可记录、可追溯。经测试,提出的方法极性识别准确率达到100%,8路摄像头同时工作的视频流识别效率达到20帧/s以上。表明该系统能够提高极性测试效率,保证测试可靠性,为火箭型号测试无人值守提供了解决方案。     

基于CAN总线节点的标准化测试系统设计

本文拟对导弹测试系统实现标准化,完成了基于CAN总线节点的标准化测试系统设计过程及功能测试。文章详细讨论了标准化测试系统的设计过程,采用可复用设计思想,对测试系统各设备实现基于CAN总线节点的标准化设计。设计首先针对测试系统中的共有成分进行硬件与配置接口设计,之后重点突破非共有成分的标准化设计与配置接口设计。该标准化测试系统通过控制台确定配置界面和选项,上位机编译程序软件实现具体测试功能。测试结果表明该CAN总线标准化测试系统工作稳定,功能完善,满足设计需求。     

火箭控制系统分系统测试的脚本描述和软件设计方法

本文提出了火箭控制系统分系统测试软件的脚本设计方法 ,较详细地介绍了脚本的描述、解析和调试功能的实现 ,同时说明了它对型号地面测试软件的开发维护工作带来的积极影响。     

信息集成在航天运输控制系统中的应用研究

文章从信息集成的角度提出四项一体化设计方法。制导与弹道的一体化设计,采用联立法实现用统一的架构解决复杂约束下飞行器自主动态轨迹规划问题。结果表明这种架构能够灵活处理各种约束条件并具有很高的控制精度,后续的重点是进一步提高计算效率。自检测BIT与地面测试的一体化设计,通过基于高速测量总线的窃听技术、基于模型和数据驱动的自动判读技术以及系统在回路的综合测试技术,实现快速发射和减少技术保障人员的目标,并已逐步开始应用。控制与测量系统的一体化设计,通过平台化的设计方案实现功能模块的集成、重用和重组,降低开发成本,避免重复投资。模型驱动的软硬件一体化设计,通过构建软硬件协同设计平台,实现算法、软件、硬件的并行设计和综合仿真,为系统方案的选择提供定量分析工具。上述信息集成技术为基础理论研究、系统实现和设计方法学等提供新的思路,提升控制系统的自主性和适应性,拓展控制系统的作用,增强快速反应能力,并能有效降低成本。     

运载火箭测发控网络设计

运载火箭测试发射控制系统对数据处理能力、数据通信能力的要求越来越高。本文采用最新的网络通信技术,结合CZ-3A运载火箭测发控网络的实际设计需求和设计原则,概要介绍了运载火箭测发控网络的特点,着重从测发控网络的拓扑结构、双网卡捆绑技术、静态路由技术等五方面详细阐述了测发控网络的设计,最后通过测发控网络的功能测试验证了该设计的可靠性和先进性。     

某型弹道式飞行器分布式测试训练系统设计

针对弹道式飞行器技术准备流程复杂、测试仪器与设备体系庞大、施训环节易受制约等问题,提出了一种基于分布式交互仿真技术的测试训练系统框架.在分析某型弹道式飞行器测试训练系统功能需求基础上,在Visual C++6.0集成开发环境下,采用虚拟仪器仪表技术和高端数据采集技术设计了与实装软硬件人机接口一致的模拟系统;采用面向对象...     

战略导弹测试发射控制系统的发展和导弹模拟器的应用

战略导弹武器系统采用了快速机动使用方式,控制系统实现了全数控方案,地面各种勤务工作的设备做到了智能化.对地面测试发射控制系统的需求发生了变化,测控系统采用了"弹测"和"地测"相结合,以地面计算机控制为主的体制,采用了分布式计算机网络结构方案,自动化测试系统在"三化"方面也有很大进展.测控系统功能扩大了,系统更为复杂,测控软件在配套设备中的份量越来越大,越显重要,测控系统自检尤其是测控软件的测试尤显突出,文中提出采用导弹模拟器解决测控系统自检和测控软件测试问题,还可作为部队模拟训练装置,提出导弹模拟器的组成和设计方法以及使用问题.     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

一种面向大型分布式虚拟仿真试验管控系统

针对航天系统大型仿真试验的特殊需求，提供了一套面向大型分布式虚拟仿真试验的试验设计与调度管控系统，支持虚实数据结合设计试验样本输入，可采用多种试验设计方法完成仿真前的分析；构建了一套具备航天系统大型仿真试验设计特点的试验设计与仿真调度方法，以支持试验资源与仿真资源的统一管理和有效调度，以保证仿真过程的实时性要求并提高资源利用率，同时，该系统采用多种试验结果评估方法对试验运行结果进行评估，辅助用户做出合理决策。     

缩短遥测系统测试时间技术措施初探

针对遥测系统特点,提出缩短测试时间的两项应对措施:一是履行可靠性设计和长期稳定性设计,达到少测或免测的目的;二是发展机内自检(B IT)技术和研发外激式自动检测设备(ATE),提高自动测试水平。充分利用现代硬件和软件成果,实现快速测试、快速处理及快速显示的目标。     

含扩张状态观测器的高超声速飞行器动态面姿态控制

针对高超声速飞行器复杂非线性、高不确定性和强通道耦合等特点,提出了一种飞行器姿态控制的非线性设计方法。根据高超声速飞行器无动力飞行的姿态运动方程组,给出一个可面向姿态控制的非线性设计模型。针对一类非线性系统,提出了一种基于扩张状态观测器（ESO）的动态逆设计方法,并通过动态面控制理论,将其应用于高超声速飞行器的三通道姿态控制中。仿真结果表明,相比基于传统动态逆的动态面控制方案,本文所提出的控制方案可以保证飞行器快速、精确地跟踪角位置指令,并且具备针对系统不确定性的强鲁棒性能。     

新一代运载火箭的数据驱动快速测试技术

本文提出一种数据驱动的快速测试技术。数据由箭上系统通过自检测(BIT)采集,经箭地高速总线传送至地面;地面数据处理终端采用与箭上系统相同的模型和算法,复现箭上的处理过程,从而判断系统中是否存在故障,实现快速故障定位。本文全面介绍实现这一设计的关键技术,包括箭上信息监测点的选择、总线窃听技术、飞行软件中的数据管理任务等,并示例说明各类典型数据的分析以及故障诊断和定位等。所有分析工作均实时自动完成,并能随测试用例的调整自适应地计算出新的比对结果,为提高系统级测试的覆盖性创造条件;并大大节省地面专用测试设备和数据分析时间,减少技术保障人员。