软件可靠性测试方法探析

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

软件可靠性工程中的业务剖面及其应用

详细阐述了软件可靠性工程中最基本的问题－－业务剖面的重要作用以及与软件可靠性的关系;对一定给软件系统提出了建立业务剖面的方法、步骤;最后以Ｃ＾３Ｉ系统为例,给出了一个在测试剖面与业务剖面不一致时测试可行性与运行可靠性之间转换的例子。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

如何估计软件的MTBF

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

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

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

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

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

软件构件可靠性与费用分配最优模型

针对软件构件可靠性和费用分配问题,给出一种可靠性和费用分配最优模型。文中将软件系统可靠性定义为软件构件失效密度、操作剖面、构件使用矩阵以及软件无失效运行时间的函数,描述了费用最优模型的建立和利用非线性规划理论求解模型的步骤,有效地处理了带有复杂计算的目标函数和约束条件的可靠性和费用最优分配问题。计算实例表明,利用该模型进行可靠性和费用分配是可行的。     

新型装备软件质量军民一体化保障分析

作为军民一体化联合保障的重要内容，新型装备中的软件质量保障与维护对承包商提出了更为严格的要求。分析型号装备研制过程中对软件进行的过程改进与管理，装备交付时进行软件质量检测与评估，以及装备部队后的软件维护与保障的必要性，分别从软件质量约束、监管、验收及软件后期维护等方面进行阐述，提出了型号装备软件全寿命周期中实施军民一体化联合保障的要求及措施，并对其软件保障与维护过程进行归纳。     

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

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

军用软件可靠性分析

先进的武器系统均嵌入有高性能的数字计算机。这样,一个系统的可靠性是综合考虑了该系统的硬件与计算机软件这两者的可靠性。目前软件可靠性尚属一个新的研究课题。本文论述了军用软件可靠性的概念,军用软件的特点与需求,军用软件研制的艰巨性及提高军用软件可靠性的措施。最后指出开展军用软件可靠性研究的迫切性。