信阅平台

编辑推荐

《软件测试基础》采用创新方法来讲述软件测试，定义测试为将几个通用的测试准则应用于软件结构或软件模型的过程。书中融入了新的测试技术，包括现代软件方法（如面向对象）、Web应用程序和嵌入式软件。另外，《软件测试基础》包含了大量的实例。

展开

作者简介

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

展开

内容介绍

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

展开

精彩书评

“关于测试的书很多，但是大部分书涉及的主题范围都很窄并且讲述不详细。而Ammann和Offutt的这本书中所展示的概念和技术广泛地覆盖了业界和学术界使用的各种语言及平台，是一本全面、实用的测试书。” ——RogerAlexander，华盛顿州立大学

展开

精彩书摘

本书的作者给软件工程和计算机科学专业的学生讲授软件测试已经超过15年r。征此别间，我们得出了一个很不期望看到的结论：没有人写出一本我们想要的书。所以，如果我们想要，就必须自己写。 以前的测试类书籍把软件测试当作一个相对简单的学科，认为这个学科依赖于过程，而不是从技术的角度去理解软件是如何构成的；有的书把测试作为一个需要详细理解大量软件开发技术的复杂的、割裂的学科；还有的书把测试当作一个只有数学家和计算机理论科学家才能掌握的纯理论学科。大多数关于测试的书籍围绕着一个典型的软件开发周期的各个阶段展开，这种方法会使原本普通的测试主题变得难懂。最后，大多数测试类书籍是作为参考书而写的，而不是教科书。所以，只有先前有过专门软件测试知识的教师才能轻松使用。而本书对于那些不是测试专家的教师也是易于使用的。 本书在许多重要方面不同于其他的软件测试类书籍。许多书讲解如何管理测试过程，当然这很重要，但告诉测试者基于基础理论的具体测试技术同样重要。本书在理论和实践应用之间保持了很好的平衡。这是软件公司必须有的重要信息，但是本书特别注重设计和创建测试用例的基本技术问题。目前市面上其他的测试类书籍主要关注技术或活动，比如系统测试或单元测试，而本书旨在综合软件开发的整个过程，涵盖尽可能多的技术。 如前所述，本书的目的是支持多种软件测试课程。我们在乔治·梅森大学软件工程硕士研究生的软件测试课上做了第一个尝试，每学期有30多个计算机科学和软件工程专业的学生选修这门课程。我们还组织了软件测试的博士研讨会，举办了特定方向的短期企业培训，还为许多本科课程进行了讲座。虽然有关软件测试的本科课程不多，但我们相信不久的将来会有很多。许多关于测试的书并不是用在课堂上的，我们特地写了这本书来支持课堂教学，因此征本书网站上本书目录的后面看到我们的测试课程的提纲就不足为奇了。 本书采用了许多精心打造的实例来帮助学生和老师学习略显复杂的概念。教辅资源包括高质量的PPT、演讲提示、习题解答和相关软件。我们的思想是：我们不仅仅是在写一本书，同时也在为社区提供课程。我们的目标之一是，所写的内容作为研究文献有学术性，对于非研究人员也是易于使用的。虽然本书的论述与出自研究论文的资料有些不同，但其本质思想是忠实于文献的。为了使文章更为通顺，我们删除了论述中的引用。对于那些喜欢追根溯源的研究者，每章最后都有一个参考文献注释，它对概念的来源进行了总结。

展开

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

展开