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

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 熊伟;王晓暾;;基于质量功能展开的可信软件需求映射方法[J];浙江大学学报(工学版);2010年05期
12 熊伟;王娟丽;蔡铭;;基于QFD技术的软件可信性评估研究[J];计算机应用研究;2010年08期
13 余涛;丁帅;;面向软件可信优化的关键因素分析[J];价值工程;2011年14期
14 高铭;郭树行;;软件构件的可信性需求建模研究[J];河套大学学报;2009年02期
15 丁学雷;王怀民;王元元;卢刚;;面向验证的软件可信证据与可信评估[J];计算机科学与探索;2010年01期
16 程平;刘伟;;基于结构分解的软件可信性变化传播模式研究[J];科技管理研究;2010年05期
17 程平;刘伟;陈艳;;基于矩阵变换的软件可信性演化波及效应[J];系统工程理论与实践;2010年05期
18 赵倩;王慧强;冯光升;赵靖;;基于Pi演算的软件可信性度量方法[J];吉林大学学报(工学版);2011年06期
19 郑志明;马世龙;李未;姜鑫;韦卫;马丽丽;唐绍婷;;软件可信复杂性及其动力学统计分析方法[J];中国科学(F辑:信息科学);2009年10期
20 张波;;软件可信度量评估系统的设计与实现[J];信息与电脑(理论版);2009年09期
中国重要会议论文全文数据库 前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 丁帅;软件可信性评估模型及其优化方法研究[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年
中国重要报纸全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978