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

贝叶斯网络在软件可信性评估指标体系中的应用

作　者: 黄茗云
导　师: 王英龙
学　校: 山东轻工业学院
专　业: 计算机应用技术
关键词: 可信计算软件可信性贝叶斯网络
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 232次
引　用: 1次
阅　读: 论文下载

内容摘要

随着计算机技术的日益成熟,硬件成本的迅速降低,各种结构复杂、功能强大的计算机系统被广泛应用到航空航天、交通运输、核电能源和医疗卫生等安全关键领域。一旦这些系统失效,将造成人类生命财产的重大损失或者环境的严重破坏,系统可信性日益成为被关注的焦点。鉴于这类系统应用的特殊性,其配置的软件必须具备很高的可信性。对于越来越复杂的各种应用软件,软件内部存在危机、缺陷、错误、故障、失效,软件外部存在病毒、恶意代码入侵,如何进行可信性的评估,特别是量化的可信性评估是一个值得高度重视的问题,但国内外在这方面的研究甚少。贝叶斯网络是用来表示变量间概率分布的图形模式,具有稳固的数学基础,适用于表达和分析不确定性和概率性的事物等优点。本文提出了一种基于贝叶斯网络的软件可信性评估指标体系模型,与一般的概率分析方法相比,它在模型的适应性、概率分析的全面性以及对可能结果的有效判断上有明显的优势。文章主要开展了如下几个方面的研究:(1)讨论了软件可信性的概念、软件可信性的相关因素以及软件可信性度量的相关问题。讨论了软件可信性的概念、软件可信性的相关因素以及软件可信性度量的相关问题。软件的可用性、可靠性、可维护性等都是影响软件可信性的重要因素,根据软件可信性的特点,分析了软件可信性的度量准则。(2)总结了软件可信性评价模型的有关研究成果,目前对于软件可信性评价模型的研究主要分为黑箱和白箱两种方式,介绍了这两类方式的主要特点,并分析了它们存在和需要解决的问题。(3)讨论了贝叶斯网络的起源和发展,以及贝叶斯网络的概念,分析了贝叶斯网络的特点及其应用于软件可信性评价的可能性和优势。(4)讨论了软件可信性评估模型的特征和要求,在贝叶斯网络基础上给出了一种新颖的软件可信性评价模型。该模型以软件可信性相关因素为度量元,以软件体系结构为评价体系,以贝叶斯网络为表示体系,以可信性需求说明为评价依据。提出一种以可信性需求说明为依据的可信性评估方法。(5)在该模型基础上,本文针对石油加油站应用领域中一个比较大型的实际应用软件,建立了可信性评价模型,并根据该应用系统开发完成后的测试报告,以及软件质量和开发能力的评估,做出了对于该系统的可信性评估。

全文目录

摘要  7-8
ABSTRACT  8-10
第1章绪论  10-15
  1.1 课题研究目的和意义  10-11
  1.2 课题国内外研究现状  11-13
  1.3 课题的主要研究内容  13
  1.4 论文创新点  13-14
  1.5 文章组织结构  14-15
第2章软件可信性  15-24
  2.1 可信计算  15-17
    2.1.1 可信计算的发展历程  15-16
    2.1.2 可信计算的概念  16-17
    2.1.3 可信计算展望  17
  2.2 软件可信性  17-21
    2.2.1 软件可信性的定义  17-19
    2.2.2 软件可信性的影响因素  19-21
  2.3 软件可信性度量  21-22
    2.3.1 软件度量定义  21
    2.3.2 可信性度量定义  21-22
  2.4 可信性评价模型  22-23
  2.5 小结  23-24
第3章贝叶斯网络  24-30
  3.1 贝叶斯网络的起源和发展  24-25
  3.2 贝叶斯网络的概念  25-27
    3.2.1 贝叶斯网络的定义  25
    3.2.2 贝叶斯网络的条件独立关系  25-26
    3.2.3 单连通和多连通贝叶斯网络  26-27
  3.3 贝叶斯网络实例  27-28
  3.4 贝叶斯网络类型  28-29
  3.5 小结  29-30
第4章基于贝叶斯网络的软件可信性评估指标体系的建立  30-37
  4.1 软件可信性评估指标体系  30-32
    4.1.1 评估指标体系  30-31
    4.1.2 软件可信等级划分  31-32
  4.2 贝叶斯网络的应用  32-35
    4.2.1 软件可信性模型表示  32-33
    4.2.2 软件可信性需求说明  33-34
    4.2.3 可信性度量  34-35
  4.3 软件可信性评估模型的使用  35
  4.4 小结  35-37
第5章基于贝叶斯网络的软件可信性模型的应用  37-43
  5.1 系统介绍  37-38
  5.2 系统可信性模型  38-42
    5.2.1 可信性需求  38-39
    5.2.2 贝叶斯网络  39-42
    5.2.3 测试报告  42
  5.3 系统可信性评估  42
  5.4 小结  42-43
第6章总结与展望  43-44
参考文献  44-47
致谢  47-48
攻读硕士学位期间取得的科研成果  48

贝叶斯网络在软件可信性评估指标体系中的应用

内容摘要

全文目录

相似论文