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

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

靶场测控系统软件质量的综合评定

本文就把场测控系统软件质量所涉及的有关问题进行了综述。首先阐述了软件质量及其度量准则,然后根据靶场试验任务需求,重点介绍了应用软件质量与质量管理过程中应抓的主要环节及质量保障措施。     

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

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

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

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

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

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

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

软件FMEA实例研究

软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。     

软件工程化发展回顾与热点综述

本文回顾了从60年代提出软件工程概念以来，世界软件工程化的发展历程和主要的里程碑，介绍了当前软件工程技术的研究热点和重要成果。     

航天型号软件产品保证总体策划

软件产品保证是产品保证的重要组成部分，是软件研制所有支持过程的综合．是世界各主要航天机构如NASA、ESA软件产品研制所推行的规范化要求，是实施软件可靠性工程的基础。航天系统要实现从“抓评测，促工程化’’向全面推进软件工程化的策略转化．要以Q／QJA30标准发布与宣贯为契机，做好型号软件产品保证的总体策划，全面推进软件工程化管理。     

航天软件可靠性安全性技术应用发展趋势

从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。     

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

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

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

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

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

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

航天型号软件工程化十年回顾与展望

从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。     

航天软件过程改进实践

为了改进软件过程,提高软件开发效率,保证软件产品质量,北京航天自动控制研究所在2003年6月启动了基于GJB 5000-2003《军用软件能力成熟度模型》等级2的软件过程改进工作,于2005年9月通过了军用软件能力评价组的评价。本文介绍了北京航天自动控制研究所的软件过程改进实践,阐述了软件过程改进实践中取得的成绩和教训。     

测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现     

软件评审:类型及其实施要求

软件评审可以用于支持项目管理、系统工程、验证和确认、配置管理和质量保证的目标.本文定义了软件评审的5种类型(即管理评审、技术评审、审查、走查和审核),详细比较了它们之间的差异,分别阐述了每一种评审的目的、对象和实施步骤.在软件开发生存周期中,软件评审可以尽早发现并改正软件中的缺陷,减少因软件存在缺陷而造成的返工,提高软件的开发效率和软件产品的质量.