软件可靠性保证及相关技术

介绍了软件可靠性的基本概念，从航天工程应用的角度对软件可靠性保证工作，以及相关软件可靠性分配、预计、估计、分析与测试技术进行了较完整的归纳，并给出了下一步工作的建议。     

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

软件可靠性的量化问题讨论

在航天器中,随着软件数量的增多,软件可靠性问题日趋尖锐。软件可靠性不能只停留在定性分析阶段,要建立明确的可靠性指标,要通过全任务剖面建立起来的测试用例,对给定软件作长时间的测试和可靠性评价,以便展现软件可靠性不断增长的过程。本文介绍软件可靠性量化的方法,供软件研制者参考。     

提高武器系统软件可靠性的技术途径

根据国内外软件生产现状及发展趋势，分析了系统软件不可靠的原因，并根据工程实践，阐明了提高武器系统软件可靠性的技术途径。     

软件可靠性测试充分性工程技术研究

本文在阐述了软件可靠性测试的特点和影响软件可靠性的因素的基础上，提出了软件可靠性测试的充分性准则，结合工程实际，研究了可靠性测试环境、可靠性估计、可靠性测试验证方案，给出了将测试充分性准则用于可靠性测试的流程模型，为软件进行可靠性测评提供了方法。     

面向交会对接任务的高可靠应用软件设计方法

针对航天器控制系统软件特性及交会对接任务特点,利用软件可靠性理论,研究提高软件可靠性的方法,提出了面向交会对接任务软件的可靠性设计,增强了航天器控制系统的可靠性.     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

趋向性分析在软件可靠性模型中的应用

软件可靠性是软件质量因素中最基本、最重要的质量因素。软件可靠性的定量评估主要是通过软件可靠性模型来实现的，软件可靠性模型的有限假设与软件及其故障数据的复杂的离散性，是两个客观存在的矛盾，这种矛盾的存在是造成软件可靠性模型定量评估不精确的主要原因。正基于此，本文提出了软件可靠性的趋向性分析，为在不同的条件和阶段下选择和使用软件可靠性模型提供了定量依据。     

基于改进的双指数模型的软件可靠性预测研究

研究软件可靠性模型是实现软件可靠性定量分析的前提。为克服传统演绎建模的局限性,采用指数平滑方法进行软件可靠性建模,分别建立了单指数平滑模型、双指数平滑模型。在分析单、双指数平滑模型的基础上,引入动态平滑系数,对双指数平滑模型进行了改进,并运用实际统计数据验证了其预测效果,结果表明模型具有较高的准确性和实时性。     

软件可靠性修改的Schneidewind增长模型的特性分析

本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。     

从计算机系统角度分析软件可靠性

从硬／软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出，是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬／软件系统可靠性进行研究。基于上述认识，本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法，为对计算机系统进行可靠性分析时，考虑硬、软件之间的复杂的相关作用提供了基础，从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。     

适用于航天软件开发的可靠性度量

介绍了软件可靠性和软件度量的概念 ,阐述了航天控制软件的特点 ,提出了可靠性度量的选择准则 ,推荐了 14种适用于航天控制软件的可靠性度量     

一种新的硬/软件系统可靠性分析方法

在一种新的软件可靠性分析方法基础上，参考硬件系统的阶段性任务可靠性的建方法，为在对于不可修的计算机系统进行可靠性分析时考虑硬、软件之间复杂的相关作用提出了一套比较全面的解决办法。从而为更准确地评估计算机系统可靠性提供了可能。文中分析了一个飞行控制系统实例。     

一种星载软件在轨编程功能的设计和实现技术

对卫星姿轨控计算机软件在轨编程功能的设计和工程实现技术进行了研究，给出了在轨编程的原理、实现方法、可靠性设计、资源分配、接口要求和在轨编程的操作步骤。试验结果证明，提出的星载软件在轨编程原理和实现方法合理可行。     

软件技术状态检查工具的研究

软件技术状态管理是保证软件技术状态的正确性、控制软件技术状态的不受控性、提高软件可靠性的有效技术保障 ,是软件质量管理的一个重要环节。本文简要介绍了该工具的开发背景、设计思想、功能、优点及应用前景     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。