航空机载软件缺陷知识库框架

提高航空机载软件质量成为当前一个亟须解决的问题。建立软件缺陷知识库对于进行有效的软件质量评价及软件故障预测,识别易于出现缺陷的软件模块,提高软件测试效率和软件质量,都能起到重要作用。提出了一个基于机器学习和产生式系统推理相结合的航空机载软件缺陷知识库构建方法和相应的框架,该框架还包含软件缺陷度量元选取标准、选取清单,以及缺陷信息统计要求、分析方法。在此框架的基础上,利用实际测评工作中积累的大量航空机载软件缺陷数据,构建了一个统一、规范的软件缺陷知识库,并通过该知识库给出了缺陷预防信息,从而对航空机载软件全寿命周期进行了有效指导。

航空机载软件安全性测试技术研究

对航空机载软件安全性测试技术的研究,其主要目的在于通过对航空机载软件的各种安全性测试,从而有效促进航空领域的不断进步与发展。但是近年来出现的多起飞机失事现象,表明了航空机载软件的安全性问题日趋加重,因此对航空机载软件安全性的测试技术的研究刻不容缓。本篇文章简要概括了针对航空机载软件进行的安全性测试技术,同时对航空机载软件关于安全性的指标进行深入研究,并且对航空机载软件关于关联航空风险的安全性进行测试,文章对于航空机载软件安全性测试的研究为航天航空事业的安全发展具有宝贵的借鉴意义。

航空机载软件全数字仿真测试系统的设计与实现

针对航空机载软件测试环境与开发环境冲突、测试环境可控性和通用性差、非干预性测试困难的问题,分析了全物理实装测试环境、半实物仿真测试环境的优缺点,研究了全数字仿真测试技术,设计并实现了一种航空机载软件全数字仿真测试系统。该系统由仿真核心平台、仿真工具组件、协同仿真组件和人机交互组件构成,提供了航空机载处理器、内存、外设等多种可重用库。提出了基于底层虚拟机的动态二进制翻译技术、协同仿真时间同步和数据通信机制等关键技术,实现了航空机载软件全数字高速闭环仿真运行。工程实践证明,该系统能达到降低硬件设备的依耐性、简化测试环境搭建的复杂度、提高测试效率约42%的目的。

航空机载软件测试的重要性与流程

航空机载软件测试工作越来越受到用户和生产生商的关注。本文通过对机载软件测试的完整流程的阐述，来说明软件测试不仅是为了发现软件中错误，更重要的是验证软件需求是否被实现，并为用户提供一个可靠的软件置信度，提供组织软件过程改进的证据，以提高开发团队的信心。

安全性测试技术在航空机载软件的研究

研究航空机载软件的安全性测试技术,主要是为了测试航空机载软件的安全性,以此来促进航空领域的不断发展和进步.近年来,经常出现飞机失事情况,这说明航空机载软件的安全性问题已经变得越来越重要了,需要不断加强研究航空机载软件的安全性测试技术.在本文中,对航空机载软件的安全性测试技术进行了分析和研究,同时测试了航空机载软件的安全性,以期为我国的航空航天事业的发展提供必要的参考建议.

安全性测试技术在航空机载软件的研究

我国社会经济和科学技术实现双向发展,为航空领域带来良好的发展机遇。人们不断加大航空机载软件安全性测试技术的研究力度,及时发展航空机载软件中存在问题,制定针对性措施,保证航空机载软件的安全可靠性,促进航空航天事业更好、更快地发展。本文主要阐述航空机载软件安全性,分析航空机械安全测试需求获取方法,提出系统风险识别和安全设计方法,并且进行航空机载软件风险剖析的安全性测试研究。

航空机载设备的软件文档种类要求

软件文档是航空机载设备软件的重要组成部分。应遵循适用的标准来规定航空机载设备的软件文档种类要求。应普遍重视软件编码标准和软件配置索引这两种文档，而通常规定的用户手册则不是必需的。

多信息综合的高升力控制机载软件设计

论述了高升力控制系统的功能、组成和工作原理。分析了新一代航空电子系统的发展方向和多信息综合化的设计思想。设计了高升力控制系统核心控制计算机的总体结构，获取并综合了传感器信息、作动器信息以及相关联的飞机其它系统信息。分析了多设备协同管理条件下的系统状态关系，设计了系统多状态的管理功能。分析了控制器和作动器的多余度通道控制模式，设计了多设备的协同任务控制功能。