第一部分 预备知识

第1章 一个小问题

第2章 如何使用本书

2.1 读者向导

2.2 约定

2.2.1 每章的基本成分

2.2.2 难度

2.2.3 标准

2.2.4 面向对象术语

2.2.5 程序设计语言和代码举例

2.2.6 测试工具

2.2.7 欢迎指出本书的错误

2.3 用于面向对象测试的FAQ

2.3.1 为什么要测试对象

2.3.2 测试设计

2.3.3 方法和类的测试设计

2.3.4 复用的测试

2.3.5 子系统和应用系统的测试设计

2.3.6 集成测试和开发的顺序

2.3.7 回归测试和重复的增量的开发

2.3.8 UML模型的测试

2.3.9 测试自动机

2.4 测试过程

第3章 软件测试：简要介绍

3.1 什么是软件测试

3.2 定义

3.3 测试的局限

3.3.1 输入/状态空间

3.3.2 执行顺序

3.3.3 故障敏感性和巧合正确性

3.3.4 绝对局限性

3.4 测试能完成什么

3.5 文献注释

第4章 必须改变：测试和面向对象软件

4.1 软件测试的沉闷科学

4.1.1 我是对的，你是对的，对象也是对的

4.1.2 故障模型的作用

4.1.3 用于面向对象编程的故障模型

4.2 范型的副作用

4.2.1 什么错了

4.2.2 封装

4.2.3 继承性

4.2.4 多态性

4.2.5 消息序列和状态相关错误

4.2.6 内置的低层服务

4.2.7 错误列表

4.3 具体语言的风险

4.3.1 C++

4.3.2 Java

4.3.3 Smalltalk

4.4 面向对象测试的覆盖模型

4.5 面向对象测试的声明

4.6 文献注释

第二部分 模型

第5章 测试模型

5.1 测试设计与测试模型

5.1.1 为什么测试必须是基于模型的

5.1.2 什么是模型

5.1.3 模型在测试中的作用

5.1.4 草图或测试就绪模型

5.1.5 结论

5.2 文献注释

第6章 组合模型

6.1 组合模型如何支持测试

6.2 怎样得到判定表

6.2.1 基本方法

6.2.2 构件和结构

6.2.3 汽车保险续保模型

6.2.4 无关条件、不知条件和不可能发生条件

6.2.5 判定表在面向对象开发中的应用

6.3.1 布尔表达式

6.3 导出逻辑函数

6.3.2 真值表与判定表

6.3.3 布尔表达式的组成

6.3.4 卡诺矩阵(Kanaugh-Veitch Matrix)

6.3.5 因-果图(Cause-Effect Graphs)

6.4 判定表确认(Validation)

6.5 测试生成(Test Generation)

6.5.1 故障模型(Fault Model)

6.5.2 全显式变式

6.5.3 全变式、全真变式、全假变式和全素因子变式

6.5.4 每一个条件/所有条件

6.5.5 二元判定图行列式

6.5.6 变量的否定(Variable negation)

6.5.7 非二值变量值域分析

6.5.8 其它启发方式

6.6 选择组合测试策略

6.7 文献注释

第7章 状态机

7.1 动机

7.2 基本模型

7.2.1 什么是状态机

7.2.2 状态转换图

7.2.3 有限状态自动机的一些性质

7.2.4 受监视转换

7.2.5 Mealy机和Moore机

7.2.6 状态转换表

7.2.7 基本模型的局限性

7.2.8 状态图

7.2.9 状态机与面向对象的开发

7.3 FREE状态模型

7.3.1 OOA/D行为模型的局限性

7.3.2 状态

7.3.3 转换

7.3.4 ɑ和ω状态

7.3.5 继承性及类的展平

7.3.6 示指明的事件/转换对偶

7.4 基于状态的测试设计

7.4.1 状态机是如何失败的

7.4.2 开发可测模型

7.4.3 N+测试策略

7.4.4 相关能力和局限性

7.4.5 选择基于状态测试的策略

7.5 文献注释

第8章 UML测试者指南

8.1 引言

8.1.1 作为测试模型的UML

8.1.2 关系测试策略

8.2 通用元素

8.2.1 组织与注解

8.2.2 对象约束语言

8.3 用例图

8.3.1 符号和语义

8.3.2 一般测试模型

8.3.3 测试性扩充

8.4 类图

8.4.1 符号和语义

8.4.2 一般测试模型

8.5 顺序图

8.5.1 符号和语义

8.5.2 一般测试需求

8.5.3 可测试性能扩充

8.6 活动图

8.6.1 符号和语义

8.6.2 一般测试模型

8.7 状态图

8.8 协作图

8.8.1 符号和语义

8.8.2 一般测试模型

8.8.3 可测试性扩充

8.9 构件图

8.9.1 符号和语义

8.9.2 一般测试模型

8.10.1 符号和语义

8.10.2 一般测试模型

8.10 实施图

8.11 图、关系和测试

8.12 文献注释

第三部分 样式

第9章 面向结果的测试策略

9.1 面向结果的测试

9.1.1 基于责任的测试设计的作用

9.1.2 基于实现的测试设计的作用

9.1.3 面向对象开发的集成

9.1.4 利用责任和实现

9.2.1 什么是样式

9.2 测试设计样式

9.2.2 样式和测试

9.2.3 测试设计样式模板

9.2.4 本书中的测试样式

9.2.5 应用测试设计样式

9.3 测试实例、测试包和测试计划的文档

9.3.1 IEEE829文件

9.3.2 可跟踪性

9.4 文献注释

10.1 类测试和集成

10.1.1 什么是类范围的测试

第10章 类

10.1.2 为什么在类范围进行测试

10.1.3 由谁和什么时候测试

10.1.4 实例分析：MPR Teltech

10.2 基础知识

10.2.1 类范围集成

10.2.2 基于实现的测试模型

10.2.3 路径敏感

10.2.4 域测试模型

10.3.1 功能内聚

10.3 方法范围测试设计样式

10.3.2 方法范围的集成

10.3.3 样式

10.4 类范围测试设计样式

10.4.1 类模态性

10.4.2 样式

10.5 展平类范围测试设计样式

10.5.1 超类的麻烦

10.5.2 展平类的测试策略

10.5.3 样式

10.6 文献注释

第11章 可复用构件

11.1 测试和复用

11.1.1 复用机制

11.1.2 测试在复用中的作用

11.1.3 复用测试包

11.2 测试设计样式

11.2.1 抽象类测试

11.2.2 类属类测试

11.2.3 新框架测试

11.2.4 流行框架测试

11.3 文献注释

第12章 子系统

12.1 子系统

12.1.1 什么是子系统

12.1.2 为什么在子系统范围内测试

12.2 子系统测试设计样式

12.2.1 类关联测试

12.2.2 往返场景测试

12.2.3 受控异常测试

12.2.4 模式机测试

12.3 文献注释

第13章 集成

13.1 面向对象开发中的集成

13.1.1 定义

13.1.2 集成测试的必要性

13.1.3 相依性分析

13.1.4 集成故障

13.2 集成样式

13.2.1 特定范围需要考虑的事项

13.2.2 大爆炸集成

13.2.3 自底向上集成

13.2.4 自顶向下集成

13.2.5 协作集成

13.2.6 基干集成

13.2.7 层次集成

13.2.8 客户/服务器集成

13.2.9 分布服务集成

13.2.10 离频集成

13.3 文献注释

14.1 应用系统测试

14.1.1 一个告诫人们的故事

第14章 应用系统

14.1.2 面向对象应用系统测试

14.1.3 应用系统测试策略

14.2 测试设计样式

14.2.1 扩充式用例测试

14.2.2 覆盖CRUD

14.2.3 按纲要分配测试

14.3 特定实现的能力

14.3.1 配置和兼容性

14.3.2 性能

14.3.3 完整性的容错性

14.3.4 人机交互

14.4 开发后测试

14.5 测试性能目标注解

14.5.1 批处理系统

14.5.2 交互式系统

14.5.3 实时系统

14.6 文献注释

第15章 回归测试

15.1 预备

15.1.1 什么和为什么

15.1.2 何时和如何

15.1.3 回归故障(Regression Fault)

15.1.4 测试自动化

15.1.5 测试包维护

15.1.6 缩减一个测试包需要考虑的事项

15.2 测试样式

15.2.1 全部再测试

15.2.2 再测试风险用例

15.2.3 按纲要再测试

15.2.4 再测试修改的代码

15.2.5 防火墙内再测试

15.3 文献注释

第四部分 工具

第16章 测试自动机

16.1 为什么测试必须自动化

16.2 限制和告诫

第17章 断言

17.1 简介

17.1.1 什么是断言

17.1.2 为什么使用断言

17.1.3 谁使用断言

17.2.1 假设检查器

17.2 基于实现的断言

17.2.2 潜伏的故障和探测器

17.3 基于责任的断言

17.3.1 概述

17.3.2 责任、契约和子类型

17.3.3 方法范围

17.3.4 类范围

17.3.5 顺序约束

17.3.6 超类/子类范围

17.3.7 客户/服务器范围

17.4.1 程序设计人员的断言FAQ

17.4 实现

17.4.2 断言动作

17.4.3 不可执行的断言

17.4.4 Ada95

17.4.5 C++

17.4.6 Eiffel

17.4.7 Java

17.4.8 Objective-C

17.4.9 Smalltalk

17.5.2 应用断言设计测试

17.5 实施

17.5.1 内嵌测试的验证

17.5.3 发行前的考虑

17.5.4 发行后的考虑

17.6 限制和告诫

17.7 一些断言工具

17.8 文献注释

第18章 预测

18.1 简介

18.2.1 简介

18.2 预测样式

18.2.2 评判

18.2.3 预说明预测

18.2.4 保值预测

18.2.5 有机预测

18.3 比较器

18.3.1 简介

18.3.2 确定对象相等

18.3.3 深相等和浅相等

18.3.4 抽象内容和具体内容

18.3.7 类型/子类型相等

18.3.6 汇集

18.3.5 别名

18.3.8 部分相等方法

18.4 文献注释

第19章 测试装置设计

19.1 如何开发测试装置

19.1.1 需求

19.1.2 体系结构

19.2 测试实例样式

19.2.1 考虑

19.3.1 考虑

19.3 测试控制样式

19.4 驱动器样式

19.4.1 考虑

19.4.2 驱动器设计样式

19.5 测试执行样式

19.6 测试实现语法

19.7 文献注释

附录 BigFoot s Tootsie：实例研究

术语汇编

参考文献