《计算机软件测试技术》求取 ⇩

第一章绪论1

1.1 软件危机和软件生存期1

1.2 软件测试的意义4

1.5 软件测试发展的历史回顾 16

1.3 什么是软件测试8

1.4 应该怎样认识软件测试10

参考文献21

第二章软件错误与软件质量保证25

2.1 软件错误类型分析25

2.2 程序中隐藏错误数量估计29

2.3 软件质量因素和质量特性31

2.4 软件质量保证的任务35

2.5 程序排错38

参考文献42

第三章软件测试策略43

3.1 静态方法与动态方法43

3.2 黑盒测试与白盒测试44

3.3 测试步骤48

3.4 人工测试56

参考文献62

第四章黑盒测试63

4.1 等价类划分63

4.2 因果图68

4.3 正交实验设计法71

4.4 边值分析78

4.5 判定表驱动测试81

4.6 功能测试85

参考文献92

5.1 程序结构分析93

第五章白盒测试93

5.2 逻辑覆盖101

5.3 域测试110

5.4 符号测试115

5.5 路径分析118

5.6 程序插装129

5.7 程序变异134

参考文献139

第六章验收测试与测试文档141

6.1 验收测试141

6.2 软件测试文件145

参考文献155

第七章测试工具与测试环境156

7.1 测试工具综述156

7.2 COBOL软件测试环境COSTE系统简介173

7.3 FORTRAN程序动态测试工具DTFG系统简介181

7.4 测试工具支持下的测试实施184

参考文献202

第八章程序正确性证明207

8.1 程序正确性证明概述207

8.2 以公理语义学为基础的正确性证明技术209

8.3 程序综合225

参考文献228

第九章测试可靠性与软件可靠性230

9.1 测试可靠性理论230

9.2 软件可靠性概念237

9.3 软件可靠性模型243

9.4 软件可靠性在软件测试中的应用250

参考文献257

附录1 软件审查用表258

附录2 有关软件测试的术语261