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

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

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

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

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

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

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

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

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

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

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

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

型号质量师系统与型号研制RMSS方案论证

阐述了型号质量师系统参与型号研制方案论证的必要性，着重探讨了型号质量师参与型号可靠性、维修性、安全性和保障性（RMSS）方案工作的内容和要求，以及做好方案论证工作。对建立型号研制RMSS监控的指导意义。     

星载软件可靠性设计方法

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

软件需求中的可靠性策略

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

强化航天型号可靠性工作 深入推进航天型号精细化质量管理

论述了航天型号可靠性工作的发展概况,指出了当前航天型号可靠性工作中存在的突出问题,针对问题从可靠性工作理念、可靠性工作体系及职责、型号可靠性设计、分析与试验、通用产品的可靠性工作和可靠性技术基础几个方面提出了强化航天型号可靠性工作的途径,指出了强化型号可靠性工作的具体方向,为开创航天型号可靠性工作新局面,推进航天型号精细化质量管理提供了准则。     

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

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

《强化型号质量管理的若干要求》有关对标准化工作的要求

一 设计方面 贯彻总公司《航天型号可靠性管理暂行规定》和《航天产品保证大纲要求》(QJ2171),尚未进入试(正)样阶段的型号,要系统地开展可靠性、安全性设计分析工作,要落实组织和职责。进入试(正)样阶段的型号要针对研制中的问题,补充可靠性试验、分析和开展可靠性增长工作。 二 生产方面 1.根据总公司《关于清理型号工艺的通知》(质字[1997]009号)要求,认真清理在用工艺,     

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

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

航天型号可靠性信息系统软件的设计与实现

针对航天型号可靠性信息管理和评估工作的现状，从可靠性信息的分类、系统架构方面介绍了适用于航天型号的可靠性信息系统软件的设计思路和实现情况。     

加强可靠性基础工作 提升可靠性保障能力

航天可靠性工作经过几十年发展．在可靠性技术、队伍及工程应用等方面都有了较大发展，一批专业可靠性研究与应用机构相继成立并发挥作用，在型号研制中积极推广了“三F”、应力筛选、可靠性增长试验、贮存寿命试验、可靠性鉴定试验等成熟技术，软件、非电产品可靠性基础研究已经起步．为全面提高武器装备的质量与可靠性水平做出了积极的贡献。随着科学技术的发展和环境形势的变化．武器装备的研制生产更具有高技术、高投入、高风险的特点，这对可靠性工作提出了新的要求。     

软件产品化在航天领域的应用与管理

软件产品化是提高软件研制效率和产品成熟度的重要途径。通过推动航天型号软件产品化研制,形成软件产品资源库,实现建立"一次研制,重复应用"的航天型号软件研制模式。重点阐述了航天型号软件产品化的研制思路及其在型号应用过程中的管理要求,并介绍了北京控制工程研究所在型号软件产品化研制方面的探索和实践。     

健全航天型号质量与可靠性工作体系切实提高产品保证能力

概述了健全的质量与可靠性保证体系是航天型号质量的重要保证条件，介绍了型号工程质量与可靠性应从源头抓起、全过程受控、实施零缺陷管理的几项工作，并对在型号研制中应用推广质量与可靠性创新成果的具体做法作了说明。     

国防科技工业质量与可靠性研究中心举办“可靠性系统工程”培训班

为普及可靠性系统工程知识,明确可靠性、维修性、保障性、测试性、安全性和环境适应性的定性、定量要求及工作项目,系统地诠释可靠性系统工程中各工程专业的主要技术工作内容、方法及实施要点以及可靠性系统工程的主要管理工作,进一步推进可靠性系统工程在型号     

载人航天器的精细化软件研制技术管理方法

载人航天器软件研制具有技术新、难度大、新研配置项多等特点,必须研究一种新型的软件技术管理方法,以确保软件产品质量受控。文章介绍的精细化管理方法是在现有软件研制规范的基础上,通过软件研制工作的阶段化以及软件管理工作的划分,实现了软件的精细化管理。“天宫一号”目标飞行器软件研制工作的实践证明:该方法符合载人航天器型号研制的实际,可保证软件产品质量满足飞行任务要求。     

国防科工委科技与质量司领导在型号“两总”质量与可靠性培训开班仪式上的讲话（摘要）

首先我代表国防科工委科技与质量司对同志们参加第五期质量与可靠性培训班表示感谢和欢迎！本期培训班是结合国防科技工业实际进行编排的，内容比较丰富，有基础的管理理论、法规和标准要求，有开展型号可靠性工作的要求，还介绍一些专题，是一次较全面的学习机会。希望通过本期培训使大家更加系统地了解、更加全面地掌握对武器装备型号质量与可靠性的要求，以便在将来的型号研制中更好地知道我们应该做什么、怎么做、怎么要求。