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

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

软件排错费用研究

软件可靠性费用包括避错费用、排错费用和容错费用．在研究了软件排错费用的概念及构成,并重点对软件测试费用进行了分析后,提出了软件测试时间及费用模型,并对软件测试费用投入进行了优化．     

基于假设检验的软件可靠性模型预测精度比较

提出一种基于假设检验的软件可靠性模型预测精度比较方法,该方法将模型预测值与真实值的RE(相对误差)看作随机变量,利用假设检验思想度量模型预测精度,并给出多个模型之间预测精度的比较标准.     

军用软件可靠性研究

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

炮兵指挥信息系统软件可靠性评估方法研究

从多种经典模型中选择出适合炮兵指挥信息系统软件可靠性评估的模型，结合模型提出了一种适合系统软件可靠性评估的定量方法。应用表明，该方法简单实用，能够满足系统的软件可靠性评估，而且对其他领域的武器系统的软件可靠性评估具有一定的参考意义。     

软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性.     

预测软件中残留的缺陷

当越来越多的商用COTS软件应用到舰船的操作系统和应用软件中时,软件变得越来越重要。程序管理员需要为作战系统、有条件的监视、推进控制、部件需求和舰船管理等定义、采购和管理软件的开发和集成。本文的目的是描述软件可靠性工程的技术发展水平和商用、军用软件缺陷预测技术的发展水平。文中的信息是基于商用软件业和舰船软件开发过程提供的数据。本文比较了四种软件失效模型的优点和缺点。其中对数泊松执行时间(LogarithmicPoissonExecutionTime,简称LPET)模型与数据匹配得最好,并满足可靠性理论的基本原则。本文给出了软件失效的定义和软件缺陷的追踪过程,并采用分布图预测软件发布后仍然存在的缺陷。作为展望,本文提供了预测商用软件中缺陷的经验法则以及修复这些缺陷所需的相对花费。     

J-M模型改进与可靠性预测研究

软件可靠性J-M预计模型对可靠性测试数据的假设要求比较严格,与实际情况不太符合。针对可靠性测试中各种因素的影响,适当修改了排除错误的条件假设,使得模型的适用性更强。对J-M模型用迭代法确定了参数的估计值,结合1组可靠性测试数据,得到可靠性预测结果。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题