软件可靠性增长G-O模型的改进

在传统的软件可靠性增长G-O模型中,故障检测率被视为常数,或被视为增函数,或被视为减函数.考虑到测试人员的学习过程和剩余错误数的不断减少,故障检测率应该是一个随时间先增后减的函数,于是提出改进的G-O模型.利用公开发表的两组失效数据对改进模型进行了测试,并与已有模型进行了较,实验结果表明改进G-O模型的拟合能力和预测能力都很好.     

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

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

一个改进的NHPP类软件可靠性增长模型框架

针对现有的NHPP类软件可靠性增长模型,提出一个既考虑关联故障和构件结构,又考虑软件的不完美测试、故障检测率和故障改正效率随时间变化的NHPP类软件可靠性增长模型框架.许多经典的软件可靠性增长模型以及基于软件故障类型和构件结构的NHPP类模型都可以从这个框架中推导出来.     

一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况。通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便。     

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

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

一种新的XP过程软件可靠性预测模型

研究了基于XP软件制造过程的一种软件可靠性预测方法,该方法把XP过程中每阶段用户反馈的信息尽量的考虑进数学模型的建立,为预测XP过程软件可靠性提供了一个新的思路.     

不完美排错下测试覆盖相关的软件可靠性模型

准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检测、修复与引入三个子过程之间的内在联系,建立统一的、柔韧的不完美排错框架模型TCM-ID,对累积检测、修复与引入的故障数量之间的关联实施研究,从故障检测率、故障修复率、故障引入率角度衡量软件测试的整体功效.进一步,从测试覆盖的角度,建立测试覆盖函数相关的可靠性模型,以便于研究其对模型的扰动影响,用以评测模型的性能.最后,在真实的应用场景下进行验证所提出模型的有效性与合理性,模型具有较好的拟合与预测性能,整体上优于其他模型.本文所提出的模型,对于选择合适的不完美排错下测试覆盖相关的软件可靠性增长模型,以及提高测试效率与软件可靠性具有重要意义.     

非齐次泊松过程模型的参数计算方法

在软件可靠性分析中，应用最大似然估计方法三参数非齐泊松过程模型的参数时，所得到的方程组出现奇异性，直接求解存在很多困难，本文针对这种奇异性，采用区间优选法解决了这一问题，并实现了计算机自动求解。     

分组数据下G—O模型的参数估计

研究了软件可靠性的重要模型－G－O模型的参数估计,对分组数据情形得出了该模型中参数的最大似然估计存在的充分必要条件。     

M-O模型的拟合优度检验

针对在软件可靠性中广泛使用的M-O模型,考虑了如何判定其是否适合特定的软件系统的问题.首先将该问题转化成了统计中的拟合优度检验问题,然后为该检验问题提出了一个合理的检验统计量,证明了统计量的渐近正态性,并给出了检验的拒绝域.     

A software reliability growth model for component-based software incorporating debugging delay and imperfect debugging

In view of the problems and the weaknesses of component-based software(CBS) reliability modeling and analysis,and a lack of consideration for real debugging circumstance of integration testing,a CBS reliability process analysis model is proposed incorporating debugging time delay,imperfect debugging and limited debugging resources.CBS integration testing is formulated as a multiqueue multichannel and finite server queuing model(MMFSQM) to illustrate fault detection process(FDP) and fault correction process(FCP).A unified FCP is sketched,given debugging delay,the diversities of faults processing and the limitations of debugging resources.Furthermore,the impacts of imperfect debugging on fault detection and correction are explicitly elaborated,and the expressions of the cumulative number of fault detected and corrected are illustrated.Finally,the results of numerical experiments verify the effectiveness and rationality of the proposed model.By comparison,the proposed model is superior to the other models.The proposed model is closer to real CBS testing process and facilitates software engineer's quantitatively analyzing,measuring and predicting CBS reliability.     

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.     

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.     

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

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

一种即时纠正和延缓纠正混合的可靠性增长模型

考虑及时纠正和延缓纠正相结合的可靠性增长规划方式,采用纠正有效性系数的加权平均,并引入排错效率函数,提出一种软件阶段可靠性增长的模型.给出软件在试验阶段内各个时刻的瞬时失效率估计值的表达式和下一个试验阶段初期可靠性水平的预测值,并用一组数据作为示例,验证模型的有效性和实用性.     

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.     

含分布式电源配电网故障检测与定位研究综述

分布式电源（Distributed Generation,DG）并入配电网已成为新型电力系统重要特征,配电网结构由辐射状转变为多源多端网络架构,由此引起的短路故障特性将发生根本变化,对配电网故障快速保护尤其故障快速检测与定位提出更高的技术要求。本文在综述研究现状基础上,从时空角度分别分析含分布式电源配电网故障新特性,阐述传统配电网保护技术局限性,给出含分布式电源配电网保护检测与定位研究展望,指出故障快速检测与定位配合具有快速操动机构的断路器,能够实现故障区域的快速有效隔离,以保障含分布式电源配电网的安全运行。     

基于余弦相似度的复杂网络故障检测方法及应用

提出一种基于余弦相似度的复杂网络故障检测方法。利用余弦相似度确定变量之间的相关性,得到邻接矩阵,进而构建变量之间的网络模型;结合系统的网络拓扑结构,计算相应的复杂网络度量指标,对比故障状态与无故障状态下的网络结构与度量指标的差异,确定故障源;最后利用Tennessee-Eastman（TE）过程故障检测实例,结果表明,与偏相关系数方法对比,本文所提方法能有效且更准确地检测出故障。