Bayes估计在NHPP软件可靠性模型中的应用

软件可靠性是评价软件质量的一个重要指标.针对互不相交的观测区间数据,采用Bayes方法估计软件的可靠度函数,使得对被测软件的可靠性模型更为精确,最后对实际的软件测试数据进行可靠性评估,验证了所提出的估计方法的合理性和可行性.     

一个高精确性综合软件可靠性模型

指出基于软件体系结构的可靠性评估模型不能有效说明软件中组件的可靠性问题,甚至导致软件可靠性不准确甚至不正确的评估.为此提出一个新的基于体系结构和软件中组件的联合可靠性评估模型.其基本思想是通过引入软件复杂性等多个影响软件可靠性的因素,把基于体系结构和基于组件的两种可靠性评估方法组合起来形成一种综合的软件可靠性评估模型.对大型软件的测试结果表明,新的模型具有更强的错误发现能力,从而使软件可靠性评估更充分、更准确,并且能够适应实际应用的需要.     

应用神经网络的装备软件可靠性预测

利用软件可靠性模型对软件测试得到的失效数据进行趋势分析与预测,可得到软件产品的可靠性指标。本文根据软件测试结果历史数据,使用神经网络预测同类软件的缺陷数,对装备软件可靠性做出准确评估,以提高装备软件可靠性。     

NHPP类开源软件可靠性增长模型的极大似然估计

为了提高开源软件产品的可靠性,针对软件测试过程中常见的不分组失效数据和分组失效数据,提出非齐次泊松过程(NHPP)类开源软件可靠性增长模型极大似然估计的一般形式;对GO模型、DSS模型、GGO模型、ISS模型和Ohba模型进行讨论,给出这5类可靠性模型的似然函数和似然方程;利用开源软件Apache Tomcat 5的真...     

软件可靠性费用估算方法研究

就软件成本估算中的与软件可靠性相关的费用评估方法作了介绍,总结了仿真法、软件测试时间模型法、关系式回归法、人工智能方法的基本原理、理论依据和操作方法.使与软件可靠性有关的费用评估更接近实际.     

关于软件评估的可靠性模型假设

对软件评估的可靠性模型假设进行了彻底详细的分析。揭示了软件评估的可靠性模型假设在软件可靠性模型中的重要性。最后讨论了软件可靠性模型假设在实际中的局限性     

基于缺陷分析与测试评审的软件可信性评价方法

该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性,以软件缺陷入手,评估软件的安全性、隐私性、容错性;以扩展软件测试入手,评估软件的正确性、可靠性;通过这5个素的评估,最终考量软件的可信性。通过这种方法,从以上5个维度对软件可信性进行量化评价,并发现设计初期引入的缺陷,提高了软件开发的质量和效率。     

面向评估的软件可靠性与费用模型的研究

一个软件系统开发过程中,影响开发费用的因素很多,可靠性因素无疑是非常重要的,对可靠性和费用之间的深入研究有助于在保证软件可靠性的前提下,控制成本,优化资源配置.本文通过理论分析和实验验证,研究了可靠性和费用的关系,建立了面向评估的软件可靠性费用模型EORC.实验结果表明该模型是合理的,且简单实用.     

基于模块化的软件可靠性模型

通过对J-M模型的分析,结合软件可靠性、软件可靠性工程和软件测试以及概率论的相关理论,设计了基于软件模块化的软件可靠性测试模型,同时给出了软件维修时间的估计模型,最后讨论了参数对模型的影响.     

构件对软件构架可靠性作用的分析

通过使用基于构架的软件可靠性模型对软件构架的可靠性进行了估算和分析,探讨了在软件构架中如何快速判断哪个构件对整个软件构架的可靠性影响较大或较小.同时,给出了判断的一般思路,并提出了如何进一步提高判断准确度的若干可行方案.     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量.     

软件系统的可靠性分配模型及优化研究

本文着重研究基于架构的软件系统的可靠性分配模型以及相应的优化算法,以最少的成本创建具有最优可靠性的系统,不仅考虑了开发成本的最小化,而且优化了软件系统的可靠性。本文所提出的模型和算法对于降低软件系统开发成本、提高软件系统可靠性具有一定的理论参考价值,并且能够在软件开发之前对已经设计出的软件架构进行预评估,从而预测软件系统的开发成本并对软件可靠性进行优化分配,具有较高的实际应用价值。     

带减函数的连续型软件可靠性验证方案

针对连续型安全关键软件可靠性验证测试（SRDT）所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案（CBSDF）：首先选取连续型软件可靠性参数（如失效率）的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据（先验信息）计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息（CBS1）与有先验信息（CBS2）的贝叶斯验证方案进行实例对比研究,计算结果表明：在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。     

Exploration of Complexity in Software Reliability

Traditionally, timing and the failure rate are the only two factors considered in software reliability formula, which is actually incomplete. Reliability should be redefined as a function of software complexity, test effectiveness, and operating environment. This paper focuses on software complexity with its relation to the soft- ware reliability. Today, many software complexity measurements have been proposed, but most of them treat the reliability model incompletely. This paper proposes a new method which considers a relatively complete view of software reliability including its complexity and test effectiveness of the software being tested.     

计算机软件可靠性模式设计

该文介绍、整理和分析了各类 用的软件可靠性分析模型（Ｒｅｌｉａｂｉｌｉｔｙ Ｍｏｄｅｌｓ）,周时也提出和阐述了作者研制的一套计算机软件可靠性辅助设计软件ＣＭＳＲＭ（Ｃｏｍｐｒｔｉｒ Ｍｅｄｉａｔｅｄ Ｓｏｆｔｗａｒｅ ＲｅｌｉａｂｉｌｉｔｙＭｏｄｌｉｎｇ）的设计与实现思想。ＣＭＳＲＭ可以用于有效地分析软件的可靠性模型ＣＭＳＲＭ是一个涵盖目前各灯现有之可靠性模型的分析工具,同时具备自动化或手工操作     

软件测试与软件可靠性之间的关系

根据软件可靠性理论，论述了软件测试和软件可靠性之间的关系，即根据给定的测试方法和测试时间来计算软件的可靠性，首先分析了随机测试和软件可靠性之间的关系，然后根据软件可靠性的性质，研究了软件代码覆盖测试方法和软件可靠性之间的关系。     

软件可靠性工程研究

从软件失效的不可避免性出发,提出了软件可靠性工程的概念。介绍了软件可靠性分析的方法、保证软件可靠性的工程方法和两种常用的可靠性设计技术。     

软件可靠性及其模型

描述了软件可靠性的总况 ,并对具有代表性的Halstead模型、Jelinski Moranda模型、Littlewood Verrall模型、Cai模糊增长模型、Geol OkumotoNHPP模型以及超几何模型作了总体性论述 最后给出了软件可靠性面临的主要问题     

桥式起重机主梁可靠性分析软件的设计

基于大型有限元分析软件ANSYS的可靠性分析子模块,以VC＋＋为软件开发平台,设计了一款更方便、更专业化的桥式起重机主梁可靠性分析软件.提出了桥式起重机主梁可靠性分析软件的架构,整个过程完成了对AN-SYS中APDL语句的封装以及对ANSYS核心程序的调用,解决了ANSYS中完成可靠性分析时界面不友好及低效的问题,也为桥式起重机主梁可靠性分析提供了一种可行的方法.     

非齐次泊松过程类软件可靠性增长模型

现有的基于故障覆盖率的软件可靠性增长模型多是只考虑了累计故障覆盖率 ,没有描述每个测试用例能够获得的故障覆盖率 .为了使软件可靠性增长模型能更好地刻画软件的测试过程 ,建立了两个基于故障覆盖率的非齐次泊松过程类软件可靠性增长模型 .第一个模型假设每个测试用例有相同的故障检测能力 ,能获得相同的故障覆盖率 ;第二个模型考虑了越晚检测到的故障其被检测到的概率越低的特点 ,模型假设每个测试用例的故障检测能力与其出现的次序相关 .利用一组公开发表的软件失效数据对这两个模型进行了验证 ,结果表明这两个模型在这组失效数据上均能得到较好的拟合效果 .