软件子系统测试PDF|Epub|txt|kindle电子书版本网盘下载

软件子系统测试PDF格式电子书版下载

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

子系统测试概述1

第一部分 基本手段16

第1章 规格说明16

1.1 规格说明的要素16

1.1.1 前提16

1.1.2 后果17

1.1.3 定义18

1.2 检查规格说明19

1.2.1 不完备19

1.2.2 模糊19

第2章 SREADHEX例子介绍20

2.1 引入20

2.2 规格说明21

2.3 代码23

第3章 构建测试需求检查单26

3.1.1 前提与后果27

3.1 查找规格说明中的线索27

3.1.2 变量28

3.1.3 操作28

3.1.4 定义28

3.2 查找代码中的线索29

3.2.1 变量29

3.2.2 模式操作30

3.2.3 函数调用31

3.3 找出SREADHEX的线索32

3.3.1 代码34

3.3.2 我们现在所处的位置36

3.4 通过前提、后果和定义获取测试需求36

3.4.1 简单验证前提36

3.4.2 使用OR的验证前提37

3.4.3 使用AND的验证前提40

3.4.4 AND和OR组合验证前提41

3.4.5 假设前提42

3.4.6 后果43

3.4.7 定义45

3.5 找出SREADHEX的测试需求46

3.6 通过大纲确定测试需求51

3.7 通过SREADHEX说明大纲的使用52

3.8 我们现在所处的位置77

3.9 使用测试需求大纲规则小结78

3.10 集成测试需求79

3.10.1 集成测试需求的一个例子81

3.10.2 另一个例子81

3.10.3 最后一个例子83

3.11 SREADHEX的集成测试需求83

3.12 错误猜测83

3.13 根据规格说明扫描代码84

第4章 测试规格说明85

4.1 标记将要使用的规格说明86

4.2 一般测试规格说明86

4.3 错误测试规格说明93

4.4 构建测试规格说明要注意的问题94

4.5 有关测试形式的规则95

4.6 有关测试内容的规则96

4.7 分别测试规格说明和代码99

4.7.1 通过规格说明处理需求99

4.7.2 根据代码进行需求的while处理100

4.8 SREADHEX测试规格说明100

4.8.1 设计注释102

4.8.2 测试1103

4.8.3 测试2104

4.8.4 测试3109

4.8.5 测试3(续)111

4.8.6 测试4114

4.8.7 测试5、6和7118

4.8.8 测试8119

4.9 我们现在所处的位置122

5.1.2 比较实际结果和预期结果123

5.1.1 向子系统提供输入123

5.1 测试驱动器123

第5章 测试驱动器与套件驱动器123

5.2 套件驱动器125

5.3 测试自己的驱动器126

5.4 SREADHEX驱动器126

5.4.1 大纲与文件结构126

5.4.2 驱动器与桩127

5.4.3 运行测试128

5.5 我们现在所处的位置129

第6章 采用问题大纲审查代码130

6.1 责任131

6.2 审查SREADHEX132

第7章 利用覆盖率检验测试套件134

7.1 覆盖率的类型134

7.2 不可行的覆盖率136

7.3 运用覆盖率信息137

7.3.2 需要小心运用覆盖率的一个例子139

7.3.1 覆盖率成本的一个例子139

7.4 一个较大例子140

7.4.1 程序140

7.4.2 使用通用覆盖率工具(GCT)141

7.4.3 覆盖率142

7.4.4 新测试145

7.5 SREADHEX的覆盖率145

7.6 我们现在所处的位置149

第8章 清理150

第9章 其他提示151

9.1 使用优先级较低的需求151

9.2 不确定的限制151

第二部分 实施子系统测试154

第10章 实施154

10.1 运用覆盖率154

10.2 改进测试规格说明154

10.3 改进测试需求155

10.4 并行改进规格说明分析156

第11章 完善157

第三部分 实践中的子系统测试162

第12章 使用更典型的规格说明162

12.1 例子：GREPORT163

12.2 过程165

12.3 练习172

12.4 通过代码导出规格说明175

13.1.1 制订测试进度表180

13.1 复杂性的应对方案180

第13章 处理大型子系统180

13.1.2 例程需求181

13.1.3 较大子系统中的ERROR需求183

13.2 大型子系统的危险185

13.2.1 内部测试驱动器186

13.2.2 外部调试器189

13.2.3 没有调试器时的方法189

13.3 选择子系统189

第14章 测试错误修改与其他维护变更191

14.1 一个例子193

14.2 测试变更的基本过程193

14.3 传播缺陷197

14.4 相似性缺陷200

14.5 测试较大变更201

14.6 测试套件退化202

第15章 时间进度压力下的测试203

15.1 没有足够时间的测试203

15.2 几乎没有足够时间的测试204

第四部分 举例与扩展206

第16章 句法测试206

16.1 符号206

16.2 测试需求208

16.2.1 邻近项209

16.2.2 序列209

16.2.3 替换项209

16.2.4 简单重复210

16.2.5 重复与替换项211

16.3 交互213

第17章 第二个完整例子：MAX215

17.1 规格说明215

17.2 通过规格说明导出测试216

17.2.1 线索216

17.2.2 来自前提和后果的需求217

17.2.3 扫描大纲218

17.2.4 测试设计227

17.3 通过代码导出测试231

17.4 使用问题大纲236

17.5 测试驱动器与测试运行238

17.6 使用覆盖率241

第18章 测试一致性关系243

18.1 构建测试需求检查单250

18.1.1 基本检查单250

18.1.2 增加缺陷可视性的注释253

18.1.3 测试这个例子259

18.2.1 多于两个变量261

18.2 多样性问题261

18.2.2 检验子系统的其他部分263

18.2.3 如果检查由库例程完成266

18.2.4 未检查或不可能的ERROR需求267

18.2.5 如果多个变量可以同时变更267

第19章 状态机与状态图271

19.1 状态机271

19.1.1 实现272

19.1.2 稀疏状态机275

19.1.3 冗余迁移275

19.2 状态图276

19.2.1 状态行动276

19.2.2 条件状态迁移278

19.2.3 嵌套状态279

19.2.4 历史信息282

19.2.5 状态图实现框架283

19.3.1 模型什么时候有用285

19.3 什么时候和怎样构建模型285

19.3.2 构建模型286

19.4 审查状态机和状态图288

19.4.1 检查模型288

19.4.2 审查行动291

19.4.3 检查实现映射291

19.5 测试状态机和状态图291

19.5.1 测试需求292

19.5.2 来自状态图的需求294

19.5.3 测试规格说明296

19.5.4 测试实现298

19.5.5 覆盖率299

19.6 多个状态机299

19.6.1 独立状态机299

19.6.2 通信状态机302

第20章 测试使用可重用软件的子系统305

20.1 测试需求305

20.2 覆盖率307

第21章 测试基于对象的软件308

21.1 背景308

21.1.1 术语309

21.1.2 其他方法310

21.2 子系统规模与测试实现310

21.2.1 两种特例312

21.2.2 另一种方法312

21.3 类测试需求大纲313

21.3.1 组织313

21.3.2 第一步：对象使用需求314

21.3.3 第二步：状态机需求315

21.3.4 第三步：成员函数集成需求315

21.3.5 第四步：对象的聚合316

21.4 使用类需求大纲316

21.5 时间进度压力316

第22章 面向对象的软件1:继承318

22.1 测试规格说明与实现320

22.2 导出类的类型322

22.3 导出类需求大纲325

22.3.1 复制基类需求大纲325

22.3.2 处理新成员327

22.3.3 处理顶替成员函数327

22.3.4 处理继承成员函数329

22.3.5 更新剩余的对象使用需求330

22.3.6 更新状态机需求330

22.3.7 多继承331

22.4 成员函数的测试需求检查单331

22.4.1 新的成员函数331

22.4.2 顶替成员函数331

22.4.3 继承成员函数332

22.5 针对已变更外部例程的测试需求检查单332

22.6 通用性(模板)333

23.1 abstract_hash_table:一个抽象类338

第23章 测试导出类的一个例子338

23.2 hash_table:一个导出类345

23.2.1 hash_table大纲346

23.2.2 hash_table成员函数的测试需求检查单347

23.2.3 hash_table测试规格说明与实现349

23.3 checking_hash_table:另一个导出类349

23.3.1 checking_hash_table大纲350

23.3.2 checking_hash_table成员函数的测试需求检查单352

23.3.3 实现checking_hash_table测试353

23.4 abstract_hash_table＜Item，sz＞：模板类353

第24章 面向对象的软件2:动态捆绑357

24.1 虚拟调用需求大纲357

24.1.1 捆绑虚拟调用大纲358

24.1.2 怎样处理数据成员？363

24.1.3 在变更中构建虚拟调用大纲364

24.2.2 增加了导出类365

24.2.3 维护365

24.2 使用虚拟调用需求大纲365

24.2.1 编写了新的外部代码365

第五部分 测试需求的乘积369

第25章 简单测试需求乘积369

25.1 变量需求可达性369

25.1.1 过程——通过规格说明和代码来处理374

25.1.3 测试大型子系统的含意376

25.1.4 举例：一致性检查376

25.1.2 过程——只通过规格说明来处理376

25.1.5 举例：根据sreadhex规格说明来处理377

25.1.6 举例：构建sreadhex规格说明378

25.2 复杂布尔表达式379

25.2.1 导出需求的大纲380

25.2.2 举例382

25.3 创建布尔便利定义382

25.3.1 过程384

25.3.2 greport例子386

25.3.3 greport的其他问题387

25.4 数据流测试389

25.5 一些理论392

第26章 操作测试需求的乘积394

26.1 过程396

26.1.1 找出交互线索396

26.1.2 乘积398

26.1.3 覆盖率399

26.1.4 举例400

26.2 发散操作401

第六部分 附录404

附录A 测试需求大纲(学生版)404

附录B 测试需求大纲(标准版)414

附录C 与POSIX有关的测试需求大纲(部分样本)432

附录D 代码审查问题大纲435

附录E 复杂布尔表达式需求大纲440

附录F 用于测试编写内容的检查单447

参考文献460

术语表466