软件质量评价与保障PDF电子书下载

1软件与软件质量 1

1.1软件及其特点 1

1.2软件质量 3

1.2.1软件质量定义 3

1.2.2软件质量管理标准 4

1.2.3软件质量评价 6

1.2.4软件质量控制 6

1.2.5软件质量保障 7

1.2.6软件质量代价 7

1.3软件工程中的质量保障 8

1.3.1程序正确性证明 9

1.3.2软件测量学 10

1.3.3程序测试 11

1.3.4软件可靠性 11

1.4质量保障体系 12

1.4.1ISO9000:1994系列质量保障模式 12

1.4.2软件能力成熟度（集成）模型（CMM和CMMI） 13

1.4.3ISO/IEC12207（IEEE/EIA12207） 14

1.4.4TL9000 14

1.4.5ISO15504 15

1.4.6ISO9001:2000版的新特点 15

1.5小结 17

2软件质量评价 18

2.1引言 18

2.2软件质量评价模型分析与评论 20

2.3定义 22

2.4一个新的质量评价模型 23

2.4.1可用性 23

2.4.2可维护性 23

2.4.3可重用性 24

2.4.4模型结构 24

2.5软件测试、度量和评估 24

2.5.1测试 24

2.5.2度量 25

2.5.3评估 25

2.5.4质量要素的计算模型 26

2.6评价模型的使用 26

2.6.1推荐的度量方法 26

2.6.2推荐的测试方法 26

2.6.3推荐的测量数值到要素值之间的映射函数确定方法 27

2.7小结 28

3软件度量学 29

3.1软件度量学发展历史和现状 29

3.2度量方法的评价标准 31

3.3面向过程的软件度量方法 33

3.4面向对象的软件度量学 34

3.4.1面向对象技术综述 35

3.4.2面向操作的度量方法 36

3.4.3Lorenz和Kidd度量方法 36

3.4.4Chen＆Liu度量方法 37

3.4.5MOOD度量方法 38

3.4.6Chidamber和Kemerer度量方法 39

3.5C+＋与改进C&K软件度量方法 41

3.6C+＋软件度量工具SMTCPP 43

3.7度量实验数据分析 44

3.8Java度量工具 47

3.9小结 48

4软件需求分析与设计度量 49

4.1需求分析和设计度量研究现状 49

4.1.1需求分析度量研究 49

4.1.2设计度量研究 50

4.2功能点度量 51

4.2.1功能点度量概述 51

4.2.2功能点度量方法 51

4.2.3功能点度量的应用 53

4.3UML简介 55

4.3.1UML发展历史 55

4.3.2UML的基本概念 55

4.4基于UML的软件需求分析和设计度量指标 58

4.5度量指标分析 62

4.6基于UML的软件分析与设计度量工具UMTSA 63

4.6.1UMTSA系统功能 63

4.6.2UMTSA系统设计与实现 63

4.7实验结果分析 64

4.8小结 68

5程序分析与程序理解 69

5.1程序分析的目的和意义 69

5.2有关工作分析 70

5.3程序分析的专家模型 72

5.4程序分析方法学 73

5.4.1程序分析的基础 73

5.4.2程序分析的活动 74

5.4.3结构程序代数 75

5.4.4程序注释 75

5.5Java源程序辅助理解系统原型（HJAUS） 75

5.5.1设计原理 75

5.5.2HJAUS的体系结构 76

5.5.3程序信息库逻辑结构 77

5.6HJAUS实现技术 78

5.6.1程序信息元素的自动识别 78

5.6.2源程序信息的超文本组织 80

5.6.3用户界面设计 81

5.7小结 82

6软件缺点分析与度量 84

6.1软件缺点与软件缺点分析 84

6.2面向对象软件缺点分类 86

6.3软件缺点分析工具研究 88

6.3.1基于语法和语义的分析方法 88

6.3.2基于知识的软件缺点分析 88

6.4C+＋软件缺点分析工具的实现 91

6.4.1信息提取 91

6.4.2缺点分析 92

6.5实验与结果分析 94

6.6小结 96

7软件故障树 98

7.1故障树概述 98

7.1.1故障树基本概念 99

7.1.2故障树在复杂工业系统中的应用 100

7.1.3软件故障树研究概况 101

7.2面向对象软件故障树模型研究 102

7.2.1面向对象软件特征简介 102

7.2.2面向对象软件故障树模型构造 103

7.3C+＋软件故障树工具TOSFT实现与实验研究 108

7.3.1C+＋软件故障树工具设计思想 108

7.3.2C+＋软件故障树工具主要算法 109

7.3.3C+＋软件故障树工具界面实现 115

7.3.4C+＋软件故障树工具实验分析 115

7.4小结 119

8软件过程技术 120

8.1软件过程 120

8.2过程建模语言 122

8.3Petri网概述 125

8.3.1经典Petri网 126

8.3.2Petri网的基本属性 127

8.3.3高级Petri网（HLPN） 128

8.4软件过程网（SPNet） 130

8.5Petri网对软件过程技术基本结构的表示 133

8.6应用实例 134

8.7与其他系统的交互 136

8.7.1过程定义语言 136

8.7.2XMSPN的属性 141

8.8小结 141

9软件质量管理中的人力资源管理 142

9.1人力资源建模要素与分析 142

9.2资源分配策略 143

9.2.1资源划分函数 143

9.2.2资源选择的方法 143

9.3权限控制模型研究 144

9.3.1操作系统和数据库权限控制模型分析 144

9.3.2基于安全组的权限控制 144

9.4资源建模模块的总体结构 145

9.5权限控制模块的设计 145

9.5.1安全组和组织单元的区分 146

9.5.2工具安全组的设计 146

9.5.3过程安全组的设计 146

9.6软件开发企业人力资源模型 147

9.7小结 153

10基于过程和度量的软件质量保障平台 154

10.1平台结构 154

10.2过程建模工具实现方案 156

10.3引擎的实现方案 158

10.4监控系统的实现方案 161

10.5资源分配模块实现方案 162

10.6度量模块实现方案 163

10.7客户端应用的实现方案 163

10.8软件开发和质量保障平台的现实意义 163

10.9小结 164