软件的质量 软件的分析、测试与验证2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件的质量 软件的分析、测试与验证PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 引言1

1.1 动机1

1.2 数据和概念的定义3

1.3 技术水平6

1.3.1 质量管理6

1.3.2 软件质量保证14

1.3.3 硬件质量安全16

1.3.4 软件密集型系统的质量保障17

1.4 测试技术的分组与归类18

1.4.1 动态测试19

1.4.2 静态分析22

1.4.3 形式技术：符号测试和形式证明流程23

1.5 组织结构23

第2章 面向功能型测试25

2.1 面向功能型测试的属性和目标25

2.2 功能性等价类划分26

2.2.1 功能性等价类划分的属性和目标26

2.2.2 描述功能性等价类划分26

2.2.3 评价功能性等价类划分29

2.3 以状态为基础的测试30

2.3.1 以状态为基础的测试的属性和目标30

2.3.2 描述以状态为基础的测试30

2.3.3 评价以状态为基础的测试34

2.4 原因—效果—分析36

2.5 其他面向功能型测试技术40

2.5.1 句法测试40

2.5.2 以事务流为基础的测试42

2.5.3 以判定表格为基础或者以判定树为基础进行测试43

2.6 评价面向功能型测试44

第3章 面向控制流程的、面向结构的测试46

3.1 面向控制流程的测试属性和目标46

3.2 指令覆盖测试47

3.2.1 指令覆盖测试的属性和目标47

3.2.2 描述指令覆盖测试47

3.2.3 评价指令覆盖测试48

3.3 子项覆盖测试48

3.3.1 子项覆盖测试的属性和目标48

3.3.2 描述子项覆盖测试49

3.3.3 子项覆盖测试的问题49

3.3.4 评价子项覆盖测试50

3.4 条件覆盖测试51

3.4.1 条件覆盖测试的属性和目标51

3.4.2 简单的条件覆盖测试52

3.4.3 条件／判定覆盖测试55

3.4.4 最小多重条件覆盖测试56

3.4.5 修正条件／判定覆盖测试59

3.4.6 多重条件覆盖测试63

3.4.7 问题64

3.4.8 评估条件覆盖测试66

3.5 测试循环的技术66

3.5.1 属性和目标66

3.5.2 结构化路径测试和边界—内部—路径测试66

3.5.3 LCSAJ测试74

3.6 路径覆盖测试77

3.6.1 路径覆盖测试的属性和目标77

3.6.2 评价路径覆盖测试78

3.7 评价面向流程控制的测试78

第4章 数据流型、面向结构型测试80

4.1 数据流型测试的属性和目标80

4.2 定义／用途测试82

4.3 必需的k元组测试92

4.4 数据上下文覆盖96

4.5 评价面向数据流的测试100

第5章 特殊的动态测试技术101

5.1 多样化测试101

5.1.1 多样化测试的属性和目标101

5.1.2 背靠背测试101

5.1.3 变异测试104

5.1.4 回归测试109

5.1.5 评价多样化测试110

5.2 定义域测试（Domain Testing）110

5.2.1 定义域测试的属性和目标110

5.2.2 路径域测试111

5.2.3 测试发现错误的子域115

5.2.4 分区分析117

5.2.5 评价定义域测试118

5.3 随机测试118

5.4 错误猜测119

5.5 使用判断119

5.6 评价121

第6章 软件测量122

6.1 软件度量的属性和目标122

6.2 度量和规格123

6.3 度量类型123

6.4 对度量的要求124

6.5 度量标准125

6.5.1 基础125

6.5.2 标准讨论126

6.6 为度量系统记录数据129

6.7 有目标的定义度量130

6.8 分析度量130

6.8.1 表述度量值131

6.8.2 评价经验中获得的知识133

6.8.3 用统计技术分析133

6.9 软件的重要度量135

6.9.1 跳字的复杂性136

6.9.2 Halstead度量138

6.9.3 度量活变量139

6.9.4 度量“变量取值范围”140

6.9.5 平均故障间隔时间140

6.10 软件度量的个案研究140

6.11 评价软件度量142

第7章 利用工具进行静态代码分析144

7.1 利用工具进行静态代码分析的属性和目标144

7.2 形态分析145

7.2.1 形态分析的属性和目标145

7.2.2 测试是否遵循编程惯例145

7.2.3 评价形态分析147

7.3 图形和表格147

7.3.1 使用图形、表格的属性和目标147

7.3.2 图形148

7.3.3 表格151

7.3.4 评价图形和表格的使用152

7.4 限幅152

7.4.1 限幅的属性和目标152

7.4.2 静态限幅153

7.4.3 动态限幅154

7.4.4 评价限幅155

7.5 数据流异常分析156

7.5.1 数据流异常分析的属性和目标156

7.5.2 执行数据流异常分析156

7.5.3 数据流异常分析的问题及其解决方法160

7.5.4 评价数据流异常分析162

7.6 评价有工具支持的静态代码分析163

第8章 软件验证和复审164

8.1 软件验证和复审的属性及目标164

8.2 形式验证技术165

8.2.1 形式验证技术的属性和目标165

8.2.2 描述形式验证技术165

8.2.3 评价形式验证技术169

8.3 会议技术中的传统复审：结构化普查170

8.4 评论技术中的复审171

8.5 评价软件验证和复审171

第9章 形式技术：符号测试和形式正确性证明172

9.1 形式技术的属性和目标172

9.2 符号测试172

9.2.1 符号测试的属性和目标172

9.2.2 描述符号测试174

9.2.3 评价符号测试178

9.3 形式正确性证明179

9.3.1 形式正确性证明的属性和目标179

9.3.2 判断方法180

9.3.3 代数技术189

9.3.4 以自动机为基础的技术191

9.3.5 评价形式正确性证明193

9.4 评价形式技术194

第10章 过程和测试策略196

10.1 属性和目标196

10.2 软件开发过程196

10.3 开发197

10.3.1 分析199

10.3.2 设计200

10.3.3 实施200

10.4 测试200

10.4.1 模块测试201

10.4.2 集成和集成测试201

10.4.3 系统测试204

10.5 组织方面205

10.6 文件和评价测试207

10.7 标准207

10.7.1 标准的含义207

10.7.2 面向过程型标准209

10.7.3 独立于应用领域的标准：标准IEC 61508209

10.7.4 各领域的技术标准210

10.8 评价211

第11章 工具212

11.1 使用工具的属性和目标212

11.2 工具类型212

11.2.1 动态测试工具213

11.2.2 静态分析工具215

11.2.3 形式验证工具215

11.2.4 模块化和分析型工具216

11.3 工具的可用性217

11.3.1 技术拥有的工具数量217

11.3.2 编程语言拥有的工具217

11.3.3 开发平台形式和目标平台形式的工具使用情况217

11.4 关于工具的信息来源217

11.5 评价工具的利用情况218

第12章 测试面向对象型软件220

12.1 测试面向对象型软件的属性和目标220

12.2 关于面向对象型开发的说明221

12.3 面向对象型模块测试222

12.3.1 类测试作为面向对象型模块测试222

12.3.2 测试类的一种方法223

12.3.3 面向功能型测试224

12.3.4 面向结构型测试226

12.3.5 形式规约用于支持面向对象型测试230

12.3.6 测试参数化类232

12.3.7 测试子类和回归测试233

12.4 面向对象型集成测试233

12.4.1 基础类的集成测试233

12.4.2 集成测试和继承234

12.5 面向对象型系统测试237

12.6 评价面向对象型软件测试238

第13章 测试嵌入软件240

13.1 测试嵌入软件的属性和目标240

13.2 嵌入软件的重要属性240

13.2.1 安全级别240

13.2.2 可靠度和可用性241

13.2.3 实时能力242

13.3 安全级别高的软件进行动态测试242

13.4 安全模块化和可靠度模块化243

13.4.1 安全模块化和可靠度模块化的属性和目标243

13.4.2 软件FMECA244

13.4.3 错误树分析244

13.4.4 马尔可夫模块化246

13.4.5 评价安全模块化和可靠度模块化247

13.5 随机软件可靠度分析248

13.5.1 随机软件可靠度分析的属性和目标248

13.5.2 随机可靠度分析的基础248

13.5.3 比较硬件可靠度分析和软件可靠度分析252

13.5.4 软件可靠度模型253

13.5.5 模型的示例：Musa的基础执行时间模型259

13.5.6 评价随机软件可靠度分析262

13.6 评价嵌入软件的测试263

第14章 实践指南265

14.1 组织上的提示265

14.2 技术提示265

14.2.1 适合实践的简单测试策略267

14.2.2 满足特殊的要求268

14.3 总结269

参考文献271