期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
不完全覆盖的多阶段任务系统可靠性综合分析 被引量:4
1
作者 陈光宇 黄锡滋 +1 位作者 张小民 唐小我 《系统工程学报》 CSCD 北大核心 2007年第5期539-545,共7页
针对不完全覆盖条件,既有多个动态阶段又有多个静态阶段的多阶段任务系统可靠性分析,提出多阶段任务系统模块化分解的原则以及系统基本结构和算法,对分解后的静态子系统采用IGPMS-CPR算法,对动态的子系统采用覆盖模型结合马尔科夫链的... 针对不完全覆盖条件,既有多个动态阶段又有多个静态阶段的多阶段任务系统可靠性分析,提出多阶段任务系统模块化分解的原则以及系统基本结构和算法,对分解后的静态子系统采用IGPMS-CPR算法,对动态的子系统采用覆盖模型结合马尔科夫链的一体化方法,并对动态子系统连接静态子系统的对应关系及简便算法进行了推广.这是一种综合许多成熟可靠性分析算法的方法,其低运算量和容易实施的特点在案例分析中得到充分展示. 展开更多
关键词 可靠性 多阶段任务系统的双值决策图(PMS—BDD) 完善的组合阶段要求的通用PMS算法(IGPMS—CPR) 不完全覆盖模型(ipcm) 马尔科夫链
在线阅读 下载PDF
不完美排错下测试覆盖相关的软件可靠性模型 被引量:10
2
作者 张策 吕为工 +3 位作者 邱忠银 高天翼 江文倩 孟凡超 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2021年第4期26-35,共10页
准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检... 准确的建模软件可靠性并对可靠性趋势进行有效地度量与预测,对于软件开发至关重要,越靠近软件测试的真实过程,所提出的不完美排错模型就应该考虑并融入更多具体的影响因素,建立构成要素间更加精准的软件可靠性增长模型SRGM.考虑故障检测、修复与引入三个子过程之间的内在联系,建立统一的、柔韧的不完美排错框架模型TCM-ID,对累积检测、修复与引入的故障数量之间的关联实施研究,从故障检测率、故障修复率、故障引入率角度衡量软件测试的整体功效.进一步,从测试覆盖的角度,建立测试覆盖函数相关的可靠性模型,以便于研究其对模型的扰动影响,用以评测模型的性能.最后,在真实的应用场景下进行验证所提出模型的有效性与合理性,模型具有较好的拟合与预测性能,整体上优于其他模型.本文所提出的模型,对于选择合适的不完美排错下测试覆盖相关的软件可靠性增长模型,以及提高测试效率与软件可靠性具有重要意义. 展开更多
关键词 软件可靠性 软件可靠性增长模型 不完美排错 测试覆盖 框架模型
在线阅读 下载PDF
不完全覆盖的多层次系统可靠性分析 被引量:8
3
作者 陈光宇 黄锡滋 唐小我 《系统工程学报》 CSCD 北大核心 2005年第5期504-510,共7页
多层次系统(HS)的层次特征有助于故障覆盖.模块化不完全覆盖模型(MIPCM)阐明了HS的部件或模块跨层次的依赖性,依赖性大大增加了分析方法的复杂度.基于MIPCM,提出向上的模块化不完全覆盖模型(U-MIPCM),更加清楚地阐明了层次与依赖性的对... 多层次系统(HS)的层次特征有助于故障覆盖.模块化不完全覆盖模型(MIPCM)阐明了HS的部件或模块跨层次的依赖性,依赖性大大增加了分析方法的复杂度.基于MIPCM,提出向上的模块化不完全覆盖模型(U-MIPCM),更加清楚地阐明了层次与依赖性的对应关系.利用UMIPCM,借鉴SEA算法的思想,提出针对HS和MIPCM的自上而下的分离算法,这是一种高效的和集成的算法.最后通过案例说明了该分离算法的应用价值. 展开更多
关键词 可靠性 多层次系统(HS) 简单有效的算法(SEA) 向上的模块化不完全覆盖模型(UMipcm)
在线阅读 下载PDF
考虑不完美排错的Logistic测试覆盖率软件可靠性模型 被引量:1
4
作者 李海峰 王学成 +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
基于NHPP类软件可靠性通用模型研究与应用
5
作者 费琪 刘春裕 《计算机科学》 CSCD 北大核心 2014年第B11期379-381,共3页
对现有NHPP类软件可靠性模型进行分析总结,指明了已有NHPP类软件可靠性模型存在的不足及缺陷。综合考虑缺陷探测率、软件运行覆盖率、排除错误时的错误引入率等软件故障数的影响因素,提出了一种通用的NHPP类软件可靠性模型,最后对通用... 对现有NHPP类软件可靠性模型进行分析总结,指明了已有NHPP类软件可靠性模型存在的不足及缺陷。综合考虑缺陷探测率、软件运行覆盖率、排除错误时的错误引入率等软件故障数的影响因素,提出了一种通用的NHPP类软件可靠性模型,最后对通用模型中的泛函数取特殊值后,求得期望故障数及软件可靠度,并对其进行分析,证明了所提模型的有效性。 展开更多
关键词 通用的NHPP类软件可靠性模型 非完美排错 缺陷探测率 测试覆盖率
在线阅读 下载PDF
基于多值决策图的温储备系统可靠性建模方法 被引量:3
6
作者 翟庆庆 杨军 +1 位作者 彭锐 赵宇 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第3期459-464,共6页
温储备系统是冷储备与热储备系统的推广,在实际中有广泛应用。针对不可修温储备系统的可靠性建模问题,已有基于多值决策图(MDD)的系统可靠性建模方法。该方法以系统中的单元故障为建模对象,分别构建故障级MDD与系统级MDD,进而获得系统... 温储备系统是冷储备与热储备系统的推广,在实际中有广泛应用。针对不可修温储备系统的可靠性建模问题,已有基于多值决策图(MDD)的系统可靠性建模方法。该方法以系统中的单元故障为建模对象,分别构建故障级MDD与系统级MDD,进而获得系统可靠度的解析表达式。然而,该表达式中不同维度积分相互混杂,计算给定时刻的系统可靠度需要首先梳理系统可靠度的表达式,以利用数值方法求解其中的积分。为实现系统可靠度的程序化计算,在已有研究基础上提出将系统级MDD按故障数分解为一系列子决策图,通过对MDD中边的概率重新赋值获得每一子决策图的发生概率,得到系统可靠度的规范形式,形成一套完整的系统可靠度计算方法。 展开更多
关键词 温储备 多值决策图(MDD) 系统可靠度 可靠性建模 不完全故障覆盖
在线阅读 下载PDF
基于非线性和测试覆盖率的软件可靠性增长模型 被引量:5
7
作者 徐如远 袁宏杰 王乾元 《系统工程与电子技术》 EI CSCD 北大核心 2020年第2期473-479,共7页
软件可靠性增长模型一般假设故障是独立的,且检测到的故障能够被排除。但在工程中,一些检测到的故障可能无法排除,在排除过程中也可能会引入新的故障。考虑上述因素,本文假设故障的引入过程与时间呈现非线性关系,通过测试覆盖率函数来... 软件可靠性增长模型一般假设故障是独立的,且检测到的故障能够被排除。但在工程中,一些检测到的故障可能无法排除,在排除过程中也可能会引入新的故障。考虑上述因素,本文假设故障的引入过程与时间呈现非线性关系,通过测试覆盖率函数来表示软件故障检测率,建立了基于非齐次泊松过程(non-homogeneous Poisson process,NHPP)的软件可靠性增长模型。为规避参数估计过程中模型函数导数连续性和存在性的限制,应用一个自适应变化的实值遗传算法进行计算。最后通过一个真实软件失效数据集对模型参数进行计算,利用不同的评价准则将所提模型和现有模型进行比较,说明所提模型的优越性和准确性。 展开更多
关键词 测试覆盖率 不完美调试 非线性 可靠性增长模型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部