软件可靠性及其模型

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

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

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

用线性组合模型分析软件可靠性数据

针对单一模型分析软件可靠性数据存在的不足,对软件可靠性数据的收集进行规范,并提出线性组合模型,解决了软件可靠性数据和可靠性模型的适用性问题,提高了软件可靠性模型评估和预测的精确度,其中DLC模型是目前线性组合模型中的最佳线性组合模型.     

软件可靠性GO模型的有效分析

针对GO模型的参数解结构进行了理论分析,利用参数解存在的条件,得到了结构比较优越的性质,构造了高效的参数估计算法,并结合典型实例编程求解,得到了实验结果。     

反失效率脆弱模型的若干性质

研究了反失效率脆弱模型的年龄性质,讨论了总体变量与脆弱变量之间的正似然比相依性,得到了总体变量关于脆弱变量在普通随机序、失效率序、反失效率序及似然比序下的封闭性.     

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

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

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响，建立了一种考虑数据截尾的非参数软件可靠性模型，为的是克服一般参数模型假设约束过紧的问题，并能在估计失效率的同时估计残存缺陷数．同时，提出了基于非参数统计的软件失效率单调下降性检验方法，在加权核函数估计中引入数据截尾率作为加权系数和优化参数，并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数．模拟试验和实例分析表明，所提模型可以较好地处理截尾数据，给出残存缺陷数的合理估计，其失效率估计精度较高，不低于较好的传统模型．     

线性失效率模型的参数估计

该文研究了在定数截尾样本下线性失效率模型中参数的点估计问题。用逆矩估计、最小二乘估计方法分别求未知参数λ     

实用软件可靠性模型探讨

本文在对软件可靠性建模技术进行详细分析的基础上,根据当前软件开发过程的实际探讨了实用软件可靠性模型的评价标准,并从实际应用角度讨论了建立实用软件可靠性模型的方法。     

软件可靠性评估的WD模型及其推广

介绍了软件可靠性评估的 WD 模型,探讨了 WD 模型的推广形式—W—NHPP 模型,并用两种参数估值方法:最大似然法和最小均方误差法对其参数进行了估值。     

Stochastic differential equation software reliability growth model with change-point

This paper presents software reliability growth models （SRGMs） with change-point based on the stochastic differential equation （SDE）.Although SRGMs based on SDE have been developed in a large scale software system,considering the variation of failure distribution in the existing models during testing time is limited.These SDE SRGMs assume that failures have the same distribution.However,in practice,the fault detection rate can be affected by some factors and may be changed at certain point as time proceeds.With respect to this issue,in this paper,SDE SRGMs with changepoint are proposed to precisely reflect the variations of the failure distribution.A real data set is used to evaluate the new models.The experimental results show that the proposed models have a fairly accurate prediction capability.     

改进的Jelinski-Moranda软件可靠性增长模型

Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。     

一个贝叶斯离散可靠性增长模型──多元Beta模型

本文提出了一个贝叶斯离散可靠性增长模型．本模型是Ｍａｚｚｕｃｈｉ—Ｓｏｙｅｒ模型［１］的一个推广．假设一个产品的开发过程由ｍ个阶段组成．在每一个阶段中，都进行一个成败型寿命试验．在试验结束后，再分析其结果，然后对产品进行修改或重新设计，以期提高产品的可靠性．产品的失效可分为不可修复的以及可修复的两种．假定产品的不可修复失效概率在各个阶段中保持相同，而可修复失效概率随着试验阶段的增加而减少．在此假定下，我们选用一个合理的分布作为产品失效概率的先验分布，它就是多元Ｂｅｔａ分布．然后，我们将先验信息与试验数据相结合进行贝叶斯分析．文中举了一个实例加以说明     

土工格栅加筋边坡渐进破坏可靠性分析

多数边坡破坏过程可持续数月或数年的事实,说明边坡破坏是一渐进过程,为此详细阐述了土工格栅加筋边坡渐进破坏二维可靠性分析的基本原理和分析方法,并采用Monte-Carlo随机模拟方法对坡高10m,坡角θ分别为30°、45°、60°的3种均质粘性土加筋边坡进行了渐进破坏可靠性计算.计算结果表明:加筋能明显改善边坡的渐进破坏性能,降低其初始破坏概率和整体破坏概率;随着土工格栅加筋层数或格栅许用拉力的增加,加筋边坡的初始破坏概率和整体破坏概率都会大幅下降.     

Component-based software reliability process simulation considering imperfect debugging

In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.     

一种基于构件的软件系统可靠性模型

分析了现有构件软件系统的可靠性模型和特点,在此研究基础上,抽象出一种依赖于操作剖面,以及构件使用上下文的构件可靠性的计算方式.利用对系统功能路径分割,提出一种基于操作剖面的路径分析法,计算构件软件系统可靠性模型.最后用一个物流信息系统实例对该可靠性模型进行验证,说明其有效性.     

软件可靠性与硬件可靠性异同分析

从可靠性的基本概念出发,结合可靠性工程,分析了软件可靠性、硬件可靠性及其在工程中的区别和联系,然后介绍了在这领域中的几种基本研究方法,最后提出了在可靠性工程发展中需解决的问题。     

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

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

竞争风险模型中的反向失效率

考虑了一个遭受2种类型风险的竞争风险模型。引入原因反向失效率来研究系统在某时刻x已经失效的条件下,在(x-dx,x]内由第i种原因导致失效的概率。基于原因反向失效率,给出系统寿命和失效原因相独立的充要条件。最后,研究了由第i种原因引起失效的系统在时刻x的休止时间的生存函数的性质。