面向对象系统的测试2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

面向对象系统的测试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 用于面向对象测试的FAQ16

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 Java67

4.3.3 Smalltalk67

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 作为测试模型的UML187

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 Teltech242

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 覆盖CRUD484

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 程序设计人员的断言FAQ556

17.4 实现556

17.4.2 断言动作559

17.4.3 不可执行的断言560

17.4.4 Ada95561

17.4.5 C++566

17.4.6 Eiffel572

17.4.7 Java574

17.4.8 Objective-C578

17.4.9 Smalltalk580

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