基于明考斯基最优距离的不完美排错SRGM决策机制

1

作者 张策 王金勇 +4 位作者 徐早辉 江文倩 白睿 李文毓 王建远 《郑州大学学报（理学版）》 CAS 北大核心 2024年第1期1-8,共8页

针对软件可靠性增长模型(software reliability growth model,SRGM)决策机制欠缺的问题,提出了基于明考斯基最优距离的不完美排错SRGM决策方法。首先,对真实软件测试过程与可靠性模型进行分析,建立分类视角下的SRGM归类集合;其次,从矩... 针对软件可靠性增长模型(software reliability growth model,SRGM)决策机制欠缺的问题,提出了基于明考斯基最优距离的不完美排错SRGM决策方法。首先,对真实软件测试过程与可靠性模型进行分析,建立分类视角下的SRGM归类集合;其次,从矩阵分析的角度形式化描述SRGM的评价与选择问题,建立基于明考斯基距离的双最优化排序方法;最后,对模型的性能进行综合评价,给出SRGM间的性能偏序关系。在4个实际计算机应用系统测试过程中记录并公开发表的失效数据集上进行实验,验证和阐释模型性能之间的排序机制效用,并进行参数敏感性分析,为模型决策提供定量化的参考。 展开更多

关键词 软件可靠性增长模型 不完美排错 决策机制 明考斯基距离

下载PDF 职称材料

考虑不完美排错情况的NHPP类软件可靠性增长模型 被引量：42

2

作者 谢景燕 安金霞 朱纪洪 《软件学报》 EI CSCD 北大核心 2010年第5期942-949,共8页

针对现有NHPP类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,又考虑了不完全排错的情况,并且... 针对现有NHPP类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更符合实际情况.利用公开发表的两组不同的软件失效数据对该模型进行验证的结果表明,与现有的对不完美排错情况考虑不完全的模型相比,该模型能够取得更好的拟合结果和预测效果. 展开更多

关键词 软件可靠性增长模型 非齐次泊松过程 不完美排错 故障排错率 错误引入率

下载PDF 职称材料

考虑S型测试工作量函数与不完美排错的软件可靠性模型 被引量：6

3

作者 李海峰 李秋英 陆民燕 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第11期1460-1467,共8页

为准确描述测试工作量与不完美排错这2种重要测试过程因素对软件可靠性建模的影响,提升软件可靠性模型的拟合与预计精度,提出一种变形S型测试工作量函数,描述测试工作量增长速率随测试时间先增后减的S型增长趋势.在此基础上,分别提出考... 为准确描述测试工作量与不完美排错这2种重要测试过程因素对软件可靠性建模的影响,提升软件可靠性模型的拟合与预计精度,提出一种变形S型测试工作量函数,描述测试工作量增长速率随测试时间先增后减的S型增长趋势.在此基础上,分别提出考虑S型测试工作量函数与2种不完美排错假设的指数型非齐次泊松过程(NHPP)软件可靠性模型(即IS-TEFID1和IS-TEFID2).在2组真实失效数据集上,将新提出的2个模型与若干已存在的软件可靠性模型进行对比.实例验证结果显示,本文IS-TEFID2模型在2组失效数据集上的拟合与预计结果均显著好于其他模型,表明在建模过程中同时考虑变形S型测试工作量函数以及不完美排错可以有效地提升模型的拟合与预计性能. 展开更多

关键词 测试工作量 不完美排错 变形S型 软件可靠性增长模型

下载PDF 职称材料

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

4

作者 张策 吕为工 +3 位作者 邱忠银 高天翼 江文倩 孟凡超 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2021年第4期26-35,共10页

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

关键词 软件可靠性 软件可靠性增长模型 不完美排错 测试覆盖 框架模型

下载PDF 职称材料

考虑不完美排错的Logistic测试覆盖率软件可靠性模型 被引量：1

5

作者 李海峰 王学成 +2 位作者 李秋英 陆民燕 曾敏 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期216-223,共8页

软件可靠性增长模型(SRGMs)是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.将两种不完美排错假设与Logistic测试覆盖率函数分别引入NHPP类软件可靠性建模过程,提出两... 软件可靠性增长模型(SRGMs)是软件可靠性定量评估的重要手段.测试覆盖率与不完美排错则是两种可有效改进软件可靠性增长模型评估性能的重要因素.将两种不完美排错假设与Logistic测试覆盖率函数分别引入NHPP类软件可靠性建模过程,提出两种考虑不完美排错的Logistic测试覆盖率软件可靠性模型(即ILTCS1与ILTCS2),并将这两种新模型与14种现有软件可靠性模型(包括经典模型、测试覆盖率模型以及不完美排错模型)分别应用于3组真实失效数据集.实例验证结果表明:1)ILTCS2模型在3组失效数据集上的评估结果均为最好(MSE值最小),且显著好于多数对比模型.这表明ILTCS2模型具有优秀的评估性能及适用性;2)选择合适的"完美排错"假设或"测试覆盖率"函数对模型评估性能的改进确实有重要影响. 展开更多

关键词 测试覆盖率 不完美排错 软件可靠性建模 LOGISTIC模型 软件可靠性增长模型

下载PDF 职称材料

基于软件圈复杂度相关的不完美排错可靠性增长模型 被引量：1

6

作者 张峰 费琪 李耀敏 《舰船电子工程》 2019年第11期135-141,共7页

首次将软件可靠性模型与软件圈复杂度进行了关联,将软件圈复杂度划分为三个等级:普通、复杂、特别复杂。针对不同等级的圈复杂度,分别从代码状况、可测性、可维护性、对测试人员能力的要求、对开发人员能力的要求5维角度进行了充分分析... 首次将软件可靠性模型与软件圈复杂度进行了关联,将软件圈复杂度划分为三个等级:普通、复杂、特别复杂。针对不同等级的圈复杂度,分别从代码状况、可测性、可维护性、对测试人员能力的要求、对开发人员能力的要求5维角度进行了充分分析,从而给出了基于软件圈复杂度相关的不完美排错可靠性增长模型。在进行可靠性模型建模的同时综合考虑了故障的检测率、故障排错率、排错时故障的引入率三大因素,最后将该方法应用于一组实验数据进行分析,证明了该方法的可用性,同时将该模型的拟合数据与现有模型的拟合数据进行了比较,证明了该方法的有效性。 展开更多

关键词 软件圈复杂度 LOGISTIC增长模型 不完美排错 故障检测率 排错率

下载PDF 职称材料

不完美排错SRGM研究 被引量：1

7

作者 张策 崔刚 +1 位作者 孟凡超 刘宏伟 《智能计算机与应用》 2014年第2期16-20,共5页

软件可靠性增长模型SRGM可对测试与运行阶段的可靠性进行度量、预测与保证。不完美排错SRGM能够更加准确地建模实际测试过程,获得了广泛研究。首先介绍了随机过程类模型中的NHPP基本概念与假设。接着,从三个阶段全面回顾了不完美排错研... 软件可靠性增长模型SRGM可对测试与运行阶段的可靠性进行度量、预测与保证。不完美排错SRGM能够更加准确地建模实际测试过程,获得了广泛研究。首先介绍了随机过程类模型中的NHPP基本概念与假设。接着,从三个阶段全面回顾了不完美排错研究历程。进一步,给出了若干典型的不完美排错SRGM的建模与累计故障检测函数的求解形式。最后将从排错的不完全性,引入新故障的角度建立的不完美排错模型:IID-SRGM与现有的模型进行比较,优于其它模型。 展开更多

关键词 软件可靠性 非齐次泊松过程 软件可靠性增长模型 不完美排错

下载PDF 职称材料

不完美排错软件可靠性增长模型效用量化研究

8

作者 张策 孙智超 +3 位作者 王金勇 袁雨飞 盛晟 吕为工 《计算机应用研究》 CSCD 北大核心 2022年第12期3724-3729,共6页

为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合和预测性能,首先从故障总数增长趋势角度对不完美排错模型进行深入研究,提出两个一般性不完美排错框架模型,分别考虑了总故障数量函数与累计检测故障函数间的线性关系与微... 为了进一步提升现有非齐次泊松过程类软件可靠性增长模型的拟合和预测性能,首先从故障总数增长趋势角度对不完美排错模型进行深入研究,提出两个一般性不完美排错框架模型,分别考虑了总故障数量函数与累计检测故障函数间的线性关系与微分关系,并求得累计检测的故障数量与软件中总故障数量函数表达式;其次,在六组真实的失效数据集上对比了提出的两种一般性不完美排错模型和六种不完美排错模型拟合预测性能表现。实例验证结果表明,提出的一般性不完美排错框架模型在大多数失效数据集上都具有优秀的拟合和预测性能,证明了新建模型的有效性和实用性;通过对提出的模型与其他不完美排错模型在数据集上的性能的深入分析,为实际应用中不完美排错模型的选择提出了建议。 展开更多

关键词 非齐次泊松过程 软件可靠性增长模型 不完美排错 效用分析

下载PDF 职称材料

基于问题等级的不完美排错NHPP可靠性模型

9

作者 费琪 《计算机应用与软件》 北大核心 2019年第3期1-4,19,共5页

分析总结现有的非齐次泊过程NHPP(non-homogeneous poisson process)松软件可靠性模型,提出现有NHPP可靠性模型的不足与缺陷。首次将NHPP可靠性模型与问题等级进行关联。从测试人员针对轻微问题、非轻微问题的检测特性及开发人员对轻微... 分析总结现有的非齐次泊过程NHPP(non-homogeneous poisson process)松软件可靠性模型,提出现有NHPP可靠性模型的不足与缺陷。首次将NHPP可靠性模型与问题等级进行关联。从测试人员针对轻微问题、非轻微问题的检测特性及开发人员对轻微问题、非轻微问题的排错难易程度及在排错时是否会引入新问题进行分析。给出基于问题等级的不完美排错的NHPP可靠性模型。特别是针对非轻微问题建立的NHPP可靠性模型,在考虑故障发现率时不仅考虑测试人员的发现问题的能力,同时综合考虑剩余故障的问题数。并且在排除错误时,不仅考虑错误排除时为不完全排除过程,同时考虑在排除的错误中可能引入新的错误。 展开更多

关键词 问题等级 可靠性模型 LOGISTIC增长模型 不完美排错

下载PDF 职称材料

考虑不完美排错情况的软件可靠性过程仿真 被引量：1

10

作者 侯春燕 陈晨 +1 位作者 王劲松 林胜 《高技术通讯》 CAS CSCD 北大核心 2014年第6期558-564,共7页

针对传统非齐次泊松过程(NHPP)类软件可靠性分析方法存在忽略对软件测试中的故障排除过程的问题,提出了一种新的描述软件测试中的实际可靠性增长过程的仿真方法。该方法采用排队论建模软件测试中可能存在的故障排除行为。排队模型全面... 针对传统非齐次泊松过程(NHPP)类软件可靠性分析方法存在忽略对软件测试中的故障排除过程的问题,提出了一种新的描述软件测试中的实际可靠性增长过程的仿真方法。该方法采用排队论建模软件测试中可能存在的故障排除行为。排队模型全面考虑了故障排除中可能存在的不完全排错,甚至是引入新故障的情况,并考虑了排错资源的局限性问题。以排队模型作为仿真模型,开发出仿真过程实现对软件可靠性过程的仿真。利用公开发表的一组软件失效数据对仿真方法进行的验证表明,与现有的仿真方法相比,该方法由于更全面地考虑了软件测试过程,因此取得更好的拟合结果。 展开更多

关键词 软件故障排除 非齐次泊松过程(NHPP) 不完美排错 软件可靠性增长模型 (SRGM) 排队论

下载PDF 职称材料

考虑不完美排错和检测率下降变化的软件可靠性模型 被引量：3

11

作者 徐立 《重庆理工大学学报（自然科学）》 CAS 北大核心 2019年第8期132-137,共6页

为评估软件的可靠性,提出一种软件可靠性模型(IDDD模型)。模型考虑了bug检测率随测试时间呈下降变化及修复bug时会引入新的bug等实际情况,在拟合和预测性能方面有较好的表现。在经典bug数据集上使用公认拟合和预测性能评价指标(SSE、Rsq... 为评估软件的可靠性,提出一种软件可靠性模型(IDDD模型)。模型考虑了bug检测率随测试时间呈下降变化及修复bug时会引入新的bug等实际情况,在拟合和预测性能方面有较好的表现。在经典bug数据集上使用公认拟合和预测性能评价指标(SSE、Rsquare和AIC)与5个性能优秀的可靠性模型(G-O模型、P-Z模型以及3个考虑不完美排错的模型)进行对比,实验结果表明:所提出模型在拟合和预测性能上表现优于其他模型,能更有效地在实际软件测试中预测软件中剩余bug的数量。 展开更多

关键词 软件可靠性模型 不完美排错 非齐次泊松过程 检测率下降

下载PDF 职称材料

基于双排队系统的软件可靠性增长模型

12

作者 周楠 李福川 宣萱 《计算机工程与设计》 北大核心 2023年第2期447-456,共10页

针对基于有限排队系统的软件可靠性增长模型(SRGM)忽略软件交付与检测之间的时间延迟问题,提出双排队系统建模技术,构建一个引入故障检测等待延迟和排错等待延迟的SRGM。建模中考虑测试工作量函数(TEF)参与构成的复合型故障检测率(FDR)... 针对基于有限排队系统的软件可靠性增长模型(SRGM)忽略软件交付与检测之间的时间延迟问题,提出双排队系统建模技术,构建一个引入故障检测等待延迟和排错等待延迟的SRGM。建模中考虑测试工作量函数(TEF)参与构成的复合型故障检测率(FDR)和不完美排错现象,在4个公开发表的失效数据集上与5个经典SRGM进行比较与分析,验证建立模型的拟合能力和预测能力。实验结果表明,建立的模型在软件可靠性评估和预测方面具有良好性能。 展开更多

关键词 软件可靠性增长模型 排队论 时间延迟 测试工作量函数 复合型故障检测率 不完美排错 失效数据集

下载PDF 职称材料

软件可靠性增长模型研究综述 被引量：25

13

作者 张策 孟凡超 +6 位作者 考永贵 吕为工 刘宏伟 万锟 蒋家楠 崔刚 刘子和 《软件学报》 EI CSCD 北大核心 2017年第9期2402-2430,共29页

软件可靠性增长模型SRGM(software reliability and growth model)是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM... 软件可靠性增长模型SRGM(software reliability and growth model)是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM基本功用.同时,梳理了SRGM的发展演变历程,进而对当前研究现状进行深入剖析,给出当前研究特征.从软件中总的故障个数、故障检测率FDR(fault detection rate)和测试工作量TE(testing-effort)这3个方面对影响SRGM的因素进行了分析.基于作者前期研究中提出的统一性框架模型,对当前典型的解析模型进行了分类比较和分析;对基于有限与无限服务队列模型的SRGM进行分析与讨论;对以率驱动事件过程RDEP(rate-driven event processes)为重点的仿真方法进行剖析.进一步地,为了验证与分析不同模型的差异,对26个典型的模型在公开发表的16个数据集上进行了实验.结果表明,SRGM的性能差异取决于失效数据集的客观性以及研究人员对测试过程进行不同假设下所建立的数学模型的主观性.最后,指出了SRGM面临的挑战、发展趋势和亟待解决的问题. 展开更多

关键词 软件可靠性增长模型 不完美排错 测试工作量 框架模型 排队论 仿真

下载PDF 职称材料

SRGM建模类别与性能分析 被引量：5

14

作者 张策 孟凡超 +3 位作者 万锟 陈智朋 刘宏伟 崔刚 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2016年第8期171-178,共8页

针对软件可靠性增长模型SRGM(software reliability growth model)在可靠性评估与保障中的重要作用,为全面掌握SRGM的建模与工作机理,对SRGM的典型建模过程以及不同模型间的性能差异进行深入研究.首先剖析了SRGM建模的基础假设和含义,... 针对软件可靠性增长模型SRGM(software reliability growth model)在可靠性评估与保障中的重要作用,为全面掌握SRGM的建模与工作机理,对SRGM的典型建模过程以及不同模型间的性能差异进行深入研究.首先剖析了SRGM建模的基础假设和含义,梳理了SRGM的发展演化历程;然后分析了两类基本SRGM建模流程与关联,针对考虑更多真实测试情况的建模趋势,对不完美排错相关与考虑测试工作量TE(Testing-Effort)相关的SRGM建模过程进行了剖析;最后选取8个典型的模型在4个失效数据集上进行实验,依据度量与拟合结果进行了模型差异化的深入分析.研究分析表明,客观上不同失效数据集间的差异以及主观上研究人员对测试过程认知的差异是造成SRGM性能差异的主要根源.进一步建立更为准确与全面的SRGM,在有限的数据集上选取出优秀的SRGM已成为当前研究中亟待解决的难题. 展开更多

关键词 软件可靠性增长模型 不完美排错 测试工作量 度量 预测

下载PDF 职称材料

可靠性模型中故障检测率研究述评 被引量：7

15

作者 张策 刘宏伟 +4 位作者 白睿 王瞰宇 王金勇 吕为工 孟凡超 《软件学报》 EI CSCD 北大核心 2020年第9期2802-2825,共24页

故障检测率FDR(fault detection rate)是可靠性研究的关键要素,对于测试环境构建、故障检测效率提升、可靠性建模和可靠性增长具有重要作用,对于提高系统可靠性与确定发布时间具有重要现实意义.首先,对基于NHPP(non-homogeneous poisson... 故障检测率FDR(fault detection rate)是可靠性研究的关键要素,对于测试环境构建、故障检测效率提升、可靠性建模和可靠性增长具有重要作用,对于提高系统可靠性与确定发布时间具有重要现实意义.首先,对基于NHPP(non-homogeneous poisson process,非齐次泊松过程)类的软件可靠性增长模型SRGM(software reliability growth mode)进行概述,给出了建模本质、功用与流程.基于此,引出可靠性建模与研究中的关键参数——FDR,给出定义,对测试环境描述能力进行分析,展示不同模型的差异.着重剖析了FDR与失效强度、冒险率(风险率)的区别,得出三者之间的关联性表述.全面梳理了FDR的大类模型,分别从测试覆盖函数视角、直接设定角度、测试工作量函数参与构成方式这3个方面进行剖析,继而提出统一的FDR相关的可靠性模型.考虑到对真实测试环境描述能力的需要,建立不完美排错框架模型,衍生出不完美排错下多个不同FDR参与的可靠性增长模型.进一步,在12个真实描述应用场景与公开发表的失效数据集上进行实验,验证不同FDR模型相关的可靠性模型效用,对差异性进行分析与讨论.结果表明,FDR模型自身的性能可以支撑可靠性模型性能的提升.最后,指出了未来研究趋势和需要解决的问题. 展开更多

关键词 可靠性 故障检测率 测试覆盖率 不完美排错 效用分析

下载PDF 职称材料

考虑多种真实情况的软件可靠性增长模型 被引量：1

16

作者 吴彩华 王晓伟 +1 位作者 刘俊涛 马建朝 《系统工程与电子技术》 EI CSCD 北大核心 2014年第11期2332-2336,共5页

进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。针对以上假设条件,提出了一种新的软件可靠性增长模型。该模... 进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。针对以上假设条件,提出了一种新的软件可靠性增长模型。该模型将软件的检错过程和排错过程作为两个独立的非齐次泊松过程分别进行建模,并将软件中存在的故障数看作是一个变化的函数,该函数包括软件中初始故障及引入的故障。在两个数据集上进行相应实验证明,较之其他模型,新建模型的拟合和预测效果更好。 展开更多

关键词 软件可靠性 软件可靠性增长模型 不完美排错 检错过程 排错过程

下载PDF 职称材料

考虑故障检测与修正的软件可靠性增长模型 被引量：3

17

作者 高峰 袁赣南 刘厂 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第6期73-76,共4页

针对现有NHPP类软件可靠性增长模型基本假设中故障检测和不完美修正过程考虑不完善的现状,提出一种非齐次泊松过程软件可靠性增长模型.该模型既考虑故障本身特性,故障检测率是随时间递减的函数,又考虑了排错过程引入新错误的概率,故障... 针对现有NHPP类软件可靠性增长模型基本假设中故障检测和不完美修正过程考虑不完善的现状,提出一种非齐次泊松过程软件可靠性增长模型.该模型既考虑故障本身特性,故障检测率是随时间递减的函数,又考虑了排错过程引入新错误的概率,故障总数函数是随时间变化的;同时,还考虑了不完全排错的情况,引入了一种与故障检测率具有相同变化趋势的故障排除率函数.利用一组标准化的失效数据集进行仿真验证,实验结果表明该模型具有更好的拟合效果和预测能力. 展开更多

关键词 软件可靠性增长模型 非齐次泊松过程 不完美排错 故障检测率 故障排除率

原文传递