收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于连续时间贝叶斯网络的可信软件风险预测研究

王平涛  
【摘要】:随着软件日益广泛地被应用到航空航天、交通运输、核电能源和医疗卫生等安全关键领域,如何提高软件的可信性已成为软件开发时必须考虑和解决的问题。准确预测软件风险,有效定位和排除导致可信性降低的软件缺陷,能有效地增强软件的可信性水平并对软件当前可信性水平作出客观的评估。贝叶斯网络是概率理论和图论相结合的产物,是处理不确定性的有效方法。本文旨在建立基于贝叶斯网络的软件风险预测框架,研究连续时间贝叶斯网络模型、结构以及推理方法,从而为软件风险预测提供了一种系统化的建模方法,为解决软件开发过程中风险综合管理的迭代和动态特性问题,提供了新的技术途径和实现手段。本文构建的软件风险预测框架可根据不同的需求分别采用经验规则、故障树和贝叶斯网络三种方法模型来预测软件风险。这三种方法既自成体系、又互相支持。经验规则是故障树分析方法的基础和支撑,反过来,故障树分析可以验证经验规则的正确性,并指导经验规则的完善。同时,故障树又是贝叶斯网络建模的基础。 通过分析国内外在高可信软件风险预测的研究成果,我们在正确区分软件可信性属性的本质的前提下,以贝叶斯网络理论为核心指导,对软件风险预测作了系统而深入的研究,主要的创新之处包括: 1、给出故障树基本逻辑门的贝叶斯网络的表示及参数学习的闭合形式的形式化推理过程。利用这些闭合形式的公式,通过连续时间贝叶斯网络结构和参数学习,进行软件风险预测和可靠性分析。 2、在连续时间的贝叶斯网络理论的基础上,提出了一种基于贝叶斯网络的可信软件风险预测框架。本框架有充分的理论依据和实践基础,结构简单、灵活方便,可根据需要获取不同精度的预测数据。有利于专家,开发人员及管理人员总结经验,不但能重点关注现有软件的重要因素,达到提高软件质量的目的,同时还能为今后软件开发提供一定的经验数据,预防同类错误的再次发生。 3、运用所提出的可信软件风险预测框架,以动态故障树为基础,构建连续时间贝叶斯网络来描述遗留软件中模块的动态行为和交互,有效地将遗留软件所特有的专家经验、历史数据以及各种不完整、不确定性信息综合起来,提高建模效率和可信度,对用做安全关键系统的遗留软件进行风险预测和防危性评估。 随着软件开发规范化的趋势,软件风险预测技术会越来越受到重视,新的理论和技术热点不断涌现,目前,国内外研究机构对可信性计算展开了广泛的研究,而高可信软件的风险管理研究是其中重要的研究领域。本文对可信软件的风险预测理论与技术作了深入、系统的研究和实践,并提出了新的可信软件风险预测框架,为软件风险预测提供了新的思路和技术支持。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郑翠芳;吴志杰;;基于贝叶斯公式的软件缺陷影响因素分析[J];电脑知识与技术(学术交流);2007年01期
2 林士敏;田凤占;陆玉昌;;贝叶斯学习、贝叶斯网络与数据采掘[J];计算机科学;2000年10期
3 田凤占,张宏伟,陆玉昌,石纯一;多模块贝叶斯网络中推理的简化[J];计算机研究与发展;2003年08期
4 李俭川,胡茑庆,秦国军,温熙森;基于故障树的贝叶斯网络建造方法与故障诊断应用[J];计算机工程与应用;2003年24期
5 李伟生,王宝树;基于贝叶斯网络的态势评估[J];系统工程与电子技术;2003年04期
6 孔德华,王锁柱;贝叶斯网络在适应性E-Learning系统中的应用[J];山西师范大学学报(自然科学版);2005年02期
7 罗海蛟;一种贝叶斯网络结构学习的优化策略[J];自动化技术与应用;2005年05期
8 闫志勇,李明,倪劲峰,周学海;贝叶斯网络在自适应教育超媒体中的应用[J];计算机工程与应用;2002年08期
9 程岳,王宝树,李伟生;贝叶斯网络在态势估计中的应用[J];计算机工程与应用;2002年23期
10 刘军;基于贝叶斯网络的Web访问模式挖掘模型系统[J];成都信息工程学院学报;2004年01期
11 王秀坤,张少中,杨南海;改进的EM算法及其在防洪决策中应用[J];大连理工大学学报;2004年03期
12 赵进晓;肖飞;;一种基于贝叶斯网络的模型诊断方法[J];计算机科学;2009年01期
13 李俭川,陶利民,胡茑庆,温熙森;设备智能故障诊断与维修支持技术研究[J];仪器仪表学报;2002年S1期
14 黄茗云;王英龙;张洪亮;;贝叶斯网络在软件可信性评估指标体系中的应用[J];信息技术与信息化;2008年06期
15 梁燕;;贝叶斯网络在探究式网络教学中的应用[J];科技资讯;2010年24期
16 严晓峰;王先成;;基于贝叶斯网络的软件可靠性的概述[J];黑龙江科技信息;2009年36期
17 谢苑;丁爽;;电子商务环境下新型信任管理模型[J];电脑知识与技术;2010年07期
18 王玮,陈恩红,王煦法;基于贝叶斯方法的知识发现[J];小型微型计算机系统;2000年07期
19 张润梅,王浩,姚宏亮,方宝富;一种基于影响图的决策方法及在RoboCup中的应用[J];合肥工业大学学报(自然科学版);2004年04期
20 王辉,张剑飞,王双成;基于预测能力的贝叶斯网络结构学习[J];东北师大学报(自然科学版);2005年01期
中国重要会议论文全文数据库 前10条
1 黄桂松;;一种基于贝叶斯网络的业务驱动认知网络实现方法[A];江苏省电子学会2010年学术年会论文集[C];2010年
2 董杰;刘春红;李峰;李素芳;王传跃;;基于贝叶斯网络在双相抑郁的静息态网络间关系研究[A];中华医学会精神病学分会第九次全国学术会议论文集[C];2011年
3 宫义山;钱娜;;贝叶斯网络结构在线学习算法及应用[A];科学发展与社会责任(A卷)——第五届沈阳科学学术年会文集[C];2008年
4 杨卓鹏;郑恒;薛峰;任立明;;基于蒙特卡洛--贝叶斯网络方法的卫星地面站可用性分析[A];第二届中国卫星导航学术年会电子文集[C];2011年
5 朱宏博;张芊;赵海;宋纯贺;;基于贝叶斯网络英文电影对白的潜在语义分析[A];第八届沈阳科学学术年会论文集[C];2011年
6 马海军;黄德镛;唐立建;;采空区顶板事故动态贝叶斯模型研究[A];2010'中国矿业科技大会论文集[C];2010年
7 李立志;;基于贝叶斯网络的冠心病血瘀证辨证分析[A];2010中国医师协会中西医结合医师大会摘要集[C];2010年
8 沈海峰;梁曼君;;基于贝叶斯网络的数据挖掘技术[A];全国第十四届计算机科学及其在仪器仪表中的应用学术交流会论文集[C];2001年
9 王鹏;刘震;潘瑾;程尊平;汪卫;施伯乐;;OSBNC:一种快速贝叶斯网络分类算法[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
10 戴芹;马建文;欧阳赟;;遥感数据处理中引入贝叶斯网络的基本问题研究[A];第十五届全国遥感技术学术交流会论文摘要集[C];2005年
中国博士学位论文全文数据库 前10条
1 张少中;基于贝叶斯网络的知识发现与决策应用研究[D];大连理工大学;2003年
2 王平涛;基于连续时间贝叶斯网络的可信软件风险预测研究[D];南京大学;2012年
3 李俭川;贝叶斯网络故障诊断与维修决策方法及应用研究[D];中国人民解放军国防科学技术大学;2002年
4 刘思远;信息融合和贝叶斯网络集成的故障诊断理论方法及实验研究[D];燕山大学;2010年
5 华斌;贝叶斯网络在水电机组状态检修中的应用研究[D];华中科技大学;2004年
6 胡文斌;基于多Agent的分布式智能群决策支持系统关键技术研究[D];武汉理工大学;2004年
7 洪净;中医辩证量化方法学研究[D];湖南中医学院;2002年
8 李启青;遥感数据处理的遗传优化及其组合算法研究[D];中国科学院研究生院(遥感应用研究所);2004年
9 霍利民;基于贝叶斯网络的电力系统可靠性评估[D];华北电力大学(河北);2005年
10 刘辉;基因调控网络的建模与学习研究[D];复旦大学;2009年
中国硕士学位论文全文数据库 前10条
1 胡晓明;基于贝叶斯网络的软件风险管理问题的研究[D];南京理工大学;2004年
2 应凤刚;无人作战飞机对地攻击态势威胁评估方法和算法研究[D];西北工业大学;2005年
3 杨晓东;基于贝叶斯网络的配电网可靠性评估[D];华北电力大学(河北);2004年
4 费致根;Bayes网络在故障诊断中的应用[D];郑州大学;2004年
5 肖文辉;基于本体的智能故障诊断的不确定性推理研究[D];湖南科技大学;2010年
6 陈新亿;基于KL距离的贝叶斯网络结构学习算法研究[D];云南大学;2010年
7 钱隆;贝叶斯网络在基于几何模型的建筑物检测中的应用研究[D];合肥工业大学;2003年
8 朱传霞;MMOG中玩家联盟策略的研究[D];沈阳航空工业学院;2010年
9 张荧驿;基于T-S重要度和贝叶斯网络的多态液压系统可靠性分析[D];燕山大学;2011年
10 姚宏亮;贝叶斯网络结构学习及其多Agent系统模型研究[D];合肥工业大学;2003年
中国重要报纸全文数据库 前10条
1 吕晓敏;韩国软件风险投资启示[N];中国计算机报;2002年
2 赵利军;技术提升后看软件风险管理[N];中国计算机报;2004年
3 ;软银锁定中国电信业软件风险投资市场[N];中国高新技术产业导报;2002年
4 张小明;拿什么拯救你,医院信息化的软件风险[N];医药经济报;2005年
5 中国建设银行江门市分行 李健荣;银行安全 四层立体防护[N];计算机世界;2007年
6 金晨;摩托罗拉V8088存在软件缺陷[N];重庆商报;2000年
7 谢敏、戴金龙;追踪每一个软件缺陷[N];计算机世界;2005年
8 记者 王俊鸣;美专家认为因特网中枢有漏洞[N];科技日报;2001年
9 朱艳燕;奇虎反“流氓”出新招[N];中华工商时报;2007年
10 王宏宇;奇虎放弃定义“恶意软件” 卸载权回归网民[N];中国计算机报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978