浅析机载软件测试策略

归纳、分析了机载软件所特有的实时性、反应性、嵌入式、高度的可靠性及安全性的特点,并依据其特点提出了机载软件的测试策略。在综合分析讨论的基础上,总结得出了进行机载软件测试的原则和方法,对保证机载软件质量,提高其稳定性、可靠性、安全性具有指导意义。     

军用嵌入式软件的可靠性分析

论述了军用软件的特点,对软件可靠性的性质和特征进行了具体分析,提出了提高军用软件可靠性的方法.     

俄罗斯机载软件可靠性管理方法研究

随着软件在新一代战斗机中的作用提高,机载软件的可靠性已成为系统可靠性的关键和核心,可靠性管理是俄罗斯在航空航天方面具有代表性的技术领域,所以对俄罗斯机载软件可靠性管理从定性和定量两方面做了初步研究,对提高我国机载软件的可靠性具有借鉴意义.     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

软件可靠性之定量评估方法研究

基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件的可靠性评估。实践表明,本方法简单、可行,对其它领域的软件可靠性评估同样具有参考价值。     

安全关键软件可靠性验证测试研究

针对现有的安全关键软件可靠性验证方案与可靠性验证测试加速过程进行分析和总结,提炼出每一种方案和加速过程的内容与适用范围,从而帮助软件可靠性测试人员能有效地选择最为合适的可靠性验证测试方案与加速过程。从而提升软件可靠性验证测试的工程应用能力,确保安全关键软件的可靠性水平。     

机载计算机系统的故障诊断

在军机上,由于计算机系统的数量越来越多,同时航空电子设备日趋综合化,计算机系统的可靠性问题越来越突出。本文针对机载计算机系统的特点,提出了应用计算机测试技术进行机载计算机故障诊断的方法,解决了对机载计算机系统的测试问题。     

基于遗传算法的航空机载软件测试用例优先级技术研究

为了提高航空机载软件回归测试效率、降低回归测试成本,提出应用遗传算法实现测试用例优先级排序的方法。该方法将统一建模语言(UML)活动图转化为控制流图(CFG),对控制流图中各判定节点进行二进制编码生成初始种群,并通过选择、交叉和突变等操作搜索适应度最高的个体进行优先测试。以某型飞机机载环控系统综合控制器软件货舱供气旁路调节阀控制率计算功能为案例,证明该方法能够实现测试用例的优先级排序,可用于基于模型的机载软件自动化测试。     

嵌入式操作系统健壮性测试技术

针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。     

机载嵌入式软件可靠性设计研究

机载航电系统的可靠性问题越来越受到关注,软件可靠性设计要抓住两个方面,软件开发过程和软件开发方法。本文根据机载嵌入式系统软件的特点,讨论了软件开发过程在可靠性方面的考虑,还有在需求、设计、编码阶段使用的相关设计方法和技术。     

基于仿真技术的机载电子设备结构设计

本文针对机载电子设备的工作模式和所处的环境条件,在方案设计、详细设计至可靠性仿真试验各个阶段运用不同领域的软件工具,结合产品设计的实例,从热学、力学、电磁兼容等方面阐述了集设计、仿真、测试、优化于一体的机载电子设备结构设计流程,有效地提高了设计质量和产品的可靠性.     

机载嵌入式软件的系统测试

针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。     

机载武器作战使用可靠性综合验证

为减少机载武器可靠性验证试验样本量和降低验证试验风险,通过对机载武器作战使用可靠性验证的工程需求、试验方案、统计模型、验证方法等进行研究,提出了一种利用研制试验数据和定型飞行试验数据的作战使用可靠性综合验证方法。针对机载武器的特点,根据变动统计理论,考虑性能验证与可靠性验证的要求,综合利用研制试验数据和定型飞行试验数据,给出作战使用可靠性综合验证方案,进而制定设计定型飞行试验方案。实例表明,在不改变生产方风险和使用方风险的情况下,该方法可有效地验证机载武器挂飞可靠性和自主飞行可靠性指标,显著地减少定型飞行试验样本量,大幅节约研制成本,并缩短研制周期。     

机载气象雷达回波信号仿真系统

设计了一个机载气象雷达回波信号仿真系统,可用于高保真雷达回波信号的生成与演示。基于高保真风场建模数据,依照真实机载气象雷达的扫描方式初始化仿真参数,对风场数据进行机载气象雷达回波仿真,得到了可靠的仿真数据,并对可靠性进行验证。该系统采用C#与Matlab联合编程的方法进行实现,可实现的功能包括各种气象目标在不同模式下的雷达回波仿真,雷达回波数据正确性的验证及展示。得到的信号可为机载气象雷达信号处理和数据处理算法的开发提供数据支持。     

基于某机载视频部件智能检测系统的设计与实现

检测系统是检测产品功能、性能以及产品是否能满足用户需求的重要测试工具,机载计算机技术指标的测试从准确度、覆盖率以及稳定性、可靠性方面对其检测系统提出了更高要求。原始的视频信号检测需使用视频图像和测量工具相结合的方法进行,不易于故障定位及维修。主要阐述了基于某机载视频部件的智能检测系统的设计和实现,突破了原始的视频信号检测方法,检测系统通过对5种不同格式的视频信号进行自动检测,显示出详细全面的测试信息,实现了检测系统对被测件的智能检测,使得检测系统的故障覆盖率、准确度得到保证。该检测系统已成功运用于某机载视频部件,且性能稳定可靠,同样适用于其它机载设备中同类产品的检测。     

某型军机军械火控系统自动测试仪的设计与研究

传统的机载火控系统性能测试技术含量低,不能满足现代战争的需要.为提高部队的快速反应能力,研制了一种基于VXI总线技术组建的机载火控系统自动测试,并给出了测试仪的硬件配置和在Lab Windows/CVI环境下的软件模块化设计方案及实现方法.机载火控系统自动测试仪的研制,为部队战时或训练现场实时测试机载火控系统的主要性能提供了方便.     

基于配置的高安全性机载计算机自检测方法

针对机载嵌入式计算机系统自检测容易造成系统运行不稳定等问题,提出了基于故障配置的自检测设计方法,通过离线配置的方式对系统运行各阶段的故障检测内容、编码、故障记录及响应模式进行静态配置.检测软件根据配置信息自动开展系统自检测,满足了机载计算机自检测的低延迟、高可靠、快速配置等需求.通过配置信息对检测时长进行的可控调节,消除了分区及任务超时造成系统运行的不稳定因素.相比于传统的自检测方法,具有配置灵活、与应用软件无关等优点.     

飞机机载设备振动环境谱的数据处理与编制

飞机机载设备振动环境谱的数据处理与编制是飞机机载设备环境可靠性试验的重要组成部分,对保障飞机机载设备的安全性和可靠性具有十分重要的意义。以客运飞机为例,对基于Welch法和GJB最新标准的飞机机载设备振动环境谱数据处理与编制技术进行了研究,根据实测数据和相关资料统计,编制出了飞机机载设备综合环境试验剖面图。所建立的针对飞机机载设备振动环境谱数据处理方法与编制原理,满足了飞机机载设备振动环境谱的试验要求,为机载设备振动环境的可靠性评定奠定了基础。     

MPC8270的MCP异常研究与分析

MPC8270处理器以其良好的性能和丰富的接口在航空机弹载嵌入式领域有广泛的应用.MPC8270提供丰富的异常机制供软件开发者使用,由于MCP的产生与硬件有紧密关系,并不会由于软件本身导致,因此往往软件开发者对其并不在意.结合在实际工作中碰到的故障事例,对MCP进行了详细的描述.对MCP正确的处理可以增加软件的可靠性.