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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

航天器软件代码走查方法研究与应用

软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针对航天软件特点的代码走查方法，该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。     

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

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

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

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

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

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

基于虚拟化的火箭测发控软件冗余技术

火箭测发控软件是地面的核心软件,其重点业务需要使用软件冗余技术来保障发射的可靠性。本文研究并提出一种基于B/S架构的测发控软件系统设计方案,并在虚拟化平台上实现软件冗余技术,以满足日益增长的对测发控软件可靠性的需求。     

谈谈软件的可靠性问题(续)

二、软件可靠性 (四)验证阶段验证阶段是软件开发的最后一个阶段,软件验证就是采用各种方法分析和测试代码,以确定代码与需求说明之间的符合程度.这阶段所进行的活动,对保证软件的质量起着举足轻重的作用. 验证可分为测试、排错、证明、验证、确认、鉴定、接收等阶段.     

用评测筑起航天软件新的长城

软件测试，航天软件的质量保证 宇宙辽阔无垠，其结构复杂奇美，这也给航天工程披上了一层神秘的面纱。揭开这层面纱我们会看到，这是一个多么庞大、复杂、技术难度高的系统。在这个系统中，是嵌入其中的计算机及其软件承担着系统指挥、过程控制、数据采集和处理、数据通信以及系统安全保障等任务，其中软件是整个系统的神经中枢，它指挥着千军万马（即由成千上万电子元器件和机械零部件构成的其他部件）协同作战。 然而，存在于复杂的指挥、控制程序中的软件错误，在一定的运行环境下就会暴露出来并造成系统失效。例如，1963年美国研制的一…     

支持多核处理器的星载分区操作系统设计

针对星载处理器由单核向多核发展的趋势和当前没有针对航天应用的星载多核操作系统、卫星无法发挥多核处理器性能优势的问题,文章研究了适用于航天任务的星载多核分区操作系统。设计了一种支持多核处理器的星载操作系统结构,采用多核处理器动态调度和静态调度相结合的方法,实现了星载多核处理器高效实时调度与确定性调度。通过分区管理设计,实现分区间隔离与保护,避免软件问题扩散影响其他功能。该系统还具有支持星载应用(APP)动态加载、通过软件构件技术实现星载应用快速组装与集成的特点,可为航天任务应用多核处理器提供安全可靠的软件运行平台,满足未来航天新型任务和多核处理器的需求。     

宇航软件标准体系框架探析

随着航天事业的发展，宇航软件已经成为宇航事业至关重要的一部分。国际化的发展趋势，国际合作与交流的不断增多，宇航软件从质量、管理、产品保证等方面亟待跟上发展的步伐。本文在分析了国內外软件标准现状的基础上，根据我国航天软件标准化特点给出了宇航软件标准体系框架的建议。     

星载软件可靠性设计方法

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