第Ⅰ部分　软件测试介绍

　第1章　软件工程：一种与众不同的原则

　　1.1　年轻而动荡的原则

　　1.2　压力下的行业

　　1.3　规模庞大的复杂产品

　　1.4　昂贵的产品

　　1.5　缺乏重用实践

　　1.6　容易出错的设计

　　1.7　矛盾的经济学

　　　1.7.1　劳动力密集的产业

　　　1.7.2　缺少自动化

　　　1.7.3　质量控制手段有限

　　　1.7.4　不平衡的生命周期成本

　　　1.7.5　不平衡的维护成本

　　1.8　本章小结

　　1.9　参考书目注释

　第2章　软件质量属性

　　2.1　功能属性

　　　2.1.1　布尔属性

　　　2.1.2　统计属性

　　2.2　操作属性

　　2.3　可用性属性

　　2.4　业务属性

　　2.5　结构属性

　　2.6　本章小结

　　2.7　练习

　　2.8　参考书目注释

　第3章　软件测试生命周期

　　3.1　软件工程生命周期

　　3.2　软件测试生命周期

　　3.3　软件测试的V模型

　　3.4　本章小结

　　3.5　参考书目注释

第Ⅱ部分　软件测试基础

　第4章　软件规约

　　4.1　坚实可靠规约的原则

　　4.2　关系数学

　　　4.2.1　集合与关系

　　　4.2.2　关系操作

　　　4.2.3　关系的属性

　　4.3　简单的输入输出程序

　　　4.3.1　表达规约

　　　4.3.2　对规约排序

　　　4.3.3　规约生成

　　　4.3.4　规约确认

　　4.4　可靠性和安全性

　　4.5　基于状态的系统

　　　4.5.1　关系模型

　　　4.5.2　公理表达

　　　4.5.3　规约确认

　　4.6　本章小结

　　4.7　练习

　　4.8　问题

　　4.9　参考书目注释

　第5章　程序正确性和验证

　　5.1　正确性的定义

　　5.2　正确性：命题

　　　5.2.1　正确性和精化

　　　5.2.2　集合论的特征

　　　5.2.3　解释

　　5.3　验证

　　　5.3.1　公式样例

　　　5.3.2　推理系统

　　　5.3.3　用于解释的示例

　　5.4　本章小结

　　5.5　练习

　　5.6　问题

　　5.7　参考书目注释

　第6章　失效、错误和缺陷

　　6.1　失效、错误和缺陷

　　6.2　缺陷和相对正确性

　　　6.2.1　缺陷，一个含糊的概念

　　　6.2.2　相对正确性

　　6.3　视情况而定的缺陷和确定性缺陷

　　　6.3.1　视情况而定的缺陷

　　　6.3.2　单调的缺陷去除

　　　6.3.3　一个单调缺陷去除的框架

　　　6.3.4　确定性缺陷

　　6.4　缺陷管理

　　　6.4.1　多道防线

　　　6.4.2　混合确认

　　6.5　本章小结

　　6.6　练习

　　6.7　问题

　　6.8　参考书目注释

　第7章　软件测试分类

　　7.1　联合测试存在的问题

　　7.2　分类方案

　　　7.2.1　主要属性

　　　7.2.2　次要属性

　　7.3　测试分类

　　　7.3.1　单元级测试

　　　7.3.2　系统级测试

　　7.4　练习

　　7.5　参考书目注释

第Ⅲ部分　测试数据生成

　第8章　测试生成概念

　　8.1　测试生成和目标属性

　　8.2　测试输出

　　8.3　测试生成需求

　　8.4　测试生成准则

　　8.5　基于经验的充分性评价

　　8.6　本章小结

　　8.7　练习

　　8.8　参考书目注释

　　8.9　附录：变异程序

　第9章　功能准则

　　9.1　域划分

　　9.2　使用表格表达式生成测试数据

　　9.3　基于状态的系统的测试生成

　　9.4　随机测试数据生成

　　9.5　将测试数据选择比喻为一次旅行

　　9.6　本章小结

　　9.7　练习

　　9.8　参考书目注释

　第10章　结构化准则

　　10.1　路径和路径条件

　　　10.1.1　执行路径

　　　10.1.2　路径函数

　　　10.1.3　路径条件

　　10.2　控制流覆盖

　　　10.2.1　语句覆盖

　　　10.2.2　分支覆盖

　　　10.2.3　条件覆盖

　　　10.2.4　路径覆盖

　　10.3　数据流覆盖

　　　10.3.1　定义和使用

　　　10.3.2　测试生成准则

　　　10.3.3　测试准则的层次结构

　　10.4　基于缺陷的测试生成

　　　10.4.1　感知缺陷

　　　10.4.2　为感知缺陷选择输入数据

　　　10.4.3　针对错误传播选择输入数据

　　10.5　本章小结

　　10.6　练习

　　10.7　参考书目注释

第Ⅳ部分　测试部署与分析

　第11章　测试预言设计

　　11.1　测试预言设计的困境

　　11.2　从规约到预言

　　11.3　基于状态的软件产品的测试预言

　　　11.3.1　从公理到测试预言

　　　11.3.2　从规则到预言

　　11.4　本章小结

　　11.5　练习

　第12章　测试驱动设计

　　12.1　选择一种规约

　　12.2　选择一种过程

　　12.3　选择一种规约模型

　　　12.3.1　随机测试生成

　　　12.3.2　预先生成的测试数据

　　　12.3.3　缺陷和缺陷检测

　　12.4　使用符号执行进行测试

　　12.5　本章小结

　　12.6　练习

　　12.7　参考书目注释

　第13章　分析测试输出

　　13.1　逻辑解释

　　　13.1.1　具体测试

　　　13.1.2　符号测试

　　　13.1.3　具体-符号测试

　　13.2　随机解释：缺陷密度

　　13.3　随机解释：失效概率

　　　13.3.1　缺陷与缺陷并不相同

　　　13.3.2　定义/量化可靠性

　　　13.3.3　软件可靠性建模

　　　13.3.4　认证测试

　　　13.3.5　可靠性估计和可靠性增长

　　　13.3.6　可靠性标准

　　　13.3.7　作为经济函数的可靠性

　　13.4　本章小结

　　13.5　练习

　　13.6　问题

　　13.7　参考书目注释

第Ⅴ部分　软件测试管理

　第14章　软件测试的度量

　　14.1　缺陷倾向性

　　　14.1.1　圈复杂度

　　　14.1.2　规模

　　14.2　缺陷可检测性

　　14.3　错误可检测性

　　14.4　错误可掩盖性

　　14.5　避免失效

　　14.6　容错

　　14.7　解释示例

　　　14.7.1　圈复杂度

　　　14.7.2　规模

　　　14.7.3　状态冗余

　　　14.7.4　函数冗余

　　　14.7.5　非内射性

　　　14.7.6　不确定性

　　　14.7.7　小结

　　14.8　本章小结

　　14.9　练习

　　14.10　参考书目注释

　第15章　软件测试工具

　　15.1　分类方案

　　15.2　脚本工具

　　　15.2.1　CppTest

　　　15.2.2　SilkTest

　　15.3　录制-回放工具

　　　15.3.1　TestComplete

　　　15.3.2　Selenium IDE

　　15.4　性能测试工具

　　　15.4.1　LoadRunner

　　　15.4.2　Grinder

　　　15.4.3　QF-Test

　　　15.4.4　Appvance PerformanceCloud

　　　15.4.5　JMeter

　　15.5　预言设计工具

　　　15.5.1　JUnit

　　　15.5.2　TestNG

　　15.6　异常检测

　　　15.6.1　Rational Purify

　　　15.6.2　Astree

　　15.7　协同工具

　　15.8　本章小结

　第16章　测试产品线

　　16.1　PLE：流水线重用模型

　　16.2　测试问题

　　16.3　测试方法

　　16.4　解释

　　　16.4.1　领域分析

　　　16.4.2　领域建模

　　　16.4.3　参考架构

　　　16.4.4　领域实现

　　　16.4.5　在领域工程阶段进行测试

　　　16.4.6　在应用程序工程阶段进行测试

　　16.5　本章小结

　　16.6　练习

　　16.7　问题

　　16.8　引用的参考书目

参考文献