基于LDRA Testbed的飞机中央维护系统覆盖测试

基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。     

基于LDRA Testbed的主机/目标机 测试方法研究

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。     

末制导雷达单元测试优化探讨

根据可靠性理论和对导弹末制导雷达单元测试中“天线搜索周期”、“战斗指令记忆时间”项目的具体分析,提出了该两个项目的检查可以取消的观点,为反舰导弹末制导雷达单元测试项目的优化进行了初步探讨。     

基于TestBed 和Visual Studio 对QT 程序单元 测试的研究与实现

针对测试工具TestBed 无法动态执行QT 程序单元测试用例的问题，文章通过介绍单元测试定义、测 试原理以及TestBed 工具的使用原理、并指出了TestBed 工具对QT 程序进行单元测试存在的问题，最终提出 了一种结合TestBed 和Visual Studio 对QT 程序进行单元测试的方法，并给出了方法的详细设计与实现步骤， 为QT 程序动态执行单元测试提供一种简单、便捷的实现方式。实际结果表明，结合TestBed 与Visual Studio 对QT 程序的单元测试方法显著提高了单元测试的效率，减少了单元测试的成本。     

基于LDRA Testbed的民用机载软件结构覆盖率分析流程研究

根据RTCA DO-178B中对于民用飞机机载软件结构覆盖率的要求,从实践出发,给出了使用DLRA Testbed工具进行民用飞机机载软件结构覆盖率分析的主要流程。     

傅里叶望远镜原理及改进研究

傅里叶望远镜是利用激光主动成像、光学合成孔径等技术的空间目标高分辨力成像技术,美国地球同步轨道卫星激光成像国家实验基地(Geo Light Imaging National Testbed,GLINT)是一项研究采用傅里叶望远镜技术对地球同步轨道卫星成像的计划。本文介绍了傅里叶望远镜的基本原理,阐述了GLINT的组成及简单原理,说明了目前GLINT经过必要改进可以应用于对低轨卫星成像。     

航空电子综合化仿真系统检测技术

本文介绍了航空电子综合化实验仿真系统称研究过程中进行通信检测验,单元测试,数据有效性检验和系统综合检测的软件技术。     

基于可测试指标集合的导引头性能评估方法

文章提出了一种采用雷达导引头单元测试指标构建评估指标体系、综合运用层次分析法和模糊综合评估法的导引头性能评估方法.以某型导弹导引头为评估对象,采用该文提出的评估方法对其进行了性能评估.     

基于SFMEA的机载软件安全性需求提取方法研究

软件失效模式、影响分析(SFMEA)是对软件进行安全性分析的重要方法,通过对软件失效的影响分析、失效原因分析可以得到对应的改进措施,可以提高软件的安全性。通过对SFMEA进行扩展,建立包含有失效原因的经验数据的航空机载软件失效原因库,为用户分析提供辅助参考,确保失效原因以及对应的改进措施分析的充分性,并最终提取软件安全性需求保证后续的软件安全性工作。最后给出了上述方法在某发动机控制软件中的应用,过程和结果均表明该方法能够有效的提取软件安全性需求以支持软件安全性工作并最终保证软件安全性。     

轻量级计算机内存软件巡检技术

针对软件单粒子效应防护问题,介绍了一种轻量级软件加固方法。该方法采用软件内存巡检技术,在不增加额外的设备硬件开销的情况下,检验并纠正CPU内存单粒子翻转,提升设备可靠性。该技术实现简单,系统资源消耗小,只需在已有程序的基础上进行少量代码添加,就可以实现软件加固,对已有代码修改量小。利用了系统中CPU空闲率高的特点,只在CPU空闲时对内存进行巡检,不会干预软件正常功能的运行。试验和在轨运行结果表明,该技术可以有效检测到内存中出现的单粒子异常事件,对原软件任务的功能性能指标没有影响。     

基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。     

大气数据计算机自动测试系统研究

大气数据机作为重要的航空电子设备，测量大气数据的精度关系到飞行控制的性能和飞行安全。介绍了大气数据计算机测试系统的软硬件结构，对大气数据机的各参量和测试信号进行误差分析．采用误差修正的方法消除电压测试信号的误差，有效地提高系统检测精度，为测试大气数据计算机性能提供科学依据。     

Sinamics S120在伺服系统测试中的应用

采用Sinamics S120设计完成了伺服电机及系统性能试验主要测试项目的测试。介绍了系统的设计思路、软硬件结构等内容,探讨了伺服电机及系统测试试验的测试方法。目前系统已投入实际应用,各项测试指标均满足设计要求,工作稳定,操作方便,对同类系统设计具有参考价值。     

基于PAWS软件平台的ATE项目开发

PAWS软件是TYX公司开发的专用测试软件,对于ATE项目,使用PAWS软件有着明显优势,它有着针对性强,模块划分明显的特点。本文介绍了在ATE项目中,怎样使用PAWS软件平台开发与硬件关联的测试软件。     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

虚拟测试平台技术研究

提出将各种主流仿真、计算机辅助设计、诊断推理和虚拟仪器软件的核心运行组件进行集成,构成功能完备、配置灵活、用户免编程的虚拟测试平台,来满足高性能智能化产品动态测试、参数调整与优化、诊断排故的需要。对虚拟测试平台所具备的功能、系统结构及关键技术进行了详细的论述,最后结合智能运动控制系统的全数字与半实物仿真测试,就虚拟测试平台的典型应用进行了讨论。     

基于Visual Basic 6.0的信号发生器自动测试系统

介绍了信号发生器自动测试系统的组成、功能以及实现方法,着重介绍了软件系统的结构、设计思路及设计的难点.该自动测试系统的软件基于Visual Basic 6.0编写,并通过GPIB口实现与仪器间的通信,自动完成数据处理及生成文档.该测试系统实用、高效、可靠.