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

软件可信性评估方法研究

石莉  
【摘要】:随着信息技术的推广和普及,计算机软件承载着拓展应用领域、解决复杂多变问题的重要作用,在现代信息社会中无处不在。然而,随着应用领域的广泛深入和应用环境的动态演化,规模日趋庞大的软件系统并不总是让人信任,常会发生各种故障或失效,软件可信性问题日益突出,已经成为影响信息社会国防建设和国民经济发展的普遍问题。为了消除或减轻软件失信对国民经济造成的威胁和困扰,“如何提高软件可信性”成为国内外不同学术组织和科研团体共同关注的研究热点。其中,作为提高和保障软件可信性的有力支撑,软件可信性评估成为学术界和实业界致力于解决的焦点问题。 软件可信性内涵上是业务用户对期望的所有可信指标实现程度的一种个性化感受和评价。随着用户多元化需求和用户所处环境的演化,软件可信性的评估结果常会发生变化,使得软件可信性呈现出演化特性。软件可信性的这种特性导致传统软件评价理论与模型很难适应新形势下软件可信性的评价。此外,软件可信性评估工作是技术层面和管理层面相互渗透的一个重要体现。然而,由于传统软件工程领域侧重于技术层面,致使目前对于软件可信性评估的研究大多集中在可信软件构造和软件可信性测试等层面,缺乏对可信软件评估管理层面的研究。基于此,本文从管理科学的角度出发,结合软件可信性的特点,采用理论研究和实践研究相结合的方法,针对软件可信性评估这一科学问题展开研究。 主要研究内容及创新成果如下: (1)探讨了软件可信性增长机理。基于软件演化观,分析并定义了软件可信性增长过程(STGP),建立了四阶段STGP周期模型,提炼出STGP不同阶段存在的影响软件可信性的四类因素。在此基础上,给出了软件可信性在狭义和广义上的定义以及可信软件的定义,并概括了软件可信性的典型特征。 (2)研究了面向需求的软件关键可信指标获取规则。针对软件可信指标的约简需求,引入语言型多属性群决策方法设计可信指标获取规则,基于语言描述方法给出面向需求的语言型可信指标获取流程和方法。针对可信指标获取规则中决策专家权重的确定方法,扩展语言评价信息基本度量元,构建群体一致性最优模型和方案差异性最优模型,并设计了改进粒子群算法进行求解。 (3)研究了需求稳定情形下的软件可信性评估方法。描述了需求稳定情形下软件可信性评估问题,并给出需求稳定情形下软件可信性评估流程,重点讨论了评估中可信指标权重的确定问题。针对组合赋权思想,提出一种新的组合权系数确定方法。该方法考虑不同赋权法所得权向量的随机性,建立基于最大熵原理的不确定性最优模型和基于相对熵原理的一致性最优模型,采用改进粒子群算法对加权和模型进行求解。提出了不同组合赋权方法的合理性评价方法,通过算例说明所提方法的合理性和有效性。最后,给出需求稳定情形下软件可信等级的确定方法。 (4)研究了需求演化情形下的软件可信性评估方法。描述了需求演化情形下软件可信性评估问题,并给出了需求演化情形下软件可信性评估流程。针对需求演化情形下用户新增需求对软件可信指标权重的影响问题,提出了指标偏好演化的概念,给出了用户新增需求的获取方法、分类方法及重要度量化方法。通过构建用户新增需求和可信指标之间的质量屋给出可信指标偏好变元的计算方法,设计了偏好感应函数以确定需求演化后可信指标的动态权重。最后,给出了需求演化情形下软件可信等级的确定方法。 (5)对产品生命周期管理(PLM)软件的可信性进行评估。分析了PLM软件的实施现状,针对PLM软件评估的实际需要,将本文所提方法应用于国内某大型汽车制造企业PLM软件的评估中。采用语言型可信指标获取规则获取PLM软件的评估指标,分别就需求稳定和需求演化两种情况对PLM软件进行评估,并给出了详细的评估过程。通过案例说明本文研究成果在实际中的应用和推广价值。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 汤永新;刘增良;;软件可信性度量模型研究进展[J];计算机工程与应用;2010年27期
2 闵应骅;容错计算二十五年[J];计算机学报;1995年12期
3 杨洁;杨育;王小磊;;面向可信软件的风险管理模型研究[J];计算机应用研究;2008年10期
4 赵玲;软件可靠性与维修性[J];电子产品可靠性与环境试验;1997年02期
5 吴信才;陈占龙;吴亮;;构建GIS高可信服务计算环境探讨[J];地理与地理信息科学;2007年04期
6 郑志明;马世龙;李未;韦卫;姜鑫;张占利;郭炳晖;;软件可信性动力学特征及其演化复杂性[J];中国科学(F辑:信息科学);2009年09期
7 杨启善;IEC/TC56简介[J];电子标准化与质量;1999年06期
8 杨善林;丁帅;付超;;考虑信息源相关的软件可信性评估模型[J];中国管理科学;2009年06期
9 熊伟;王娟丽;蔡铭;;基于QFD技术的软件可信性评估研究[J];计算机应用研究;2010年08期
10 余涛;丁帅;;面向软件可信优化的关键因素分析[J];价值工程;2011年14期
11 高铭;郭树行;;软件构件的可信性需求建模研究[J];河套大学学报;2009年02期
12 丁学雷;王怀民;王元元;卢刚;;面向验证的软件可信证据与可信评估[J];计算机科学与探索;2010年01期
13 程平;刘伟;;基于结构分解的软件可信性变化传播模式研究[J];科技管理研究;2010年05期
14 程平;刘伟;陈艳;;基于矩阵变换的软件可信性演化波及效应[J];系统工程理论与实践;2010年05期
15 赵倩;王慧强;冯光升;赵靖;;基于Pi演算的软件可信性度量方法[J];吉林大学学报(工学版);2011年06期
16 郑志明;马世龙;李未;姜鑫;韦卫;马丽丽;唐绍婷;;软件可信复杂性及其动力学统计分析方法[J];中国科学(F辑:信息科学);2009年10期
17 洪宏;黄志球;沈国华;钱巨;刘春勇;;支持软件可信评估的框架及其应用研究[J];计算机科学与探索;2011年02期
18 卢刚;王怀民;毛晓光;;基于认知的软件可信评估证据模型[J];南京大学学报(自然科学版);2010年04期
19 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
20 张瞩熹;李仁杰;王怀民;;一个面向方面的可信软件开发平台TSCE[J];计算机应用研究;2009年05期
中国重要会议论文全文数据库 前7条
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];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
7 舒培贵;邢广厂;;提高航天型号软件产品质量途径[A];质量——持续发展的源动力:中国质量学术与创新论坛论文集(上)[C];2010年
中国博士学位论文全文数据库 前10条
1 石莉;软件可信性评估方法研究[D];合肥工业大学;2012年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
4 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
5 丁帅;软件可信性评估模型及其优化方法研究[D];合肥工业大学;2011年
6 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
7 刘铮;大规模软件可信性度量分析原理及其方法的研究[D];东北大学;2010年
8 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
9 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
10 满君丰;开放网络环境下软件行为监测与分析研究[D];中南大学;2010年
中国硕士学位论文全文数据库 前10条
1 顾聪越;基于云模型的软件可信性评估模型[D];大连理工大学;2011年
2 王翔宇;基于缺陷分析与测试评审的软件可信性评价体系[D];天津大学;2010年
3 邱志涛;软件可信性增长测试用例生成方法的研究[D];哈尔滨工程大学;2011年
4 文家朝;基于多样化对象所有权的软件可信性质研究[D];南京理工大学;2012年
5 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
6 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年
7 黄茗云;贝叶斯网络在软件可信性评估指标体系中的应用[D];山东轻工业学院;2009年
8 丁哲;迭代闭序列模式挖掘算法及其在软件可信性分析中的应用研究[D];兰州大学;2012年
9 杨静;软件可信性评估工具的研究与实现[D];西北大学;2009年
10 兰文辉;基于复杂网络的可信软件研究[D];大连理工大学;2010年
中国重要报纸全文数据库 前10条
1 张戈;金雅拓可信服务管理解决方案获万事达认证[N];电脑商报;2009年
2 本报记者 彭璠;安全和可信服务激发中国互联网进一步发展[N];通信信息报;2005年
3 记者 毛晶慧;第三方网站可信服务行业首次发布规范[N];中国经济时报;2011年
4 商报记者 张绪旺;“可信”建设能够破解电商诚信瓶颈[N];北京商报;2011年
5 实习生 王海燕;网络江湖,如何“诚”字摆中间?[N];科技日报;2011年
6 木舟;信息化专才年缺100万[N];北京人才市场报;2005年
7 记者 张自然 实习记者 童海华;建立中国软件能力评估制度势在必行[N];中国电子报;2005年
8 黄振宇 刘红;倾心挥洒 创造激情[N];华东电力报;2003年
9 本报记者 冰川;中科院推动对日软件人才培养[N];计算机世界;2003年
10 文/曹阳;可信计算呼唤标准[N];计算机世界;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978