面向对象系统的测试PDF电子书下载

第一部分 预备知识 3

第1章 一个小问题 3

第2章 如何使用本书 9

2.1 读者向导 9

2.2 约定 11

2.2.1 每章的基本成分 11

2.2.2 难度 12

2.2.3 标准 12

2.2.4 面向对象术语 12

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

2.2.6 测试工具 15

2.2.7 欢迎指出本书的错误 16

2.3 用于面向对象测试的FAQ 16

2.3.1 为什么要测试对象 17

2.3.2 测试设计 18

2.3.3 方法和类的测试设计 19

2.3.4 复用的测试 20

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

2.3.6 集成测试和开发的顺序 21

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

2.3.8 UML模型的测试 24

2.3.9 测试自动机 26

2.4 测试过程 28

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

3.1 什么是软件测试 29

3.2 定义 31

3.3 测试的局限 37

3.3.1 输入/状态空间 37

3.3.2 执行顺序 38

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

3.3.4 绝对局限性 41

3.4 测试能完成什么 41

3.5 文献注释 43

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

4.1 软件测试的沉闷科学 45

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

4.1.2 故障模型的作用 46

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

4.2 范型的副作用 49

4.2.1 什么错了 49

4.2.2 封装 50

4.2.3 继承性 51

4.2.4 多态性 54

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

4.2.6 内置的低层服务 60

4.2.7 错误列表 60

4.3 具体语言的风险 64

4.3.1 C++ 65

4.3.2 Java 67

4.3.3 Smalltalk 67

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

4.5 面向对象测试的声明 72

4.6 文献注释 75

第二部分 模型 79

第5章 测试模型 79

5.1 测试设计与测试模型 79

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

5.1.2 什么是模型 79

5.1.3 模型在测试中的作用 80

5.1.4 草图或测试就绪模型 81

5.1.5 结论 83

5.2 文献注释 84

第6章 组合模型 85

6.1 组合模型如何支持测试 85

6.2 怎样得到判定表 86

6.2.1 基本方法 86

6.2.2 构件和结构 86

6.2.3 汽车保险续保模型 87

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

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

6.3.1 布尔表达式 92

6.3 导出逻辑函数 92

6.3.2 真值表与判定表 94

6.3.3 布尔表达式的组成 94

6.3.4 卡诺矩阵(Kanaugh-Veitch Matrix) 98

6.3.5 因-果图(Cause-Effect Graphs) 100

6.4 判定表确认(Validation) 104

6.5 测试生成(Test Generation) 105

6.5.1 故障模型(Fault Model) 105

6.5.2 全显式变式 106

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

6.5.4 每一个条件/所有条件 107

6.5.5 二元判定图行列式 108

6.5.6 变量的否定(Variable negation) 111

6.5.7 非二值变量值域分析 113

6.5.8 其它启发方式 113

6.6 选择组合测试策略 117

6.7 文献注释 120

第7章 状态机 121

7.1 动机 121

7.2 基本模型 122

7.2.1 什么是状态机 122

7.2.2 状态转换图 124

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

7.2.4 受监视转换 127

7.2.5 Mealy机和Moore机 128

7.2.6 状态转换表 131

7.2.7 基本模型的局限性 131

7.2.8 状态图 135

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

7.3 FREE状态模型 142

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

7.3.2 状态 143

7.3.3 转换 147

7.3.4 ɑ和ω状态 148

7.3.5 继承性及类的展平 149

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

7.4 基于状态的测试设计 158

7.4.1 状态机是如何失败的 158

7.4.2 开发可测模型 164

7.4.3 N+测试策略 167

7.4.4 相关能力和局限性 179

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

7.5 文献注释 184

第8章 UML测试者指南 187

8.1 引言 187

8.1.1 作为测试模型的UML 187

8.1.2 关系测试策略 190

8.2 通用元素 190

8.2.1 组织与注解 190

8.2.2 对象约束语言 192

8.3 用例图 192

8.3.1 符号和语义 192

8.3.2 一般测试模型 193

8.3.3 测试性扩充 195

8.4 类图 197

8.4.1 符号和语义 197

8.4.2 一般测试模型 199

8.5 顺序图 200

8.5.1 符号和语义 200

8.5.2 一般测试需求 201

8.5.3 可测试性能扩充 202

8.6 活动图 203

8.6.1 符号和语义 203

8.6.2 一般测试模型 204

8.7 状态图 206

8.8 协作图 206

8.8.1 符号和语义 206

8.8.2 一般测试模型 208

8.8.3 可测试性扩充 209

8.9 构件图 210

8.9.1 符号和语义 210

8.9.2 一般测试模型 211

8.10.1 符号和语义 212

8.10.2 一般测试模型 212

8.10 实施图 212

8.11 图、关系和测试 213

8.12 文献注释 217

第三部分 样式 221

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

9.1 面向结果的测试 221

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

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

9.1.3 面向对象开发的集成 226

9.1.4 利用责任和实现 227

9.2.1 什么是样式 228

9.2 测试设计样式 228

9.2.2 样式和测试 229

9.2.3 测试设计样式模板 229

9.2.4 本书中的测试样式 233

9.2.5 应用测试设计样式 233

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

9.3.1 IEEE829文件 234

9.3.2 可跟踪性 237

9.4 文献注释 238

10.1 类测试和集成 239

10.1.1 什么是类范围的测试 239

第10章 类 239

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

10.1.3 由谁和什么时候测试 242

10.1.4 实例分析：MPR Teltech 242

10.2 基础知识 243

10.2.1 类范围集成 243

10.2.2 基于实现的测试模型 244

10.2.3 路径敏感 273

10.2.4 域测试模型 275

10.3.1 功能内聚 283

10.3 方法范围测试设计样式 283

10.3.2 方法范围的集成 284

10.3.3 样式 284

10.4 类范围测试设计样式 299

10.4.1 类模态性 300

10.4.2 样式 301

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

10.5.1 超类的麻烦 334

10.5.2 展平类的测试策略 338

10.5.3 样式 343

10.6 文献注释 349

第11章 可复用构件 351

11.1 测试和复用 351

11.1.1 复用机制 351

11.1.2 测试在复用中的作用 353

11.1.3 复用测试包 355

11.2 测试设计样式 356

11.2.1 抽象类测试 356

11.2.2 类属类测试 358

11.2.3 新框架测试 366

11.2.4 流行框架测试 369

11.3 文献注释 372

第12章 子系统 375

12.1 子系统 375

12.1.1 什么是子系统 375

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

12.2 子系统测试设计样式 377

12.2.1 类关联测试 378

12.2.2 往返场景测试 385

12.2.3 受控异常测试 393

12.2.4 模式机测试 397

12.3 文献注释 414

第13章 集成 417

13.1 面向对象开发中的集成 417

13.1.1 定义 417

13.1.2 集成测试的必要性 418

13.1.3 相依性分析 421

13.1.4 集成故障 427

13.2 集成样式 427

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

13.2.2 大爆炸集成 431

13.2.3 自底向上集成 433

13.2.4 自顶向下集成 440

13.2.5 协作集成 445

13.2.6 基干集成 451

13.2.7 层次集成 456

13.2.8 客户/服务器集成 458

13.2.9 分布服务集成 463

13.2.10 离频集成 468

13.3 文献注释 473

14.1 应用系统测试 475

14.1.1 一个告诫人们的故事 475

第14章 应用系统 475

14.1.2 面向对象应用系统测试 476

14.1.3 应用系统测试策略 477

14.2 测试设计样式 478

14.2.1 扩充式用例测试 478

14.2.2 覆盖CRUD 484

14.2.3 按纲要分配测试 486

14.3 特定实现的能力 489

14.3.1 配置和兼容性 490

14.3.2 性能 490

14.3.3 完整性的容错性 491

14.3.4 人机交互 492

14.4 开发后测试 493

14.5 测试性能目标注解 494

14.5.1 批处理系统 494

14.5.2 交互式系统 495

14.5.3 实时系统 495

14.6 文献注释 496

第15章 回归测试 499

15.1 预备 499

15.1.1 什么和为什么 499

15.1.2 何时和如何 502

15.1.3 回归故障(Regression Fault) 503

15.1.4 测试自动化 504

15.1.5 测试包维护 506

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

15.2 测试样式 509

15.2.1 全部再测试 510

15.2.2 再测试风险用例 511

15.2.3 按纲要再测试 513

15.2.4 再测试修改的代码 515

15.2.5 防火墙内再测试 518

15.3 文献注释 522

第四部分 工具 527

第16章 测试自动机 527

16.1 为什么测试必须自动化 527

16.2 限制和告诫 528

第17章 断言 531

17.1 简介 531

17.1.1 什么是断言 532

17.1.2 为什么使用断言 533

17.1.3 谁使用断言 535

17.2.1 假设检查器 536

17.2 基于实现的断言 536

17.2.2 潜伏的故障和探测器 538

17.3 基于责任的断言 539

17.3.1 概述 539

17.3.2 责任、契约和子类型 539

17.3.3 方法范围 542

17.3.4 类范围 547

17.3.5 顺序约束 548

17.3.6 超类/子类范围 553

17.3.7 客户/服务器范围 554

17.4.1 程序设计人员的断言FAQ 556

17.4 实现 556

17.4.2 断言动作 559

17.4.3 不可执行的断言 560

17.4.4 Ada95 561

17.4.5 C++ 566

17.4.6 Eiffel 572

17.4.7 Java 574

17.4.8 Objective-C 578

17.4.9 Smalltalk 580

17.5.2 应用断言设计测试 594

17.5 实施 594

17.5.1 内嵌测试的验证 594

17.5.3 发行前的考虑 596

17.5.4 发行后的考虑 597

17.6 限制和告诫 599

17.7 一些断言工具 602

17.8 文献注释 603

第18章 预测 607

18.1 简介 607

18.2.1 简介 608

18.2 预测样式 608

18.2.2 评判 613

18.2.3 预说明预测 614

18.2.4 保值预测 616

18.2.5 有机预测 619

18.3 比较器 624

18.3.1 简介 624

18.3.2 确定对象相等 625

18.3.3 深相等和浅相等 627

18.3.4 抽象内容和具体内容 629

18.3.7 类型/子类型相等 630

18.3.6 汇集 630

18.3.5 别名 630

18.3.8 部分相等方法 632

18.4 文献注释 632

第19章 测试装置设计 633

19.1 如何开发测试装置 633

19.1.1 需求 634

19.1.2 体系结构 636

19.2 测试实例样式 637

19.2.1 考虑 637

19.3.1 考虑 647

19.3 测试控制样式 647

19.4 驱动器样式 652

19.4.1 考虑 652

19.4.2 驱动器设计样式 655

19.5 测试执行样式 684

19.6 测试实现语法 696

19.7 文献注释 699

附录 BigFoot s Tootsie：实例研究 701

术语汇编 707

参考文献 751