收藏本站
《合肥工业大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

软件可信性评估模型及其优化方法研究

丁帅  
【摘要】:随着信息技术的快速发展,软件已经成为现代制造业和服务业不可分割的一部分,其运行行为对产品性能或服务质量具有直接影响。然而软件系统并不总是可信的,固有的缺陷和未处理的异常都将导致软件系统的行为可能会偏离用户的期望。因此,为了减少由于软件失信所引起的社会安全问题及其可能带来的巨大经济损失,迫切需要研究客观高效的软件可信性评估方法及模型,进而为保障软件实体的全面可信提供理论支持。 传统的可信性评估模型或方法通常使用软件度量或逻辑验证方法对软件进行定量估计。这些模型或方法虽然解决了一些实际问题,但在应用于规模庞大、功能复杂且演化规律不确定的软件系统时,依然存在:缺乏对用户真实可信需求的全面把握、未能充分考虑影响评估结果正确性的关键因素、不具备动态自适应特征等问题。本文主要以复杂软件系统为研究对象,重点研究软件可信性评估过程中指标系统动态构建、客观赋权、评估模型构建与优化、可信性动态评估建模以及可信推荐等基础科学问题,大量数值实验表明这些模型及算法的合理性和有效性。 本文的主要工作及取得的创新性成果如下: (1)研究了普适性的软件可信性评估过程。剖析了软件可信性评估过程中急需攻克的关键科学问题和研究难点,开发了可信性评估指标系统的动态构造模型及相关算法,构建了软件可信性评估应用系统的时间状态机模型。 (2)对于软件可信性评估的不确定性问题,研究了基于ER方法和效用理论的软件可信性评估模型。提出了多源异构可信证据的采集及其一致转换方法,给出了基于全局不确定度的可信指标客观赋权方法,并建立了基于分布式框架的软件可信性评估推理模型,实验结果表明该模型较好地解决了具有多可信属性、不确定性、可信证据多量纲等特征的复杂系统软件的可信性评估问题,评估结果精确、完备且可解释性强。 (3)对于可信证据的非可靠问题,研究了面向主客观可信证据的折扣估计方法。当使用群体专家主观评价或软件模型预测方式采集可信证据时,可以利用集成折扣估计与相对权重的联合系数对可信证据进行预处理,在此基础上还给出了一种ER改进方法,实验结果表明该方法适用于解决软件可信性评估过程中的证据非可靠问题,且有利于提升可信性评估模型的普适性。 (4)对于可信证据的相关性问题,研究了应用于相关信念背景下的证据融合规则ECCR,开发了用于多源可信证据融合的水平合成算法,并提出了一种考虑证据相关性的软件可信性评估推理算法,实验结果表明该方法适用于解决软件可信性评估过程中的证据相关性问题,且由于将合并过程中由相对权重或折扣引起的未知从合成结果中剔除,提高了可信性评估模型的求解精度。 (5)对于软件演化背景下的可信性动态评估及可信推荐问题,研究了基于关联矩阵变换的可信性评估指标系统动态自适应重构方法,提出了一种需求驱动的软件可信性动态评估模型,并将可信属性融入到软件服务的选择过程,建立了基于多属性匹配的可信云服务推荐系统及算法,实验结果表明该方法可以有效解决云计算环境下软件可信性动态评估及可信推荐问题。
【学位授予单位】:合肥工业大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP309

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 杨善林;阚红星;余本功;;一种软件自动测试成本的估算控制模型[J];电子学报;2007年08期
2 王怀民;唐扬斌;尹刚;李磊;;互联网软件的可信机理[J];中国科学E辑:信息科学;2006年10期
3 ;Research on trusted computing and its development[J];Science China(Information Sciences);2010年03期
4 吴静;吴晓燕;滕江川;陈永兴;;基于误差特征分析的仿真模型可信性综合评估[J];计算机集成制造系统;2011年03期
5 徐宝文;聂长海;史亮;陈火旺;;一种基于组合测试的软件故障调试方法[J];计算机学报;2006年01期
6 陈意云;华保健;葛琳;王志芳;;一种用于指针程序安全性证明的指针逻辑[J];计算机学报;2008年03期
7 赵会群;孙晶;;一种SOA软件系统可信性评价方法研究[J];计算机学报;2010年11期
8 赵倩;王慧强;冯光升;刘威;赵靖;;基于自配置的软件可信性增长方法[J];江苏大学学报(自然科学版);2010年05期
9 卢刚;王怀民;毛晓光;;基于认知的软件可信评估证据模型[J];南京大学学报(自然科学版);2010年04期
10 王慧强;吕宏武;赵倩;董玺坤;冯光升;;一种关键任务系统自律可信性模型与量化分析[J];软件学报;2010年02期
中国博士学位论文全文数据库 前2条
1 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
2 陈海波;云计算平台可信性增强技术的研究[D];复旦大学;2008年
【共引文献】
中国期刊全文数据库 前10条
1 袁霖;王怀民;尹刚;史殿习;米海波;;基于角色的软件可信评估技术[J];北京工业大学学报;2010年05期
2 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期
3 石剑飞;闫怀志;秦玮;王文同;;Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model[J];Journal of Beijing Institute of Technology;2010年02期
4 赵家刚;张晴晖;李俊萩;徐安排;鲁莹;赵毅力;;指针的学习与应用[J];电脑编程技巧与维护;2009年16期
5 查日军;张德平;徐宝文;;t-维组合覆盖阵的递归构建(英文)[J];Journal of Southeast University(English Edition);2011年03期
6 谢苑;丁爽;;电子商务环境下新型信任管理模型[J];电脑知识与技术;2010年07期
7 尹继元;罗扬;胡智;;一种基于JMX的动态自适应软件模型[J];电脑知识与技术;2011年13期
8 秦园园;;浅谈可信软件体系结构研究[J];电脑知识与技术;2011年21期
9 王郑;韩焱;单联春;;通信运营商桌面云运用探讨[J];电信科学;2011年S1期
10 赵慧;;使用Petri网对网格服务进行建模[J];大众科技;2008年05期
中国重要会议论文全文数据库 前6条
1 邵景峰;秦兰双;任克俭;党金房;李敏;;集散式准备车间计算机监控系统研制[A];“丰源杯”全国浆纱、织造学术论坛暨2011织造年会论文集[C];2011年
2 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
4 王郑;韩焱;单联春;;通信运营商桌面云运用探讨[A];中国通信学会信息通信网络技术委员会2011年年会论文集(上册)[C];2011年
5 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
6 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
2 吴吉义;基于DHT的开放对等云存储服务系统研究[D];浙江大学;2011年
3 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年
4 向纯洁;信息系统开发团队绩效影响行为因素研究[D];华中科技大学;2011年
5 王娟丽;基于QFD的概念设计方法研究[D];浙江大学;2011年
6 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
7 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
8 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
9 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年
10 邹华;NGN业务跨域互操作访问控制研究[D];北京邮电大学;2010年
中国硕士学位论文全文数据库 前10条
1 韩月;魔力平台中调试系统的研究与实现[D];哈尔滨工程大学;2010年
2 陈晓明;面向认知网络的信息感知技术研究[D];哈尔滨工程大学;2010年
3 陶荣;依赖分析在程序验证和遗留系统改造中的应用[D];长沙理工大学;2010年
4 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
5 丁大伟;电子交易中软件运行时行为分析与预测[D];湖南工业大学;2010年
6 刘小飞;分布式软件动态调控策略研究[D];湖南工业大学;2010年
7 刘广宾;分布式系统中实体交互行为的可信研究[D];湖南工业大学;2010年
8 李静;基于灰色理论的可信软件规划质量屋模型研究[D];浙江大学;2011年
9 马世敏;基于可信计算的内网监控系统的研究与实现[D];电子科技大学;2011年
10 赵飞;基于Trustie技术的可信软件在电厂MIS系统中的研究和应用[D];吉林大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 李万领;杨锁昌;周伟;;COM在测试软件设计中的应用[J];兵工自动化;2006年09期
2 胡方;黄建国;褚福照;;基于粗糙集的武器系统灰色关联评估模型[J];兵工学报;2008年02期
3 杨仕平,熊光泽,桑楠;安全关键系统的防危性技术研究[J];电子科技大学学报;2003年02期
4 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
5 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
6 潘颖,刘洋,谢冰,杨芙清;支持管理在线构件的基本构件描述模型[J];电子学报;2003年S1期
7 周明辉,梅宏,焦文品;基于中间件的可定制信任管理框架[J];电子学报;2005年05期
8 杨善林;阚红星;余本功;;一种软件自动测试成本的估算控制模型[J];电子学报;2007年08期
9 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
10 曾志嵘;俞守义;王冬;李莉;;运用Delphi法构建专家评价教师课堂教学质量体系[J];广东教育学院学报;2006年02期
中国硕士学位论文全文数据库 前1条
1 李姝;导弹系统仿真模型验证方法研究[D];国防科学技术大学;2003年
【相似文献】
中国期刊全文数据库 前10条
1 汤永新;刘增良;;软件可信性度量模型研究进展[J];计算机工程与应用;2010年27期
2 闵应骅;容错计算二十五年[J];计算机学报;1995年12期
3 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
4 李光亚;;软件工程若干技术发展新趋势[J];微型电脑应用;2010年11期
5 张瞩熹;李仁杰;王怀民;;一个面向方面的可信软件开发平台TSCE[J];计算机应用研究;2009年05期
6 杨洁;杨育;王小磊;;面向可信软件的风险管理模型研究[J];计算机应用研究;2008年10期
7 赵玲;软件可靠性与维修性[J];电子产品可靠性与环境试验;1997年02期
8 郑志明;马世龙;李未;韦卫;姜鑫;张占利;郭炳晖;;软件可信性动力学特征及其演化复杂性[J];中国科学(F辑:信息科学);2009年09期
9 杨启善;IEC/TC56简介[J];电子标准化与质量;1999年06期
10 杨善林;丁帅;付超;;考虑信息源相关的软件可信性评估模型[J];中国管理科学;2009年06期
中国重要会议论文全文数据库 前10条
1 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 田鹤;赵海;赵佳丽;蔡巍;刘铮;;基于复杂网络的大规模软件分析平台的设计与实现[A];第八届沈阳科学学术年会论文集[C];2011年
4 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
5 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 高玉兰;姚世军;江澜;;软件复用技术研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
7 陈思;;浅谈软件复用技术及其应用[A];上海烟草系统2004年度优秀学术论文集[C];2004年
8 黄兴平;徐鹏;杨放春;;基于面向构件的软件框架实现IMS CSCF[A];2006年全国通信软件学术会议论文集[C];2006年
9 焦金丹;胡金柱;胡燕;鲁志兵;;基于软件复用的领域分析和建模研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 陈枢思;李远清;;基于软件复用的人力资源管理系统实现[A];中南六省(区)自动化学会第24届学术年会会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 本报记者 高丽华;构件孕育产业变局[N];计算机世界;2005年
2 ;我国软件产业迈向何方[N];中国电子报;2001年
3 本报记者 孙小羽;知识管理的力量[N];计算机世界;2001年
4 本报记者 徐萍;东软突围“速度风险”怪圈[N];计算机世界;2003年
5 张勇 新疆维吾尔自治区烟草专卖局(公司);浅谈如何做好软件系统的架构设计[N];东方烟草报;2010年
6 ;中间件符合软件发展的潮流[N];科技日报;2000年
7 朱羽;软件行业发展应走构件化道路[N];中国高新技术产业导报;2004年
8 中国软件行业协会理事长 陈冲;中国软件产业发展趋势[N];光明日报;2003年
9 朱羽;软件发展应走构件化道路[N];经济参考报;2004年
10 孙志永 肖曙光;软件管理把握过程[N];中国计算机报;2002年
中国博士学位论文全文数据库 前10条
1 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
2 石莉;软件可信性评估方法研究[D];合肥工业大学;2012年
3 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
4 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
5 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
6 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
7 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
8 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
9 满君丰;开放网络环境下软件行为监测与分析研究[D];中南大学;2010年
10 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
中国硕士学位论文全文数据库 前10条
1 王翔宇;基于缺陷分析与测试评审的软件可信性评价体系[D];天津大学;2010年
2 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
3 顾聪越;基于云模型的软件可信性评估模型[D];大连理工大学;2011年
4 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
5 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
6 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年
7 黄茗云;贝叶斯网络在软件可信性评估指标体系中的应用[D];山东轻工业学院;2009年
8 丁哲;迭代闭序列模式挖掘算法及其在软件可信性分析中的应用研究[D];兰州大学;2012年
9 杨静;软件可信性评估工具的研究与实现[D];西北大学;2009年
10 洪宏;基于元模型的软件可信评估方法及工具实现[D];南京航空航天大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026