《可信软件测度理论与方法》PDF下载

  • 购买积分:9 如何计算积分?
  • 作  者:于本海著
  • 出 版 社:北京:科学出版社
  • 出版年份:2014
  • ISBN:9787030409379
  • 页数:152 页
图书介绍:本书从软件开发的工程过程和管理过程入手,系统地分析可信软件过程构建的复杂性,定义了可信软件过程;为有效地实施可信软件过程管理模型,建立基于可信原则的可信软件过程改进模型;为正确评价可信软件水平,分别构建基于全生命周期过程实体、过程行为、过程产品、进度和成本可信的软件过程可信属性和评价指标体系,基于软件保密安全性、生存性、容错性、可靠性和防危性的软件可信属性和评价指标体系。

1 引言 1

1.1 可信软件研究的背景和意义 1

1.2 可信软件评价涉及的主要问题 3

1.3 可信软件评价的主要研究内容 5

1.4 可信软件评价研究框架 7

2 相关研究 11

2.1 可信软件的内涵 11

2.2 可信软件过程研究 13

2.3 可信软件相关研究 41

2.4 可信软件研究述评 45

3 可信软件过程构建 49

3.1 可信软件过程 49

3.2 可信软件过程建立 56

3.3 可信软件过程实施 68

4 可信软件评价指标体系建立 80

4.1 软件过程的可信性属性及评价指标体系 81

4.2 软件产品可信性属性及评价指标体系 89

5 可信软件过程和可信软件产品相关性研究 92

5.1 过程可信与产品可信映射关系模型选择 93

5.2 软件过程可信与软件产品可信结构方程模型 95

5.3 案例研究 98

6 软件过程可信评价模型研究 105

6.1 软件过程可信评价 105

6.2 模糊层次分析模型基本原理 107

6.3 案例分析 112

7 软件可信度评价模型研究 120

7.1 软件可信评价 120

7.2 证据理论原理 123

7.3 软件可信评价模型案例分析 129

7.4 可信软件相关分析模型 135

8 可信软件研究展望 140

8.1 全书总结 140

8.2 进一步的研究工作 141

参考文献 146