摘要：随着软件技术的广泛应用,软件质量对航空装备系统的影响程度极高,为提高装备软件的质量,必须减少软件故障和错误的发生。通过对软件故障数据库进行需求分析,将数据内容和范围作为输入,设计构建软件故障数据库的概念结构模型、逻辑结构模型和物理结构模型,构建软件故障数据库。应用构建好的软件故障数据库,形成结构化和非结构化的软件故障数据,可以方便地对故障数据进行数据分析,在装备软件研制的不同的阶段都能科学、系统、完整地利用故障数据,减少已知软件故障的再次出现,显著提升软件开发和测试工作效率,有效提高装备软件的安全性和可靠性。

摘要：软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.但是当前所进行的多为软件故障诊断中单项活动的研究,较少有对各项诊断活动及其相应方法进行有效集成的研究.文中分析软件失效机理和软件故障产生原因,讨论软件故障模型,提出一种由故障检测、故障定位、故障排除、交付等组成的集成化的软件故障诊断过程框架,研究软件故障检测、定位和排除中所采用的方法及相应的过程,并且将该框架应用于实际的软件故障诊断.

摘要：关键软件要求极高的可靠性和安全性,然而当前的技术途径尚不能完全消除软件故障——软件测试不能保证软件正确性,模型检查等形式化验证技术也存在着诸多局限。文章提出了基于监控程序运行途径来捕获软件故障和验证程序性质正确性,构建了基于程序运行形式化分析的软件故障监控(SFMRFA)模型,在监控逻辑表达、程序插桩、multi-agent设计等关键技术的基础上开发计算机辅助工具来监控、分析和引导程序执行,使软件运行当中可测、可控,避免软件失效。

摘要：通过分析和总结引发装备故障的环境因素构成及特点,设计一种软件故障案例框架表示模板。通过引入区域权重因子,提高了基于VSM(向量空间模型)的案例数值化表示的有效性和准确性。针对故障案例框架表示模板的故障症状中文描述特征项,提出了一种基于词典的相似性匹配算法,以此为基础,给出了基于案例推理(CBR)的装备软件故障诊断算法描述。

摘要：应用SFMEA和SCA法对某系列数控系统的软件部分进行故障分析,掌握此系列数控系统软件故障发生情况及其子系统危害度,找到软件可靠性薄弱环节,为探寻数控系统的可靠性设计提供依据。

摘要：为了提高软件的故障自动检测能力,进行软件故障自动检测系统优化设计,提出基于JAVA的软件故障自动检测系统。系统由软件故障数据采集模块、故障信息融合模块、特征提取模块、信息集成处理模块和故障专家系统诊断模块组成。在DSP和逻辑PLC中进行故障检测系统的集成开发。采用数据融合滤波技术进行软件故障信息的多传感器采集,对采集的故障采用自适应功率放大进行信息增强处理,提高故障的类别属性诊断能力,在故障信息融合中进行故障特征挖掘,提取反映软件故障类别的关联特征量,在专家系统进行故障识别和智能诊断。在JAVA开发工具下进行软件故障自动检测系统的模块化开发设计。测试结果表明,设计的软件故障检测系统具有很好的故障诊断能力,故障检测的准确率较高。

摘要：对某系列数控系统的软件部分进行了故障部位、故障模式及故障原因分析,指出此系列数控系统软件的可靠性薄弱环节,为探寻数控系统的可靠性设计提供依据。

摘要：航空发动机的全权限数字电子控制(FADEC)系统具有体积小、重量轻,其控制软件易于编写和修改,并可以实现复杂的控制规律和许多现代控制算法等特点。软件的可靠性是系统可靠性的重要组成部分。本文研究了航空发动机FADEC系统中软件故障问题,并对软件故障问题的分类及其性质进行了研究和分析,为以后的软件可靠性设计做了较好的准备性工作。

摘要：为降低成本并提高软件开发过程的有效性,提出基于束缚态粒子群算法(bound particle swarm optimization,BPSO)降维的软件故障倾向模块深度神经网络(deep neural networks,DNN)预测方法。给出基于BPSO降维的软件故障倾向模块DNN预测算法的计算框架,以及所采用的21个软件故障度量指标和其指标值的归一化预处理方法,采用粒子群算法对软件故障数据集进行降维处理,利用深度神经网络算法实现对软件故障倾向模块的预测。通过在PC1、JM1、KC1和KC3这4组标准测试集上的仿真实验验证了该算法的性能优势。

摘要：实时软件是实时处理系统的核心，软件可靠性在实时系统中日趋重要，软件故障将导致系统失效、崩溃。本文对当前软件设计中普遍存在的问题作了比较详细的分析，并提出了一些有助于提高软件可靠性的设计和管理方法。