软件测试可以被视为一门艺术、一门工艺或一门科学，而本书中提出的一种循序渐进且实用的方法在这些不同的视角之间提供了一座桥梁。书中涵盖多种测试技术，首先介绍其优缺点，然后深入细节，帮助读者理解其基本原理。zui后，通过注入故障来展示每种技术的局限性，并提供了每种技术在发现故障方面的成功案例或失败案例。书中讲解的技术涉及黑盒测试、白盒测试、随机测试、单元测试、面向对象的软件测试和应用测试。本书还强调了应用技术的过程，包括分析、测试用例设计、测试实现和测试结果分析。

本书可谓关于软件测试的“精华”，书中内容以作者多年来讲授的软件工程和软件测试课程为基础，同时结合了丰富的行业实践经验。访问剑桥大学出版社网站可下载所有示例的编程练习和Java源代码。软件测试可以被视为一门艺术、一门工艺或一门科学，本书提出了一种循序渐进且实用的方法，在这些不同的视角之间架起了一座桥梁。

前　　言
Essentials of Software Testing
随着现代社会对软件系统的依赖程度越来越高，软件系统的正确运行成为一个至关重要的问题。本书的目的是向读者介绍软件测试的基本原理，以使他们能够开发出高质量的软件。软件测试可以被视为一门艺术、一门工艺或一门科学，而本书中提出的方法正是在这些不同的视角之间建立起一座桥梁。
本书的内容以作者多年来讲授的本科生和研究生软件工程及软件测试课程为基础，同时也结合了作者多年的行业经验。本书通过具体的实例来介绍软件测试的各种技术及其自动化实现，然后详细解释了每种技术并通过故障注入的方式来证明其局限性。另外，本书还强调了这些技术的应用过程，包括分析、测试设计、测试实现和测试结果分析等步骤。
全书通过一个贯穿始终的实例为初学者逐步介绍实用的测试技术，并通过额外的细节讨论加深读者对基本原则更深入的理解。我们希望你会像我们喜欢写这本书一样喜欢读这
本书。

拉尔夫·比瑞格（Ralf Bierig）
博士，梅努斯大学讲师。他曾在德国汽车行业担任高级IT顾问，并曾在英国、美国、奥地利和泰国从事研究工作。他的主要研究方向为交互式信息检索和人机交互。
斯蒂芬·布朗（Stephen Brown）
博士，梅努斯大学高级讲师。他曾在爱尔兰、美国和英国的数字设备公司（DEC）工作10年，并曾在欧盟资助的ADVANCE项目担任研究员。他的主要研究方向为无线网络。
埃德加·加尔文（Edgar Galván）
博士，梅努斯大学高级研究员，自然计算研究小组联合主管。他曾在都柏林大学、都柏林圣三一大学和巴黎萨克雷大学任职。根据伦敦大学学院的数据，他被列为基因编程领域有史以来排名前1%的研究人员。
乔·蒂莫尼（Joe Timoney）
博士，1999年加入梅努斯大学计算机科学系，现为梅努斯国际工程学院（MIEC）常务副院长。他的研究兴趣为软件工程和音频信号处理，重点是音乐应用。

目　　录
Essentials of Software Testing
译者序
前言
致谢
第1章　软件测试简介　　1
1.1　软件行业的现状　　1
1.1.1　软件测试与软件质量　　2
1.1.2　软件测试和风险管理　　3
1.2　失误、故障和失效　　3
1.2.1　失误　　4
1.2.2　故障　　4
1.2.3　失效　　5
1.2.4　测试的必要性　　6
1.3　规范的作用　　7
1.4　手工测试举例　　8
1.5　软件测试原理　　8
1.6　穷尽测试　　9
1.6.1　穷尽测试数据　　9
1.6.2　穷尽测试的可行性　　9
1.7　启发性测试　　9
1.7.1　随机测试　　10
1.7.2　黑盒测试和白盒测试　　11
1.7.3　基于经验的测试　　11
1.7.4　故障注入　　12
1.8　何时停止测试　　12
1.9　静态测试和动态测试　　12
1.9.1　基于审查的技术　　12
1.9.2　程序证明　　13
1.10　在软件开发过程中进行测试　　13
1.11　软件测试活动　　14
1.11.1　分析　　15
1.11.2　测试覆盖项　　15
1.11.3　测试用例　　16
1.11.4　验证测试用例　　17
1.11.5　测试实现　　17
1.12　测试的工作产品　　17
1.13　故障模型　　18
1.14　如何使用本书　　18
1.14.1　本书结构　　18
1.14.2　测试顺序　　19
1.14.3　文档化测试分析　　19
1.14.4　编程语言　　19
1.14.5　详细程度　　19
1.14.6　示例　　19
1.14.7　软件测试工具　　19
1.15　术语　　20
第2章　等价类划分　　21
2.1　使用等价类划分进行测试　　21
2.2　示例　　21
2.2.1　分析　　22
2.2.2　测试覆盖项　　25
2.2.3　测试用例　　25
2.2.4　验证测试用例　　27
2.3　测试实现和测试结果　　28
2.3.1　手工测试的输出　　28
2.3.2　自动化的测试实现　　28
2.3.3　测试结果　　31
2.4　等价类划分的细节　　31
2.4.1　故障模型　　31
2.4.2　描述　　31
2.4.3　分析：识别等价类划分　　31
2.4.4　测试覆盖项　　33
2.4.5　测试用例　　33
2.4.6　缺点　　33
2.5　评估　　34
2.5.1　局限性　　34
2.5.2　强项和弱项　　37
2.6　划重点　　37
2.7　给有经验的测试员的建议　　37
第3章　边界值分析　　38
3.1　使用边界值进行测试　　38
3.2　示例　　38
3.2.1　分析　　38
3.2.2　测试覆盖项　　39
3.2.3　测试用例　　39
3.2.4　验证测试用例　　40
3.3　测试实现和测试结果　　41
3.3.1　测试实现　　41
3.3.2　测试结果　　42
3.4　边界值分析的细节　　42
3.4.1　故障模型　　42
3.4.2　描述　　42
3.4.3　分析：识别边界值　　43
3.4.4　测试覆盖项　　43
3.4.5　测试用例　　43
3.4.6　缺点　　44
3.5　评估　　44
3.5.1　局限性　　44
3.5.2　强项和弱项　　46
3.6　划重点　　46
3.7　给有经验的测试员的建议　　46
第4章　判定表　　47
4.1　使用判定表测试组合　　47
4.2　示例　　47
4.2.1　分析　　47
4.2.2　测试覆盖项　　52
4.2.3　测试用例　　53
4.2.4　验证测试用例　　54
4.3　测试实现和测试结果　　55
4.3.1　测试实现　　55
4.3.2　测试结果　　56
4.4　判定表的细节　　56
4.4.1　故障模型　　56
4.4.2　描述　　56
4.4.3　分析：开发判定表　　56
4.4.4　测试覆盖项　　64
4.4.5　测试用例　　64
4.4.6　缺点　　64
4.5　评估　　64
4.5.1　局限性　　64
4.5.2　强项和弱项　　66
4.6　划重点　　66
4.7　给有经验的测试员的建议　　66
第5章　语句覆盖　　67
5.1　白盒测试　　67
5.2　语句覆盖测试　　67
5.2.1　获取语句覆盖率　　67
5.3　示例　　67
5.3.1　分析　　68
5.3.2　测试覆盖项　　70
5.3.3　测试用例　　70
5.3.4　验证测试用例　　71
5.4　测试实现和测试结果　　71
5.4.1　测试实现　　71
5.4.2　测试结果　　72
5.5　语句覆盖的细节　　73
5.5.1　故障模型　　73
5.5.2　描述　　73
5.5.3　分析：识别未执行的语句　　73
5.5.4　测试覆盖项　　73
5.5.5　测试用例　　73
5.6　评估　　74
5.6.1　局限性　　74
5.6.2　强项和弱项　　75
5.7　划重点　　76
5.8　给有经验的测试员的建议　　76
第6章　分支覆盖　　77
6.1　分支覆盖测试　　77
6.1.1　获取分支覆盖率　　77
6.2　示例　　77
6.2.1　分析　　78
6.2.2　测试覆盖项　　80
6.2.3　测试用例　　80
6.2.4　验证测试用例　　80
6.3　测试实现和测试