军用软件可靠性研究

<正>我国在军用软件领域的起步较晚,在军用软件的可靠性研究和应用方面起步更晚且投入的精力明显不够。在武器科技化、集成化日益明显的今天,软件可靠性方面的不足很容易成为制约我们装备发展的瓶颈。对此,笔者在应用开发方面进行了讨论。引言长期以来,在实际使用过程中暴露的软件以及和软件有关的问题逐渐增多,直接影响了整个武器系统的质量。为了避免和消除错误,     

软件避错设计原理在军用软件开发中的应用

软件可靠性一直是武器系统软件开发和使用过程中重点考虑的关键课题之一。日本的日野克重提出了简单、同型、对称、层次、线型、易证和安全七个软件避错设计原理。本文从提高军用软件设计质量的目的,简要论述这些原理在防空导弹武器系统软件设计中的具体应用。     

面空导弹武器系统软件可靠性的评估方法

面空导弹武器系统软件是一种要害软件。这类软件的质量,尤其是它的可靠性是国防系统软件中的一个讨论的热点。如何开展型号软件可靠性的评估？这是一个新的课题。文章从评估的范围、评估的时机、评估的环境、评估的工具和评估的实施步骤等,提出了一套较为完整的评估方法。     

军用信息系统软件可靠性评价指标研究

信息系统可靠性的合理评估,对于确认系统可靠性水平,发现影响其可靠性的薄弱环节,提高战时及平时的使用效果都能起到重要作用。目前对于异构、分布式的复杂军用信息系统来讲,沿用传统软件可靠性指标来评价其可靠性显得力不从心,因此迫切需要一套更适用的、更有针对性的指标体系。以大型指挥信息系统软件为例,将整个软件系统按构件层、交互链层、业务流程层和系统层进行分割,针对软件产品的不同层次特点作出可靠性定义,并给出相应评价指标,以定量描述此类信息系统的可靠性。     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上,通过对从事海军指控系统软件研制单位的部分专家的实地调查,运用Ｂａｙｅｓ检验方法对专家信息进行处理,进而提出了适合舰载指挥控制系统的软件可靠性推荐模型．借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用,把Ｓｃｈｎｅｉ－ｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中,并给出了用数据分析、判断模型的具体事例．     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

关于军用软件可靠性问题的探讨

归纳了军用软件在可靠性方面存在的主要问题,在此基础上详细分析了影响军用软件可靠性的因素,并提出了提高军用软件可靠性的途径,并从六个方面重点进行了阐述。     

软件可靠性测试方法探析

软件可靠性测试是有效评估软件可靠性水平,验证软件产品是否达到软件可靠性要求的重要途径。本文介绍了软件可靠性测试的基本方法以及对黑盒测试、白盒测试和灰盒测试优缺点进行比较,并对蒙特卡罗、马尔科夫等主要理论模型进行分类阐述。     

软件质量——软件可靠性测试技术研究

本文主要介绍了软件可靠性的一些基本模型,提出了软件可靠性评估的过程和方法,分析了软件测试与可靠性的关系,以及构建可靠性测试环境的方式。     

软件可靠性模型技术分析

软件可靠性模型技术对评估和提高软件可靠性具有重要作用。归纳了软件可靠性模型的特点与分类方法,阐述了随机过程类与非随机过程类两大类模型,初步探讨了模型之间的相互关系,分析并提出了软件可靠性模型建立过程与评价标准,为软件可靠性模型技术的进一步研究和应用提供了理论方法与启示。     

微机在军用实时控制系统中的应用

现代战争,有人称为“电脑战争”,因为微机在先进的武器系统中有着广泛的应用。在介绍现代武器系统特点的基础上,分析了现代武器系统对微机的要求,进而就防空导弹武器系统这一领域介绍了若干应用项目,及总结了应用微机的一些经验教训。     

防空导弹武器系统软件质量控制的环节

一些典型的武器系统软件实例表明,影响防空导弹武器系统作战成败的关键因素之一是其软件（尤其是作战软件）的质量。如何确保这类关键软件的质量,一直是困扰着武器系统决策人员、软件人员和质量管理人员的一个大问题,也是软件生产中的一个薄弱环节。在型号软件的开发过程中,经初步的实践认为软件验证与确认、软件测试、软件评审和软件管理是控制软件质量的４个重要环节。在简要描述防空导弹武器系统软件属性的基础上,重点阐明每个环节的作用、意义、实施方法和要求等。     

软件开发若干问题分析

随着各种MIS系统的需求量急剧增加,MIS系统质量的高低决定着计算机应用所产生效益的大小,提高软件质量已是用户和计算机工作者均特别关注的问题。分析了目前MIS系统开发中存在的问题及影响软件质量的因素,并提出了相应的解决办法。     

战略防御系统软件的可靠性分析

战略防御是试图消除来自核弹道导弹的威胁．根据目前的软件技术和战略防御系统的特点,我们认为,其软件不可能达到预期目标．     

关于防空导弹系统软件工程设计科研管理方式的探索

系统软件工程设计是防空导弹武器系统设计中的关键。科研管理方式对系统软件工程设计的效果有直接的影响。笔者试图抛砖引玉,根据自己在实际工作中将现代管理理论与方法和型号研制实践相结合的一些体会,总结与探索适合于系统软件工程设计的科研管理方式,目的是希望更多的同志来关心这一课题,更好地解决这一课题。 本文简述了防空导弹武器系统设计的主要内容,系统软件工程设计的特点和难度。重点介绍系统软件工程设计科研管理的有关内容。     

基于优化SVR的军用软件可靠性预测方法

为了避免军用软件在投入部队使用后频繁出现失效问题,进而造成训练及战时的损失,提出一种优化SVR算法的军用软件可靠性预测方法,旨在军用软件大量投入部队使用前,做好军用软件自身的可靠性预测工作。进行度量元采集,并对度量元进行数据预处理;通过引入相关性的概念,提取出与软件可靠性指标相关程度较大的度量元;再通过网格寻优法优化SVR中的参数;通过案例对比分析,证明了基于优化SVR算法的军用软件可靠性预测方法可以提高软件可靠性的预测精度。     

贝叶斯方法在某型防空导弹武器系统可靠性评估中的应用

提出采用贝叶斯(Bayes)方法分析防空导弹武器系统的可靠性问题.首先对各种不同分布类型的单元进行Bayes可靠性分析,利用某型防空导弹武器系统的试验信息构造系统可靠性验前分布,再利用Bayes定理和系统试验信息更新系统可靠性的验前分布得到验后分布,最后对系统可靠性进行评估.仿真算例说明了评估方法的合理性.     

战车火控系统软件可靠性的仿真测试平台

以平均无故障时间间隔(MTBF)和任务成功率为主指标,以某型坦克火控系统为载体,提出了战车非制导武器火控系统软件可靠性仿真测试平台的方案,并对其软件可靠性的仿真测试与验证技术进行了讨论.     

基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。