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

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

航天器软件可靠性增长模式研究与实践

基于航天器软件可靠性增长模式的研究,提出了航天器软件可靠性增长的概念和特点,系统阐述了一种适合航天器软件可靠性增长的模式和流程,探索性整合了SFMEA、SFTA、软件可靠性增长测试以及软件可靠性评估验证等多种方法和手段,将该增长模式应用在某型航天器设备软件可靠性增长项目上,并对其应用效果进行了总结。     

软件工程与软件可靠性——第六讲 软件可靠性工程实施中的几个技术问题

实施软件可靠性工程必须解决下列三个基本问题: ——如何确定软件可靠性指标要求? ——如何保证实现软件可靠性指标要求? ——如何验证软件已达到其可靠性指标要求? 这三个问题的具体解决涉及若干技术,例如:软件可靠性指标的表示方法和确定方法,操作剖面的建立方法,软件可靠性设计技术,软件可靠性分析技术,软件可靠性测试技术,软件可靠性测量技术,软件可靠性评估技术,软件可靠性验证方法以及软件可靠性管理的有关技术和方法(如软件可靠性大纲的制定与管理方法、软件可靠性费用、风险管理技术等)。限于篇幅,下面简单介绍软件可靠性指标确定和验证的3项有关技术。 1.软件可靠性指标的确定 软件可靠性指标是软件可靠性的量化表示。这里涉及两方面问题,一是如何表示,二是如何确定量化要求。     

基于能双理论的软件可靠性建模

提出了在传统在NHPP软件可靠性模型的基础上加以改进的思路，从能双可靠性理论出发，建立了一种面向软件计失效数的可靠性模型，与现有的模型相比，更能体现软件测试及运行中可能出现的复杂的模糊因素。     

单模式LIPS-200离子推力器的寿命及可靠性定量评估

针对离子推力器产品工作寿命及可靠性定量评估的难题,结合单工作模式LIPS-200离子推力器产品成熟度提升需求,通过寿命主要影响因素耦合分析,应用试验数据、数值模型和数理统计方法,提出了单工作模式离子推力器寿命及可靠性定量评估的可行技术途径:通过分析模型、验证试验和数值模型之间的不断迭代实现各失效模式对应磨损模型的精细化...     

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

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

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

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

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

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

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

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

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

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

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

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

系统可靠性评估技术发展综述

系统可靠性定量评估一直是军用产品可靠性工作的重要工作项目之一(GJB 450A)，该工作项目利用概率统计分析技术，通过对系统构成相关的元器件、零部件和设备失效率数据以及各类试验数据进行分析，逐层进行系统可靠性综合，检查各级产品是否达到了规定的可靠性目标。在系统设计权衡决策、试验方案的选择等方面具有举足轻重的作用。系统可靠性评估主要包括可靠性模型的建立、可靠性数据的收集和处理、产品单元的可靠性评估、系统可靠性综合等4个方面的技术内容。系统可靠性评估的技术流程如下：     

空袭目标威胁评估模型研究

以航路捷径、目标类型、机动特性、到达发射区近界的剩余时间，以及电子干扰为主要影响因素，结合多通道防空武器系统的特点，建立了基于层次分析法和模糊综合决策法的空袭目标威胁评估模型。用层次分析法确定各因素权重，以分段函数的形式给出权重系数。针对一给定的中程防空武器系统，用模糊统计计算各影响因素的隶属函数，并给出了模型的计算流程。仿真结果表明，所设计的模型能较准确地评估来袭目标的危险性，且具有较高的灵敏度。     

某武器装备正态型和对数正态型数据的维修性评估研究

研究了某武器装备正态型和对数正态型数据的维修性评估问题，提出了评估的主要指标，并用实例计算了其主要指标。计算结果表明，这些指标能够很好地定量评估服从正态和对数正态分布的武器装备的维修性。     

软件需求中的可靠性策略

软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑，通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保证。文中通过对时钟结构化的分析，试图就航天嵌入式软件谈了在需求分析阶段中软件可靠性策略与体会，同时论述了在航天工程中软件接口分析的合理性与增强软件可靠性的意义。     

基于Delphi和AHP的NGN项目风险识别与评价研究

风险识别和评估是整个风险管理过程中的中心环节。本文简要介绍了风险识别和评估的研究现状,随后结合NGN项目的工程实例,利用德尔菲（Delphi）法进行风险因素识别,利用AHP确定评价NGN项目各种主次因素的相对权重,结合模糊评价和专家判断的方法得到项目风险评价的特征矩阵,构造出风险评价模型来定量,并得出NGN项目的整体风险评价值,初步验证了模糊层次分析综合评价方法的有效性。     

运载火箭发射过程效能评估方法研究

论述了效能评估模型及一般分析方法 ,确定了定量和定性分析相结合的运载火箭发射过程评估方案 ,阐述了运载火箭发射过程效能评估的多指标综合评价方法 ,应用层次分析法建立了评估模型 ,规划了评估体系。论文最后给出的部分仿真结果描述了系统总体效能和设施设备工作情况及重要度之间的关系 ,这种关系是符合工程实际的。     

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

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

基于马尔可夫链舱段装配质量研究

产品装配质量在装配过程中是随机的。在分析了影响舱段装配质量因素的基础上,提出了基于马尔可夫链装配质量分析模型。通过质量损失函数,构建了舱段装配过程状态转移矩阵,为舱段装配质量的定量评估分析提供了依据。