软件测试概念与实践PDF|Epub|txt|kindle电子书版本网盘下载

软件测试概念与实践PDF格式电子书版下载

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

第Ⅰ部分 软件测试介绍3

第1章 软件工程：一种与众不同的原则3

1.1 年轻而动荡的原则3

1.2 压力下的行业6

1.3 规模庞大的复杂产品7

1.4 昂贵的产品10

1.5 缺乏重用实践12

1.6 容易出错的设计13

1.7 矛盾的经济学14

1.7.1 劳动力密集的产业15

1.7.2 缺少自动化15

1.7.3 质量控制手段有限16

1.7.4 不平衡的生命周期成本16

1.7.5 不平衡的维护成本17

1.8 本章小结19

1.9 参考书目注释19

第2章 软件质量属性21

2.1 功能属性22

2.1.1 布尔属性22

2.1.2 统计属性23

2.2 操作属性25

2.3 可用性属性27

2.4 业务属性28

2.5 结构属性30

2.6 本章小结32

2.7 练习32

2.8 参考书目注释33

第3章 软件测试生命周期35

3.1 软件工程生命周期35

3.2 软件测试生命周期41

3.3 软件测试的V模型48

3.4 本章小结51

3.5 参考书目注释51

第Ⅱ部分 软件测试基础55

第4章 软件规约55

4.1 坚实可靠规约的原则57

4.2 关系数学58

4.2.1 集合与关系58

4.2.2 关系操作59

4.2.3 关系的属性61

4.3 简单的输入输出程序63

4.3.1 表达规约63

4.3.2 对规约排序67

4.3.3 规约生成69

4.3.4 规约确认75

4.4 可靠性和安全性83

4.5 基于状态的系统86

4.5.1 关系模型86

4.5.2 公理表达89

4.5.3 规约确认98

4.6 本章小结101

4.7 练习101

4.8 问题106

4.9 参考书目注释109

第5章 程序正确性和验证111

5.1 正确性的定义113

5.2 正确性：命题117

5.2.1 正确性和精化118

5.2.2 集合论的特征120

5.2.3 解释121

5.3 验证124

5.3.1 公式样例126

5.3.2 推理系统128

5.3.3 用于解释的示例133

5.4 本章小结138

5.5 练习139

5.6 问题141

5.7 参考书目注释141

第6章 失效、错误和缺陷143

6.1 失效、错误和缺陷143

6.2 缺陷和相对正确性146

6.2.1 缺陷，一个含糊的概念146

6.2.2 相对正确性148

6.3 视情况而定的缺陷和确定性缺陷151

6.3.1 视情况而定的缺陷151

6.3.2 单调的缺陷去除155

6.3.3 一个单调缺陷去除的框架161

6.3.4 确定性缺陷162

6.4 缺陷管理164

6.4.1 多道防线164

6.4.2 混合确认166

6.5 本章小结171

6.6 练习172

6.7 问题174

6.8 参考书目注释174

第7章 软件测试分类175

7.1 联合测试存在的问题175

7.2 分类方案176

7.2.1 主要属性178

7.2.2 次要属性183

7.3 测试分类190

7.3.1 单元级测试190

7.3.2 系统级测试192

7.4 练习194

7.5 参考书目注释195

第Ⅲ部分 测试数据生成199

第8章 测试生成概念199

8.1 测试生成和目标属性199

8.2 测试输出203

8.3 测试生成需求206

8.4 测试生成准则211

8.5 基于经验的充分性评价216

8.6 本章小结222

8.7 练习223

8.8 参考书目注释225

8.9 附录：变异程序226

第9章 功能准则229

9.1 域划分229

9.2 使用表格表达式生成测试数据237

9.3 基于状态的系统的测试生成244

9.4 随机测试数据生成255

9.5 将测试数据选择比喻为一次旅行260

9.6 本章小结263

9.7 练习264

9.8 参考书目注释267

第10章 结构化准则269

10.1 路径和路径条件270

10.1.1 执行路径270

10.1.2 路径函数273

10.1.3 路径条件279

10.2 控制流覆盖281

10.2.1 语句覆盖281

10.2.2 分支覆盖284

10.2.3 条件覆盖286

10.2.4 路径覆盖289

10.3 数据流覆盖296

10.3.1 定义和使用296

10.3.2 测试生成准则300

10.3.3 测试准则的层次结构304

10.4 基于缺陷的测试生成305

10.4.1 感知缺陷306

10.4.2 为感知缺陷选择输入数据311

10.4.3 针对错误传播选择输入数据313

10.5 本章小结314

10.6 练习315

10.7 参考书目注释319

第Ⅳ部分 测试部署与分析323

第11章 测试预言设计323

11.1 测试预言设计的困境323

11.2 从规约到预言327

11.3 基于状态的软件产品的测试预言332

11.3.1 从公理到测试预言333

11.3.2 从规则到预言335

11.4 本章小结342

11.5 练习343

第12章 测试驱动设计347

12.1 选择一种规约347

12.2 选择一种过程350

12.3 选择一种规约模型352

12.3.1 随机测试生成353

12.3.2 预先生成的测试数据360

12.3.3 缺陷和缺陷检测365

12.4 使用符号执行进行测试370

12.5 本章小结376

12.6 练习376

12.7 参考书目目注释383

第13章 分析测试输出385

13.1 逻辑解释386

13.1.1 具体测试386

13.1.2 符号测试388

13.1.3 具体-符号测试389

13.2 随机解释：缺陷密度391

13.3 随机解释：失效概率395

13.3.1 缺陷与缺陷并不相同395

13.3.2 定义/量化可靠性398

13.3.3 软件可靠性建模400

13.3.4 认证测试405

13.3.5 可靠性估计和可靠性增长406

13.3.6 可靠性标准411

13.3.7 作为经济函数的可靠性412

13.4 本章小结422

13.5 练习423

13.6 问题425

13.7 参考书目注释426

第Ⅴ部分 软件测试管理429

第14章 软件测试的度量429

14.1 缺陷倾向性431

14.1.1 圈复杂度431

14.1.2 规模433

14.2 缺陷可检测性434

14.3 错误可检测性439

14.4 错误可掩盖性442

14.5 避免失效445

14.6 容错447

14.7 解释示例449

14.7.1 圈复杂度450

14.7.2 规模450

14.7.3 状态冗余450

14.7.4 函数冗余451

14.7.5 非内射性452

14.7.6 不确定性452

14.7.7 小结453

14.8 本章小结454

14.9 练习455

14.10 参考书目注释456

第15章 软件测试工具457

15.1 分类方案457

15.2 脚本工具459

15.2.1 CppTest459

15.2.2 SilkTest460

15.3 录制-回放工具462

15.3.1 TestComplete462

15.3.2 Selenium IDE463

15.4 性能测试工具465

15.4.1 LoadRunner465

15.4.2 Grinder466

15.4.3 QF-Test467

15.4.4 Appvance PerformanceCloud468

15.4.5 JMeter469

15.5 预言设计工具471

15.5.1 JUnit471

15.5.2 TestNG472

15.6 异常检测473

15.6.1 Rational Purify473

15.6.2 Astree474

15.7 协同工具475

15.8 本章小结476

第16章 测试产品线477

16.1 PLE：流水线重用模型477

16.2 测试问题482

16.3 测试方法485

16.4 解释486

16.4.1 领域分析486

16.4.2 领域建模490

16.4.3 参考架构494

16.4.4 领域实现496

16.4.5 在领域工程阶段进行测试503

16.4.6 在应用程序工程阶段进行测试508

16.5 本章小结511

16.6 练习512

16.7 问题513

16.8 引用的参考书目513

参考文献515