软件可信性评估方法研究

发布时间：2017-08-03 20:38

  本文关键词：软件可信性评估方法研究

  更多相关文章： 可信软件 软件可信性评估 多指标决策方法 需求演化 PLM软件 粒子群算法

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

• 摘要8-10
• ABSTRACT10-12
• 致谢12-20
• 第一章 绪论20-34
• 1.1 研究背景及意义20-23
• 1.1.1 研究背景20-22
• 1.1.2 研究意义22-23
• 1.2 国内外研究现状23-30
• 1.2.1 软件可信理论研究现状23-25
• 1.2.2 软件可信性评估研究现状25-30
• 1.3 研究内容及结构安排30-34
• 1.3.1 研究内容30-31
• 1.3.2 结构安排31-34
• 第二章 软件可信性评估的理论基础34-52
• 2.1 软件演化过程34
• 2.2 软件可信性增长机理34-40
• 2.2.1 软件可信性增长过程(STGP)34-35
• 2.2.2 STGP 周期模型35-36
• 2.2.3 STGP 中影响软件可信性的因素集分析36-38
• 2.2.4 软件可信性的相关概念及特征分析38-40
• 2.3 多属性决策基础理论40-46
• 2.3.1 多属性决策理论与方法40-44
• 2.3.2 语言型多属性群决策理论与方法44-46
• 2.4 Fuzzy 集基础理论46-49
• 2.5 粒子群优化算法49
• 2.6 本章小结49-52
• 第三章 面向需求的语言型可信指标获取规则52-72
• 3.1 引言52
• 3.2 软件可信指标约简需求分析52-53
• 3.3 面向需求的语言型可信指标获取规则53-56
• 3.3.1 面向需求的语言描述方法53-55
• 3.3.2 面向需求的语言型可信指标获取流程55-56
• 3.4 语言型可信指标获取规则中专家权重确定方法56-69
• 3.4.1 语言评价信息的基本度量元58-62
• 3.4.2 群体一致性最优模型62-63
• 3.4.3 方案差异性最优模型63-64
• 3.4.4 加权和优化模型64-65
• 3.4.5 模型求解与算法设计65-69
• 3.5 面向需求的语言型可信指标获取步骤69-70
• 3.6 本章小结70-72
• 第四章 需求稳定情形下的软件可信性评估方法72-90
• 4.1 引言72-73
• 4.2 需求稳定情形下的软件可信性评估问题73-75
• 4.2.1 需求稳定情形下的软件可信性评估问题描述73
• 4.2.2 需求稳定情形下的软件可信性评估流程73-75
• 4.3 需求稳定情形下可信指标的主客观权重确定方法75-78
• 4.3.1 需求稳定情形下可信指标主观权重的确定75-76
• 4.3.2 需求稳定情形下可信指标客观权重的确定76-78
• 4.4 考虑不确定性与一致性最优的组合权重优化方法78-85
• 4.4.1 考虑不确定性的最优模型78-80
• 4.4.2 考虑一致性的最优模型80-81
• 4.4.3 加权和优化模型81
• 4.4.4 模型求解81-82
• 4.4.5 组合赋权方法的合理性评价82
• 4.4.6 三种组合赋权方法的合理性比较82-85
• 4.5 需求稳定情形下的软件可信等级确定方法85-88
• 4.5.1 需求稳定情形下软件可信评估矩阵的构建85-87
• 4.5.2 需求稳定情形下软件可信等级的确定87-88
• 4.6 本章小结88-90
• 第五章 需求演化情形下的软件可信性评估方法90-106
• 5.1 引言90-91
• 5.2 需求演化情形下的软件可信性评估问题91-93
• 5.2.1 需求演化情形下的软件可信性评估问题描述91
• 5.2.2 需求演化情形下的软件可信性评估方法及流程91-93
• 5.3 需求演化情形下的可信指标权重确定93-103
• 5.3.1 需求演化情形下 NCR 的获取及其重要度量化93-95
• 5.3.2 需求演化情形下 NCR 的分类及其重要度调整95-98
• 5.3.3 需求演化情形下 NCR_TA HoQ 的构建及指标偏好变元量化98-100
• 5.3.4 需求演化情形下偏好感应函数的设计及可信指标动态权重的确定100-103
• 5.4 需求演化情形下软件可信等级的确定103-104
• 5.5 本章小结104-106
• 第六章 汽车制造企业 PLM 软件可信性评估案例研究106-128
• 6.1 汽车制造企业 PLM 软件的实施现状及评估需求106-107
• 6.2 基于语言型可信指标获取规则确定 PLM 软件关键可信指标107-109
• 6.3 需求稳定情形下的 PLM 软件可信性评估109-116
• 6.3.1 PLM 软件评估指标体系确定110
• 6.3.2 PLM 软件可信指标组合权重确定110-113
• 6.3.3 PLM 软件可信等级评估113-115
• 6.3.4 PLM 软件评估结果敏感性分析115-116
• 6.4 需求演化情形下的 PLM 软件可信性评估116-127
• 6.4.1 PLM 软件 NCR 的获取及初始重要度量化116-118
• 6.4.2 PLM 软件 NCR 的分类及初始重要度调整118-121
• 6.4.3 PLM 软件可信等级评估121-127
• 6.5 本章小结127-128
• 第七章 总结与展望128-130
• 7.1 总结128-129
• 7.2 展望129-130
• 参考文献130-140
• 附录140-146
• 攻读学位期间参加的科研项目和撰写的论文146-147

【参考文献】

中国期刊全文数据库 前4条

1 郑志明;马世龙;李未;韦卫;姜鑫;张占利;郭炳晖;;软件可信性动力学特征及其演化复杂性[J];中国科学(F辑:信息科学);2009年09期

2 陈锦富;卢炎生;谢晓东;;软件错误注入测试技术研究[J];软件学报;2009年06期

3 蔡斯博;邹艳珍;邵凌霜;谢冰;邵维忠;;一种支持软件资源可信评估的框架[J];软件学报;2010年02期

4 王应明,张军奎;基于标准差和平均差的权系数确定方法及其应用[J];数理统计与管理;2003年03期

本文编号：616259