-
题名考虑排错过程引进故障的开源软件可靠性模型研究
被引量:4
- 1
-
-
作者
米晓萍
王金勇
-
机构
山西大学软件学院
-
出处
《计算机应用研究》
CSCD
北大核心
2019年第7期2070-2074,2080,共6页
-
基金
山西省自然科学基金资助项目(201801D121120)
山西省软科学研究资助项目(2017041039-6)
-
文摘
如何评估开源软件的可靠性是一个重要的问题,与传统的闭源软件相比,在建立开源软件可靠性模型时必须考虑故障引入和故障检测与排错之间的延迟时间这两个因素。考虑了排错过程和不完美调试现象,提出了相应的开源软件可靠性模型,并且用两个开源软件故障数据集实验来验证提出模型的拟合性能与预测性能。实验结果表明,提出的模型在开源软件可靠性评估中具有良好的拟合和预测性能,以用于开源软件在实际的开发过程中的可靠性评估。
-
关键词
软件可靠性
软件可靠性模型
排错过程
不完美调试
开源软件
-
Keywords
software reliability
software reliability model
correction process
imperfect debugging
open source software
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的软件可靠性增长模型
被引量:4
- 2
-
-
作者
吴彩华
朱小冬
刘俊涛
王毅刚
-
机构
空军雷达学院信息对抗系信息作战指挥教研室
军械工程学院装备指挥与管理系维修工程研究所
军械工程学院计算机工程系软件工程教研室
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2009年第8期2024-2028,共5页
-
基金
"十一五"国防预先研究基金(513270104)资助课题
-
文摘
在软件测试阶段,由于加速测试的影响,用软件可靠性增长模型测得的运行阶段可靠性很难真实反映实际运行时的可靠性。因此,修正了软件测试环境与运行环境相同的假设,针对测试阶段排错过程的延迟性,提出在测试阶段要把软件检错过程和排错过程结合起来建模。通过采用不同的故障检错率函数减少了测试与运行环境的差别,并结合移动点技术,提出了一个新的考虑测试环境和运行环境不同的可靠性增长模型(TDO-SRGM)。在两个公开发表的数据集上进行的拟合试验和预测试验证明,该模型具有很好的拟合效果和预测能力。
-
关键词
软件可靠性
增长模型
移动点
检错过程
排错过程
-
Keywords
software reliability
growth model
change-point
detection process
correction process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
N941.5
[自然科学总论—系统科学]
-
-
题名考虑多种真实情况的软件可靠性增长模型
被引量:1
- 3
-
-
作者
吴彩华
王晓伟
刘俊涛
马建朝
-
机构
空军预警学院黄陂士官学校指挥自动化教研室
武汉数字工程研究所
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2014年第11期2332-2336,共5页
-
基金
国家自然科学基金(61173120)资助课题
-
文摘
进行软件可靠性评估主要通过构建软件可靠性模型实现。软件可靠性模型通常给出被检出的故障可以立即被排除,并且不会有新的故障被引入的假设,这与实际的检错过程是不相符的。针对以上假设条件,提出了一种新的软件可靠性增长模型。该模型将软件的检错过程和排错过程作为两个独立的非齐次泊松过程分别进行建模,并将软件中存在的故障数看作是一个变化的函数,该函数包括软件中初始故障及引入的故障。在两个数据集上进行相应实验证明,较之其他模型,新建模型的拟合和预测效果更好。
-
关键词
软件可靠性
软件可靠性增长模型
不完美排错
检错过程
排错过程
-
Keywords
software reliability
software reliability growth model (SRGM)
imperfect-debugging
detection proeess removing process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-