软件可靠性的过程仿真技术

以软件研制的生命周期为背景,探讨利用仿真模型对软件可靠性进行研究的方法．文章阐述了仿真模型分析方法与传统的模型分析方法的不同之处,通过对软件可靠性过程的分析,设计了一个基本的仿真器结构,由此考察引发失效行为的各种故障因素及其对软件可靠性的影响．     

如何估计软件的MTBF

软件剩余初始故障个数No、平均无故障时间MTBF、故障暴露率λ和软件运行的成功率θ等是衡量软件可靠性的重要参数.其中对高可靠性软件(包括军用软件等)MTBF是最重要的.传统的MTBF计算方法有2种一是计算发生故障的平均时间间隔二是通过软件可靠性模型进行估计.前者代价较大,后者不太准确.本文从软件的失败率入手研究软件的MTBF,这是一个比较贴近实际的方法.     

软件可靠性考核试验方法研究

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究     

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

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

某型多管火箭炮火控系统可靠性Nelson模型

软件保障已经成为影响现代武器装备系统发展和发挥战斗力的"瓶颈",软件可靠性也因此受到研究人员的高度重视.在对众多软件可靠性模型综合对比分析的基础之上,建立以Bayes检验为基础的Nelson软件可靠性模型,以某舰载指挥系统软件可靠性测试实验数据为例进行分析,对于某新型远程多管火箭炮火力控制系统的软件可靠性测试与评估高其软件可靠性有积极的作用.     

航天软件可靠性浅议

从软件可靠性出发,结合航天软件研制和使用特点,对航天软件的故障模式、机理和提高可靠性措施进行了分析。     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

软件无失效测试数据的统计分析

软件可靠性估计是软件可靠性研究的重要问题之一,文中对分布式软件系统可靠性的评估方法进行了研究,给出了软件系统可靠度的最优置信下限.最后以某大型软件的评估为例,说明该方法的应用.     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

武器装备软件的可靠性分析综述

首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。