机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。     

机载液压系统故障诊断与健康管理

机载液压系统是关系飞机安全的重要功能系统,为提高飞机可靠性、安全性、经济性水平,现代先进飞机普遍采用故障诊断、预测与健康管理.本文研究总结了机载液压系统故障诊断与健康管理的历史发展,探讨了其关键技术,以期指导机载液压故障诊断与健康管理的研究和应用.     

机载电子产品可靠性试验实施方法研究

可靠性试验是可靠性工程的重要组成部分,本文对可靠性增长试验和可靠性鉴定试验的基本技术进行了分析和研究,明确了其内涵及实质,同时根据我国军用飞机可靠性工程研制的特点,给出了军用飞机机载电子产品的可靠性试验实施的方式和方法。     

飞机用仪器的气候环境试验方法

近年来,设备和仪器的性能越来越高级,越来越复杂,因此其安全性和可靠性则变成了主要技术课题.解决方法之一是进行环境试验.由于机载仪器要比一般地面仪器安全性、可靠性更高,因此环境试验自然也要求严格.     

机载机电系统可靠性的计算机辅助分析方法

 为了提高机载机电系统的可靠性，机载机电系统常采用余度系统，以达到故障容错，进而实现整个飞机系统的高可靠性和安全性。开发适应于余度间耦合、动态性能降级的ReliaApp可靠性分析评价软件平台，通过有效综合故障模式影响（FMEA）、故障树分析（FTA）和Markov状态转移链法，实现不同容错设计方案的选择、机电系统的可靠性定量评价并给出系统的薄弱环节，为系统的余度配置和改进设计提供软件设计与评估平台，以确保飞机系统的高可靠性和安全性。实例应用表明该软件平台是飞机机载机电系统可靠性设计与评价有效的计算机辅助工具。     

基于模型的复杂系统安全性和可靠性分析技术发展综述

复杂系统的安全性、可靠性分析一直是装备通用质量特性领域关注的热点问题。随着航空机载系统向综合化、集成化、智能化方向发展，系统的功能逻辑、架构设计以及容错设计越来越复杂，以人工演绎推理为主的传统安全性、可靠性分析手段已经越来越不能满足要求，模型驱动的分析方法正在成为复杂系统安全性、可靠性设计所依赖的重要技术手段。特别是近几年，基于模型的系统工程技术发展迅猛，并在国内外航空企业中得到了广泛的应用和认可，这为基于模型的系统安全性、可靠性设计技术的进一步发展提供了有利条件。本文主要对国内外基于模型的复杂系统安全性、可靠性分析技术的研究进展进行了介绍，并对该项技术未来的发展方向和趋势进行了分析，为装备开展系统安全性、可靠性分析工作提供借鉴。     

飞机软件故障的快速定位与排除

分析了飞机机载软件的分类和软件故障的特点,给出了软件故障的判定依据和故障排除方法,有助于提高维修人员的业务水平以及机载软件的可靠性水平。     

海洋环境对舰载导弹贮存可靠性影响分析

舰载导弹所处的舰上环境与岸基环境截然不同,与陆基导弹相比其贮存可靠性与保障要求也有着特殊性。文章结合我国海洋环境的特点,分析了导致上舰机载导弹失效的主要原因,对影响舰载导弹可靠性的主要环境因素进行了系统的分析,并总结了综合环境因素对其产生的影响。     

机载分子筛氧气系统安全性设计研究

简要介绍机载分子筛氧气系统的发展、组成和基本原理。分析国内机载分子筛氧气系统安全性设计的特点。鉴于美军F-22"猛禽"战机氧气系统存在的缺陷及实施的改进,提出了机载分子筛氧气系统安全性设计中关于氧气系统余度、应急供氧装置触发和供氧防护方案试验验证3个方面的意见,为氧气系统设计提供参考。     

现代民用飞机机载维护系统基线功能研究

现代民用飞机机载维护系统是飞机信息集中和处理的中枢,机载维护系统的先进性决定了民用飞机航电系统的先进性。随着机载电子化技术的发展,主流的民机机载维护系统的基线功能主要包括中央维护功能、飞机状态监控功能以及通信管理功能。对实现上述功能所需的基线功能及架构开展研究,对指导国产民用飞机机载维护系统设计、提升飞机安全性、可靠性和维护性至关重要。     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

一种嵌入式软件覆盖和分析测试方法

如何进行嵌入式软件的覆盖测试和性能测试,是嵌入式软件测试工程师较为关心的热点问题之一。介绍了一种基于PowerPc755目标板的嵌入式软件覆盖和分析测试方法。方法借助于嵌入式软件测试工具TestBed和实时硬件数据采集工具RTInsight,搭建了嵌入式软件动态测试平台,并在该嵌入式软件动态测试平台上进行了覆盖测试和性能测试,同时给出了相关的覆盖率测试和时间性能测试的测试结果。     

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

一种针对交互式软件的功能测试方法

交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

重视软件测试,提高软件的质量和可靠性水平

从提高软件质量的重要性出发,简要介绍了软件测试的目的和原则,分析了当前智能设备应用软件在开发、管理和测试方面存在的主要问题以及重视软件测试,提高软件质量和可靠性水平应采取的措施。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。