软件测试基础 pdf epub mobi txt 电子书 下载 2025

出版者的话 译者序 前言 第一部分 概 览 第1章 概述 1 1.1 测试工程师的工作 2 1.1.1 基于软件活动的测试级别 3 1.1.2 基于测试过程成熟度的Beizer的 测试级别 5 1.1.3 测试活动的自动化 6 1.2 软件测试的局限性和术语 7 1.3 测试覆盖标准 12 1.3.1 不可行性与包含 14 1.3.2 好的覆盖标准的特征 15 1.4 以往的软件测试术语 16 1.5 参考文献注释 17 第二部分 覆 盖 标 准 第2章 图覆盖 19 2.1 概述 19 2.2 图覆盖标准 23 2.2.1 结构化覆盖标准 24 2.2.2 数据流标准 33 2.2.3 图覆盖标准中的包含关系 38 2.3 源代码的图覆盖 40 2.3.1 源代码的结构化图覆盖 40 2.3.2 源代码的数据流图覆盖 41 2.4 设计元素的图覆盖 50 2.4.1 设计元素的结构化图覆盖 50 2.4.2 设计元素的数据流覆盖 51 2.5 规格说明的图覆盖 57 2.5.1 顺序约束测试 57 2.5.2 软件状态行为测试 60 2.6 用例的图覆盖 68 2.7 用代数方法表示图 71 2.7.1 把图简化成路径表达式 73 2.7.2 路径表达式的应用 75 2.7.3 得到测试输入 75 2.7.4 在流图中计算路径数并确定最大 路径长度 76 2.7.5 到达所有边的路径的最小值 77 2.7.6 互补运算分析 77 2.8 参考文献注释 79 第3章 逻辑覆盖 82 3.1 概览：逻辑谓词和子句 82 3.2 逻辑表达式覆盖标准 83 3.2.1 有效的子句覆盖 84 3.2.2 无效子句覆盖 87 3.2.3 不可行性和包含 88 3.2.4 使子句决定谓词 89 3.2.5 寻找满足的取值 91 3.3 程序的结构化逻辑覆盖 94 3.4 基于规约的逻辑覆盖 104 3.5 有限状态机的逻辑覆盖 106 3.6 析取范式标准 109 3.7 参考文献注释 116 第4章 输入空间划分 119 4.1 输入域建模 120 4.1.1 基于接口的输入域建模 121 4.1.2 基于功能的输入域建模 122 4.1.3 识别特性 122 4.1.4 选择块和值 123 4.1.5 使用一种以上的输入域模型 125 4.1.6 检查输入域模型 125 4.2 组合策略标准 126 4.3 划分中的约束 130 4.4 参考文献注释 131 第5章 基于句法的测试 134 5.1 基于句法的覆盖标准 134 5.1.1 BNF覆盖标准 134 5.1.2 变异测试 136 5.2 基于程序的语法 139 5.2.1 编程语言的BNF语法 139 5.2.2 基于程序的变异 139 5.3 集成与面向对象测试 151 5.3.1 BNF集成测试 151 5.3.2 集成变异 151 5.4 基于规范的语法 155 5.4.1 BNF语法 156 5.4.2 基于规范的变异 156 5.5 输入空间语法 158 5.5.1 BNF语法 158 5.5.2 输入语法的变异 161 5.6 参考文献注释 166 第三部分 在实践中运用的标准 第6章 实际的考虑 169 6.1 回归测试 169 6.2 集成和测试 170 6.2.1 桩和驱动程序 171 6.2.2 类的集成测试顺序 171 6.3 测试过程 172 6.3.1 需求分析和规格说明书 173 6.3.2 系统和软件设计 174 6.3.3 中级设计 174 6.3.4 详细设计 175 6.3.5 实现 175 6.3.6 集成 175 6.3.7 系统部署 176 6.3.8 操作和维护 176 6.3.9 总结 176 6.4 测试计划 177 6.5 识别正确的输出 181 6.5.1 输出的直接验证 181 6.5.2 冗余计算 182 6.5.3 一致性检查 182 6.5.4 数据冗余 183 6.6 参考文献注释 184 第7章 技术的工程标准 185 7.1 测试面向对象软件 185 7.1.1 面向对象软件测试特有的问题 186 7.1.2 面向对象的错误类型 186 7.2 测试Web应用和Web服务 201 7.2.1 测试静态超文本Web站点 202 7.2.2 测试动态Web应用 202 7.2.3 测试Web 服务 204 7.3 测试图形用户界面 205 7.4 实时软件和嵌入式软件 206 7.5 参考文献注释 209 第8章 创建测试工具 211 8.1 图和逻辑表达式标准的插桩 211 8.1.1 节点覆盖和边覆盖 211 8.1.2 数据流覆盖 213 8.1.3 逻辑覆盖 213 8.2 构造变异测试工具 215 8.2.1 解释方法 215 8.2.2 分离编译的方法 216 8.2.3 基于模式的方法 216 8.2.4 使用Java反射机制 217 8.2.5 实现一个现代的变异系统 217 8.3 参考文献注释 217 第9章 软件测试中的挑战 220 9.1 测试紧急性属性：安全性和保密性 220 9.2 软件的可测试性 222 9.3 测试标准和软件测试的未来 225 9.4 参考文献注释 227 参考文献 229
· · · · · · (收起)