学位论文 > 优秀研究生学位论文题录展示

软件可信度量模型设计与工具实现

作　者: 张乐文
导　师: 陈仪香
学　校: 华东师范大学
专　业: 计算机软件与理论
关键词: 软件可信度量模型蒙特卡洛方法稳定性 java工具开发软件可信分级回归分析
分类号: TP311.52
类　型: 硕士论文
年　份: 2013年
下　载: 15次
引　用: 0次
阅　读: 论文下载

内容摘要

当今世界随着网络的迅速扩张和网络社会的逐步崛起,软件的规模越来越大,然故障和错误却越来越频发,这些错误往往会引发巨大的经济损失。正因如此,软件的可信性问题越来越受到人们关注。软件的可信性度量是反映软件品质以及产品竞争力的重要指标,也是软件可信基础研究的核心内容。软件的可信性可以分解为影响软件可信性的属性,然后逐层细化这些属性直至可以直接度量的度量元。那么软件可信度量的工作就转化为求出度量元的可信度、确定如何综合这些度量元成为属性可信度和软件可信度、确定属性和度量元的权重、如何设计和开发工具。本论文围绕这几方面做了以下工作：一、在已有的对软件可信度量计算模型的研究基础上,新增了对稳定性的研究。稳定性保证了软件可信评估值在所有属性可信评估值的范围之内。我们修改了模型使其不仅满足之前提出的单调性、凝聚性、灵敏性、替代性,更满足我们新提出的稳定性。二、在JAVA平台上设计并实现了一个软件可信度量的工具,该工具可以让用户自己配置需要度量的属性和过程,允许用户自定义度量元的评估方法,自定义需要使用的度量计算模型。该工具还可以通过导入专家对各属性及度量元关键程度的打分来求得度量计算模型所需要的各参数。三、基于软件出厂报告评审,给出了软件可信分级方法和可信度量计算模型参数计算的方法,从而使得整个软件度量在软件出厂报告评审这一阶段有了系统的理论和技术支撑。

全文目录

摘要  6-7
ABSTRACT  7-11
第一章引言  11-17
  1.1 研究背景和意义  11
  1.2 软件可信度量模型与工具研究现状  11-14
  1.3 主要贡献  14-15
  1.4 论文结构  15-17
第二章可信度量计算模型  17-27
  2.1 软件可信度量模型的仿真与分析  17-18
  2.2 稳定性与模型的修改  18-20
  2.3 模型的证明与分析  20-25
  2.4 新模型的仿真  25-26
  2.5 小结  26-27
第三章软件可信度量工具设计与实现  27-37
  3.1 主要模块  27-31
  3.2 数据存储结构  31-32
  3.3 主要算法  32-34
  3.4 工具界面和使用说明  34-36
  3.5 小结  36-37
第四章软件出厂报告的软件可信度量  37-49
  4.1 软件出厂报告评审  37-38
  4.2 可信分级方法  38-43
  4.3 权重专家打分  43-47
  4.4 工具及仿真案例  47-48
  4.5 小结  48-49
第五章总结与展望  49-50
附录A 攻读硕士学位时发表论文和科研情况  50-51
附录B 出厂评审报告评审内容关键程度评价表  51-52
参考文献  52-56
后记  56

软件可信度量模型设计与工具实现

内容摘要

全文目录

相似论文