星载软件可靠性工程研究与实践

为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述.重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性.     

软件可靠性设计方法研究

研究了软件可靠性设计方法,软件需求分析是研制高可靠性软件的前提和基础,软件可靠性设计包括软件体系架构设计、冗余设计、健壮性设计、容错设计、避错设计、错误恢复设计及重用设计等.通过专业复杂网管软件的研制实例,初样评审测试、正样评审测试及软件测评的千行代码缺陷密度证明了在软件开发过程中运用可靠性设计方法,可以提高软件的质量和可靠性.     

防空高炮数字化改进中的软件可靠性技术综述

防空高炮数字化改进是高炮实现数字化和满足信息化战争需求的重要内容,改进中软件的可靠性是影响数字化改进质量的关键因素,如何提高和保证数字化高炮软件的可靠性成为重点研究的问题.针对该问题,从数字化高炮软件系统构成及分析着手,对数字化高炮的软件可靠性设计、软件可靠性测试以及量化分析技术进行了综合探讨.具体分析了数字化高炮软件可靠性可进行分配的CSCI、软件可靠性测试的阶段、测试中的关键技术以及数字化高炮软件可靠性评估所应当采用的模型方法,通过上述研究可为数字化高炮研制过程中的软件可靠性工作提供参考.     

ARINC429接口驱动软件的可靠性设计研究

本文以软件可靠性工程理论为指导,以保证系统软件的高可靠性为研究目的 ,进行ARINC429接口驱动软件的可靠性设计与分析,提出了模块化容错设计、冗余设计等多种软件可靠性设计方法,有效提高了ARINC429接口驱动软件的可靠性.     

一种多维度的软件系统可靠性测试方法研究

传统的软件可靠性测试更多偏重于软件的功能方面。针对于这个不足之处,提出了结合操作剖面和性能测试的一种相对完善、全面的软件可靠性测试方法。归纳总结软件内部可靠性设计、外部高可用技术以及容灾恢复规范等诸多影响软件系统可靠性的因素,设计可靠性操作剖面要全面考虑这些因素。此方法是对传统方法的有用补充。最后通过一个案例简要介绍了该方法。     

软件可靠性分析与管理

本文论述了提高软件可靠性的重要性、提高软件可靠性解决的问题、如何提高软件的可靠性，论述了软件可靠性管理、设计技术、可靠性测试及分析技术、可靠性模型及数据采集技术等。     

高可靠软件的可靠性评估技术

研究了高可靠软件的可靠性评估技术,给出了失效数据稀少情况下的软件可靠性模型.假设高可靠软件的可靠性测试过程中发生失效是独立同分布的稀有事件,从理论上分析了极值统计理论用于软件可靠性评估的可行性,建立了软件可靠性极值统计模型,讨论了模型的参数估计方法和假设检验方法.     

面向操作系统可靠性保障的开源软件供应链

软件可靠性是软件工程领域中的研究热点之一,故障率分析是软件可靠性的典型研究方法.然而,软件构建模式已从单体模式演进到以开源软件为代表的规模化协作模式,操作系统作为代表性产物之一,所含开源软件之间通过组合关系和依赖关系,形成了一个包含上万节点的供应关系网络.典型方法缺乏对供应关系的考量,无法准确识别和评估因此而引入的软件可靠性问题.把供应链概念体系拓展到开源软件领域,提出一种基于知识的面向开源协作模式下软件供应可靠性的管理方法：面向开源软件生态进行本体设计,构建开源软件知识图谱,实现知识的提取、存储和管理,以知识为驱动,结合传统的供应链管理方法,提出一组面向开源软件供应链的可靠性管理方法,构成一套开源软件供应链管理系统.实验以Linux操作系统发行版的构建为例,展示了开源软件供应链对操作系统可靠性的支撑能力.结果表明,开源软件供应链将有助于理清和评估大型复杂系统软件的可靠性风险.     

小型无人机飞控系统软件可靠性设计与建模研究

小型无人机硬件受系统造价及其他因素的影响,不能很好地保证小型无人机系统的整体可靠性,而必须通过软件来补充并提高小型无人机系统的整体可靠性;飞行控制系统作为无人机的核心子系统,它的软件可靠性成为了可靠性保证的重中之重。文中首先论述了某小型无人机飞行控制软件的系统结构以及软件可靠性设计的方法和过程,然后利用白盒测试方法结合修正条件/判定覆盖标准对该软件的可靠性进行了测试;测试过程中,通过设计4组不同的测试用例,检验这些用例所对应的测试路径是否与实际情况相同;实验结果表明,所设计的方法满足软件可靠性测试的需要。     

基于软件测试的软件可靠性评价技术研究

提出了利用软件测试结果进行软件可靠性评价的技术和方法,并结合具体的软件项目,计算出了软件模块的可靠性以及软件的可靠性.该方法能够有效满足在软件开发的不同阶段对软件可靠性进行评价的需要.