导语

  

内容提要

  

    保罗·阿曼、杰夫·奥法特著的《软件测试基础(原书第2版)/计算机科学丛书》采用了一种创新性的方法来解释软件测试：软件测试被定义为一个将具有通用目的且精确的准则应用于软件结构或模型的过程。本书覆盖了软件测试的新发展，包括测试现代软件类型(比如面向对象、网络应用程序和嵌入式软件)的技术。第2版极大地扩展了基础知识，详尽地讨论了测试自动化框架，还增加了新的例子以及大量的练习。

出版者的话
译者序
前言
第一部分  软件测试基础
  第1章  为什么测试软件
    1.1  软件何时会出现问题
    1.2  软件测试的目的
    1.3  参考文献注解
  第2章  模型驱动测试设计
    2.1  软件测试基础
    2.2  软件测试活动
    2.3  基于软件活动的测试级别
    2.4  覆盖准则
    2.5  模型驱动测试设计
    2.5.1  测试设计
    2.5.2  测试自动化
    2.5.3  测试执行
    2.5.4  测试评估
    2.5.5  测试者和抽象
    2.6  MDTD为什么重要
    2.7  参考文献注解
  第3章  测试自动化
    3.1  软件可测性
    3.2  测试用例的构成
    3.3  测试自动化框架
    3.3.1  JUnit测试框架
    3.3.2  数据驱动测试
    3.3.3  在单元测试中添加参数
    3.3.4  从命令行运行JUnit
    3.4  超越自动化
    3.5  参考文献注解
  第4章  测试优先
    4.1  驯服改动成本曲线
    4.1.1  改动成本曲线真的被驯服了吗
    4.2  测试装具——守护者
    4.2.1  持续集成
    4.2.2  敏捷方法中的系统测试
    4.2.3  将测试加入遗留系统
    4.2.4  敏捷方法中测试的弱点
    4.3  参考文献注解
  第5章  基于准则的测试设计
    5.1  定义覆盖准则
    5.2  不可行性和包含
    5.3  使用覆盖准则的好处
    5.4  下一个部分
    5.5  参考文献注解
第二部分  覆盖准则
  第6章  输入空间划分
    6.1  输入域建模
    6.1.1  基于接口的输入域建模
    6.1.2  基于功能的输入域建模
    6.1.3  设计特征
    6.1.4  选择区块和测试值
    6.1.5  检查输入域模型
    6.2  组合策略准则
    6.3  检查特征之间的约束
    6.4  扩展实例：从JavaDoc中推导IDM
    6.4.1  设计基于IDM的测试用例中的任务
    6.4.2  为迭代器设计基于IDM的测试用例
    6.5  参考文献注解
  第7章  图覆盖
    7.1  概述
    7.2  图覆盖准则
    7.2.1  结构化的覆盖准则
    7.2.2  游历、顺路和绕路
    7.2.3  数据流准则
    7.2.4  图覆盖准则间的包含关系
    7.3  基于源代码的图覆盖
    7.3.1  基于源代码的结构化图覆盖
    7.3.2  基于源代码的数据流图覆盖
    7.4  设计元素的图覆盖
    7.4.1  设计元素的结构化图覆盖
    7.4.2  设计元素的数据流图覆盖
    7.5  设计规范的图覆盖
    7.5.1  测试顺序约束
    7.5.2  测试软件的行为状态
    7.6  用例的图覆盖
    7.6.1  用例场景
    7.7  参考文献注解
  第8章  逻辑覆盖
    8.1  有效的语义逻辑覆盖准则
    8.1.1  简单的逻辑覆盖准则
    8.1.2  有效子句覆盖
    8.1.3  无效子句覆盖
    8.1.4  不可行性和包含
    8.1.5  让子句决定谓词
    8.1.6  找到满足准则的取值
    8.2  语法逻辑覆盖准则
    8.2.1  蕴涵项覆盖
    8.2.2  极小DNF
    8.2.3  MUMCUT覆盖准则
    8.2.4  卡诺图
    8.3  程序的结构化逻辑覆盖
    8.3.1  满足谓词覆盖
    8.3.2  满足子句覆盖
    8.3.3  满足有效子句覆盖
    8.3.4  谓词转换问题
    8.3.5  谓词中的副作用
    8.4  基于规范的逻辑覆盖
    8.5  有限状态机的逻辑覆盖
    8.6  参考文献注解
  第9章  基于语法的测试
    9.1  基于语法的覆盖准则
    9.1.1  基于通用语法的覆盖准则
    9.1.2  变异测试
    9.2  基于程序的语法
    9.2.1  编译器的BNF语法
    9.2.2  基于程序的变异
    9.3  集成测试和面向对象测试
    9.3.1  BNF集成测试
    9.3.2  集成变异
    9.4  基于规约的语法
    9.4.1  BNF语法
    9.4.2  基于规约的变异
    9.5  输入空间的语法
    9.5.1  BNF语法
    9.5.2  变异输入语法
    9.6  参考文献注解
第三部分  实践中的测试
  第10章  管理测试过程
    10.1  概述
    10.2  需求分析和规约
    10.3  系统和软件设计
    10.4  中间设计
    10.5  详细设计
    10.6  实现
    10.7  集成
    10.8  系统部署
    10.9  运行和维护
    10.10  实现测试过程
    10.11  参考文献注解
  第11章  编写测试计划
    11.1  分层测试计划模板
    11.2  参考文献注解
  第12章  测试实现
    12.1  集成顺序
    12.2  测试替身
    12.2.1  桩和模拟：测试替身的变种
    12.2.2  使用测试替身来代替组件
    12.3  参考文献注解
  第13章  软件演化中的回归测试
    13.1  参考文献注解
  第14章  编写有效的测试预言
    14.1  应该检查的内容
    14.2  决定正确的测试值
    14.2.1  对输出进行基于规约的直接验证
    14.2.2  冗余计算
    14.2.3  一致性检查
    14.2.4  蜕变测试
    14.3  参考文献注解
测试准则表
参考文献
索引