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

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

一个测试软件的可靠性设计

软件的可靠性设计问题目前正受到人们越来越多的重视。本文以一个测试软件为例谈谈运用可靠性原理进行设计、调试的方法和效果。文章首先介绍了测试系统的设备配置、被测对象情况和特殊的测试要求,特殊要求主要体现在对软件的可靠性要求“高”上。围绕着可靠性问题,文章首先叙述了采纳的软件可靠性的几种含义——统计观点、结实观点、可靠观点及经济观点等,接着介绍了提高软件可靠性的四种设计原理——故障避免、故障检测、故障校正和容错。本文采用的是故障避免和差     

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

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

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

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

中巴地球资源卫星数管软件开发实践与体会

结合中巴地球资源卫星数管软件开发实践,介绍了实施软件工程的一些作法及其对提高软件质量的作用,从一个侧面说明了中巴地球资源卫星首发星数管系统获得成功的原因;给出了嵌入式星载软件可靠性设计、可维护性设计和可测试性设计的一些具体方法。     

实时软件可靠性与软件测试方法

从工程应用角度讨论计算机实时软件的可靠性问题。阐述武器系统实时软件的特点和实时软件可靠性设计技术。介绍软件测试方法。     

中巴地球资源卫星数管软件开发实践与体会

结合中巴地球资源卫星数管软件开发实践，介绍了实施软件工程的一些作法及其对提高软件质量的作用，从一个侧面说明了中巴地球资源卫星首发星数管系统获得成功的原因；给出了嵌入式星载软件可靠性设计、可维护性设计和可测试性设计的一些具体方法。     

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

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

软件需求中的可靠性策略

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

型号软件可靠性和安全性设计标准化研究

通过编制国家军用标准《软件可靠性和安全性设计准则》的实践,概述了型号软件可靠性和安全性设计标准化研究的重要性,论述了其标准中的软件设计工作涉及到的软件需求分析、软件设计和软件实现等三个阶段需要特别注意的几个关键问题,而且均属于标准化范畴研究的问题。     

软件可靠性与安全性工作要求综述

在航天、军事等领域中,硬件功能软件化、软件密集化已成为发展趋势。软件作为系统中的关键组成部分,其对系统的影响比重日益增大,如何保证软件的可靠性与安全性受到广泛关注。特别是当前型号中软件规模、复杂度、软硬件耦合程度大幅提升,对软件可靠性与安全性工作提出了更高的要求。本文在调研国内外有关标准的基础上,结合实际型号工程经验,对软件技术管理要求、不同阶段的可靠性与安全性工作要求等进行了系统总结,可为后续的软件可靠性与安全性设计、验证及管理等工作提供输入。     

资源卫星数据地面存储管理系统的设计与实现

MVC(Model-View-Controller)软件设计模式是目前广泛流行的软件设计模式之一。它将数据表示、流程控制和数据处理进行分离。通过采用MVC模式,可以简化软件开发,提高软件的伸缩性、扩展性和可维护性,达到提高软件质量的目的。结合面向对象的MVC软件设计模式和资源卫星数据的特点,文章提出并阐述了一种基于MVC模式的资源卫星产品数据地面存储管理系统的设计方法。该设计方法已应用于资源卫星地面系统的工程建设中。目前该业务系统运行稳定,证明了基于MVC模式的资源卫星数据地面存储管理系统设计合理、可行。     

战术导弹电子设备可靠性设计准则

从工程应用角度讨论了战术导弹电子设备可靠性设计准则。具体涉及到元器件选用，降额设计，容差设计，冗余设计热设计，简化电路设计，提高接点可靠性设计，三防设计，防冲击和振动设计，电磁兼容性设计和软件可靠性设计等诸方面的问题。     

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

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

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

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

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

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

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

气象卫星地面测试成像终端软件设计与实现

根据气象卫星地面测试对成像终端软件的要求，对成像终端软件的设计与工程实现进行了研究。给出了成像终端软件的接口要求、设计思想、实现方法和可靠性设计等。整星测试结果表明，成像终端软件的设计原理和实现方法合理可行。     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。