当前位置:主页 > 科技论文 > 软件论文 >

基于减函数的多层贝叶斯离散型软件可靠性验证测试方案

发布时间:2018-06-06 10:05

  本文选题:软件可靠性 + 验证测试 ; 参考:《计算机应用研究》2017年03期


【摘要】:为有效降低软件可靠性验证测试工作量,满足高可靠软件的指标验证要求,在减函数理论及贝叶斯理论基础上,提出一种基于减函数的多层贝叶斯离散型软件可靠性验证测试方案(MBDFDSRDT)。选取面向失效概率的减函数作为第一层先验分布密度函数,然后选择第一层先验分布密度函数超参数的均匀分布函数来构造其第二层先验分布密度函数,进而给出相应的多层后验分布密度函数。选取若干组失效数据,对MBDFDSRDT方案进行实践应用,并与基于贝叶斯理论的软件可靠性验证测试方案以及基于减函数的单层贝叶斯软件可靠性验证测试方案进行对比。应用结果表明,MBDFDSRDT方案可显著地降低所需的测试工作量,特别适用于高可靠安全关键软件。
[Abstract]:In order to effectively reduce the workload of software reliability verification test and meet the requirements of high reliability software index verification, based on the subtraction function theory and Bayesian theory, This paper presents a reliability verification and testing scheme for multilayer Bayesian discrete software based on subtraction function. The reduction function oriented to failure probability is selected as the first prior distribution density function, and then the uniform distribution function of the superparameter of the first prior distribution density function is selected to construct its second prior distribution density function. Then the corresponding multilayer posterior distribution density function is given. The MBDFDSRDT scheme is applied to several groups of failure data and compared with the software reliability verification test scheme based on Bayesian theory and the single-layer Bayesian software reliability verification test scheme based on subtraction function. The application results show that the MBDFDSRDT scheme can significantly reduce the required testing workload and is especially suitable for high reliability security critical software.
【作者单位】: 中国船舶工业系统工程研究院;北京航空航天大学可靠性与系统工程学院;
【分类号】:TP311.53

【参考文献】

相关期刊论文 前7条

1 李海峰;刘畅;郑军;;安全关键软件可靠性验证测试研究[J];航空标准化与质量;2013年03期

2 王学成;陆民燕;李海峰;杨日盛;;带减函数的连续型软件可靠性验证方案[J];重庆大学学报;2012年10期

3 李秋英;姜梦岑;;软件可靠性验证测试最小测试量的必要条件[J];北京航空航天大学学报;2010年02期

4 赵亮;王建民;孙家广;;软件易测性和软件可靠性关系研究[J];计算机学报;2007年06期

5 覃志东;雷航;桑楠;熊光泽;;连续执行软件可靠性验证测试方法[J];计算机科学;2005年06期

6 覃志东,雷航,桑楠,熊光泽,古幼鹏;安全关键软件可靠性验证测试方法研究[J];航空学报;2005年03期

7 杨仕平,桑楠,熊光泽;安全关键软件的防危性测评技术研究[J];计算机学报;2004年04期

【共引文献】

相关期刊论文 前10条

1 彭明田;丁建立;王尧;;面向安全可靠的国产化客票交易系统软件重构[J];计算机技术与发展;2016年11期

2 郑明伟;;基于测试覆盖的安全关键软件测试研究[J];网络安全技术与应用;2016年06期

3 冯济舟;田明辉;;软件潜在安全性缺陷测试案例的研究及思考[J];信息网络安全;2015年06期

4 张玲玲;王林章;;基于故障剖面的安全关键系统可靠性测试与评估[J];计算机与数字工程;2014年12期

5 王平涛;李千目;;农业应急指挥系统的防危性分析[J];农业网络信息;2014年05期

6 张毅南;;面向云计算模式的运行环境可信性动态验证机制[J];科技致富向导;2014年05期

7 黄志球;徐丙凤;阚双龙;胡军;陈哲;;嵌入式机载软件安全性分析标准、方法及工具研究综述[J];软件学报;2014年02期

8 熊静;喻钢;徐中伟;;故障模型驱动的软件安全性测试研究[J];计算机工程与应用;2014年12期

9 杨亮;任伍杰;;核安全关键软件的验证与确认技术[J];计算机光盘软件与应用;2013年16期

10 顾卫江;;基于可信软件的测试研究[J];计算机光盘软件与应用;2013年13期

【二级参考文献】

相关期刊论文 前10条

1 李秋英;姜梦岑;;软件可靠性验证测试最小测试量的必要条件[J];北京航空航天大学学报;2010年02期

2 赵亮;王建民;孙家广;;软件易测性和软件可靠性关系研究[J];计算机学报;2007年06期

3 覃志东;雷航;桑楠;熊光泽;;连续执行软件可靠性验证测试方法[J];计算机科学;2005年06期

4 覃志东,雷航,桑楠,熊光泽,古幼鹏;安全关键软件可靠性验证测试方法研究[J];航空学报;2005年03期

5 颜炯,王戟,陈火旺;基于重要抽样的软件统计测试加速[J];计算机工程与科学;2005年03期

6 覃志东,雷航,熊光泽,桑楠,陈丽蓉;一种实时多任务软件可靠性验证方法[J];系统工程与电子技术;2004年10期

7 杨仕平,桑楠,熊光泽;安全关键软件的防危性测评技术研究[J];计算机学报;2004年04期

8 毛晓光,邓勇进;基于构件软件的可靠性通用模型[J];软件学报;2004年01期

9 白成刚;俞蒙槐;胡上序;蔡开元;;基于Bayes网的软件失效预测模型[J];计算机科学;2003年06期

10 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期

【相似文献】

相关重要报纸文章 前1条

1 ;2004年普通高等学校招生全国统一考试数学试题及参考答案[N];中国教育报;2004年

相关硕士学位论文 前1条

1 张静;三类拟线性椭圆型方程(组)解的存在性、多解性与稳定性研究[D];南京师范大学;2014年



本文编号:1986146

资料下载
论文发表

本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/1986146.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户25183***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com