军用软件可靠性工程浅探

在软件密集型装备已经成为武器发展趋势下,软件已经成为武器装备一个重要的组成部分,用系统工程的方法研究军用软件的质量可靠性等问题是保证新型装备战斗力的必由之路。软件可靠性工程的基本内涵包括：软件可靠性度量、软件可靠性分析与设计、软件可靠性测试与验证,以及软件可靠性管理。通过科学有效的管理,将有助于提高软件的质量。     

利用软件测试数据和Nelson模型评估软件可靠性

提出了一种利用软件测试数据和Nelson软件可靠性模型对软件可靠性进行评估的方法，并给出了利用某软件的测试数据对其可靠性进行评估的实例．在不具备进行大量软件可靠性试验的条件下，为利用软件测试数据对软件可靠性进行评估提供了一种可行与实际的工程方法．     

军工产品嵌入式软件可靠性评测技术

软件可靠性是衡量软件质量的重要指标之一，软件可靠性评测是获取软件可靠性定量指标的关键手段和方法，合理、有效地获取软件可靠性数据对评价软件质量具有重要意义。该文结合有关军工产品中嵌入式软件的开发过程，较为详尽地分析了软件可靠性评测的全过程，在“测试-排错-新版本”的迭代过程中采用软件负载压力测试方法和可靠性统计技术，跟踪故障强度的变化，并对软件失效数据进行采集与分析，从而达到软件可靠性评价的目的，最后，对软件测试与软件可靠性测试进行了比较分析，提出了各自测试的侧重点。通过对软件实行可靠性评测，可使软件产品在投入使用或装载在硬件产品之前就提高了其系统可靠性，使军工产品系统可靠性的提高有了更充分的保证和支持。     

机载武器系统软件的可靠性工程管理

随着计算机技术在机载武器系统中的广泛应用,机载武器系统对软件的可靠性要求越来越高,本文结合机载武器系统软件的特点,提出了开展机载武器系统可靠性工程管理的初步构想,探讨了软件工程在机载武器系统软件可靠性工程管理中的一些应用。     

载人火箭故障检测与逃逸控制软件可靠性设计

描述了载人运载火箭故障检测与逃逸控制软件的可靠性设计,并为制定航天软件的可靠性设计细则提供指南.使用描述的软件可靠性设计,将有利于提高航天软件的可靠性,有利于确保载人飞行任务的成功.相关工作已经应用于中国载人航天工程CZ-2F运载火箭故障检测处理系统.     

软件可靠性工程综述

综述了软件可靠性工程研究和实践的内容和国内外现状,从软件可靠性模型、软件可靠性设计、软件可靠性测试几个方面进行了论述,指出了软件可靠性的重要性,并从工作实践出发阐述了软件可靠性测试过程和特点,最后对软件可靠性工程研究和实践进行了展望。     

舰船组合导航应用软件可靠性指标分配

文中提出了嵌入式实时多任务组合导航应用软件可靠性分配模型,通过分析影响可靠性的各种因素,给出了基于任务重要度及复杂度的分配方法,在保证系统可靠性的前提下,给出了求解实时多任务软件各任务可靠度的工程实现方法.     

软件可靠性的模块分析方法

借鉴软部件可靠性分析方法提出了软件可靠性的模块分析方法 .先将软件分解为模块 ,然后在模块层次上应用EET可靠性增长模型 ,最后进行可靠性叠加而得到软件的可靠性模型 .所需的模型参数可以由软件的历史版本信息、软件模块的静态属性和动态属性得到 .该方法可以在进行软件测试之前实施 ,并在测试中完善 .详细描述了该方法的 6个步骤 ,最后总结了该方法的优点     

一种导弹武器系统软件可靠性分配模型

软件可靠性工程中的软件可靠性分配是一项重要的设计技术,软件可靠性优化分配方法应用的研究对软件可靠性影响十分关键。以某型导弹发射系统控制软件的功能特点为基础,建立了基于层次分析和频率比的软件可靠性优化分配模型。该模型首先运用层次分析法定量确定软件各部分的相对重要性,然后将得到指标再应用于基于频率比的软件可靠性分配模型,获得各组件的可靠性指标。通过算例计算表明,采用该种算法,由于综合权衡了用户方、程序开发方的观点,使得可靠性分配指标具有较好的可用性。     

某型导弹捷联式惯导控制系统硬、软件可靠性预计

本文概述了系统硬件、软件可靠性预计的一般方法和指标;以某型导弹捷联式惯导控制系统为实例,应用串联模型及本组开发的软件可靠性预计程序(SRPP)分别对其硬、软件可靠性进行了预计,结果满足可靠性指标要求.     

某型导弹捷联式惯导控制系统硬、软件可靠性预计

本文概述了系统硬件、软件可靠性预计的一般方法和指标：以某型导弹捷联式惯导控制系统为实例，应用串联模型及本组开发的软件可靠性预计程序（SRPP）分别对其硬、软件可靠性进行了预计，结果满足可靠性指标要求。     

引信软件可靠性测试与评估的工程技术研究

对引信软件的特点进行了分析，从可靠性指标的内涵和可靠性指标的分配、测试用例的构造、测试环境与方法、可靠性估计、可靠性增长试验及可靠性验证等方面阐述了引信软件可靠性测试与评估技术，为引信软件进行可靠性测评提供了参考。     

弹载软件可靠性初探

弹载软件可靠性是导弹武器系统可靠性的一部分,由于软件应用平台的特殊性,其可靠性设计与一般的软件可靠性相比有一定的区别。针对这些特殊性以及软件可靠性设计中的问题,提出了提高弹载软件可靠性的建议。     

引信软件可靠性测试用例生成研究

引信作为弹药战斗部的起爆控制系统，它的可靠性对战斗部效能的发挥起着至关重要的作用。通过对引信软件可靠性测试的分析，结合引信软件的特点，提出了引信软件可靠性测试用例的生成方法。     

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。     

软件可靠性模型及估值的介绍

本文系统地介绍了Ｊ－Ｍ模型、Ｇｏｅｌ－Ｏｋｕｍｏｔｏ的ＮＨＰＰ模型、Ｇｏｅｌ的推广的ＮＨＰＰ模型以及Ｗｅｉｂｕｌｌ Ｄｉｓｔｒｉｂｕｔｉｏｎ模型等４种可靠性模型的假设、失效函数及可靠度函数。并且介绍了他们相互间的关系、软件可靠性数据的收集、可靠性模型参数的估值方法以及软件可靠性评估的一般过程。     

一种高精度高隔离脉宽调制解调电路设计

为满足机车牵引系统、强磁场线圈等的高压高隔离监测要求,提出一种新颖的电磁隔离脉宽调制解调电路设计方案。从工作原理、数学推导、软件仿真及工程实测等方面对电路的功能、性能与可靠性进行了论述。结果表明：该电路能有效地解决高压隔离监测场合的各种问题,具有高精度、高隔离、高响应、低功耗等特点,运行稳定可靠。     

半导体集成电路芯片质量与可靠性保证方法

针对国内目前没有专门用于保证半导体集成电路芯片质量与可靠性要求的相关标准,相应测试、可靠性研究水平也较为落后的情况,对半导体集成电路芯片质量与可靠性保证方法进行研究。介绍半导体集成电路芯片质量与可靠性保证方面的国际、国内标准与技术水平现状,提出在目前技术水平下需从设计、工艺、筛选验证3个方面保证半导体集成电路芯片质量与可靠性,在筛选验证方面提出芯片筛选、封装样品考核相结合的方式。结果表明,该方法能满足混合集成电路、多芯片组件对半导体集成电路芯片的质量与可靠性要求。     

软件可靠性测试平台研究

基于可靠性测试需求设计并实现了一种可靠性测试的平台,阐述了平台的硬件设计方案与软件设计方案,该平台硬件层、模型层、数据层、协议层与应用层均可以根据测试需求现场定义,平台的通用性较强;平台能够基于软件剖面定义实现测试用例自动生成、测试数据自动收集与可靠性测试数据的收集,为软件可靠性测试与评估提供了有力的支持。     

载人航天工程高可靠嵌入式软件设计方法

航天软件产品日益复杂并且在系统中所占比重越来越大,可靠性越来越受到关注.特别是载人航天任务对航天软件的可靠性提出了更高的要求,要求软件设计必需在保证功能性能正确的基础上,把可靠性措施落实到位,来避免各种存在于软硬件中的缺陷引发故障,最终导致任务失败.从程序设计和数据设计两个角度,来描述载人航天工程高可靠嵌入式软件的一些...