软件测试基础

　　译者序 
　　前言 
　　第一部分 概 览 
　　第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

　　    Paul Ammann 在美国维吉尼亚大学获得计算机科学博士学位，现为乔治·梅森大学软件工程副教授。他于2007年获得Volgenau信息技术与工程学院的杰出教学奖。
　　    Jeff Offutt在乔治亚理工学院获得计算机博士学位，现为乔治·梅森大学软件工程教授。他是《Journal of Software Testing，Verification and Reliability》的主编，是IEEE软件测试、验证和确认国际会议指导委员会主席，还是许多期刊的编委。他于2003年获得乔治·梅森大学Volgenau信息技术与工程学院的优秀教师奖。

　　    《软件测试基础》经过了大量的课堂检验，是深受学生和行业专业人员欢迎的软件工程指南。《软件测试基础》所展示的软件测试程概念和技术广泛地覆盖了各种语言及其平台。与其他软件工程书籍相比，《软件测试基础》内容更加全面，并具有很大的实践价值。
　　    《软件测试基础》适合作为国内高等院校计算机及相关专业本科生的软件工程课程教材，也可供软件工程领域的技术人员参考。