测试设计思想

9.4 本章小结

9.3 稳定性

9.2.4 可测性度量

9.2.3 面向能观性的测试充分准则

9.2.2 路径敏化法

9.2.1 能控性与能观性

9.2 可测性

9.1.4 符号随机测试

9.1.3 测试用例自适应排序

9.1.2 自适应测试中的反馈控制

9.1.1 反馈控制基础

9.1 自适应测试

第9章 控制

本章参考文献

8.7 本章小结

8.6.2 测试准绳中的假设

8.6.1 测试充分准则中的假设

8.6 测试设计中的假设

8.5 基于缺陷的测试

8.4.2 等价性反例

8.4.1 标准形式

8.4 等价性证明

8.3.3 基于蜕变关系的正确性归纳推理

8.3.2 基于模型的正确性归纳推理

8.3.1 归纳推理基础

8.3 归纳

8.2.2 正确性演绎推理

8.2.1 演绎推理基础

8.2 演绎

8.1.2 正确性度量

8.1.1 正确性的概念

8.1 被测对象的正确性

第8章 推理

本章参考文献

7.8 本章小结

7.7.2 测试结论的模糊性

7.7.1 模糊数学基础

7.7 模糊冗余信息

7.6.4 互相制约的关系

7.6.3 测试准绳与测试充分准则

7.6.2 测试准绳的相对强度

7.6.1 测试准绳的有效性和完整性

7.6 测试准绳的一般性讨论

7.5.2 产品演化过程中的差分测试

7.5.1 冗余实现

7.5 差分测试

7.4.4 缺陷检出能力

7.4.3 在线蜕变测试

7.4.2 测试集的测试准绳

7.4.1 蜕变关系

7.4 蜕变测试

7.3 基于属性的测试

7.2.3 钝化

7.2.2 冗余分解

7.2.1 用关系来描述期望

7.2 被测对象期望的冗余分解

7.1.3 卷积码

7.1.2 分组码

7.1.1 基本原理

7.1 差错控制编码

第7章 冗余

本章参考文献

6.7 本章小结

6.6 统计结构测试

6.5.2 面向随机性失效的测试

6.5.1 随机性失效的常见诱因

6.5 软件随机性失效

6.4.2 基于马尔可夫链的测试设计

6.4.1 马尔可夫链

6.4 基于统计模型的测试

6.3.2 基于事件分布列的随机测试

6.3.1 事件分布列的建立过程

6.3 事件分布列

6.2.4 软件功能测试中的假设检验

6.2.3 批不合格品率的假设检验

6.2.2 假设检验原理

6.2.1 抽样分布

6.2 假设检验

6.1.3 操作特性曲线

6.1.2 统计抽样原理

6.1.1 数理统计基础

6.1 统计抽样测试

第6章 统计

本章参考文献

5.8 本章小结

5.7.2 均匀设计表及均匀设计过程

5.7.1 均匀性

5.7 均匀设计

5.6.3 在测试中应用正交设计的过程

5.6.2 正交表

5.6.1 试验设计的基本概念

5.6 正交设计

5.5 基于模型的测试

5.4 基于执行档案的测试

5.3.2 对缺陷检出效率的改善

5.3.1 自适应随机测试的过程

5.3 自适应随机测试

5.2.2 反随机测试的过程

5.2.1 测试输入点之间的距离

5.2 反随机测试

5.1.3 模糊测试

5.1.2 随机选取用例的其他方法

5.1.1 基于伪随机数发生器的随机测试

5.1 随机测试

第5章 多样化

本章参考文献

4.5 本章小结

4.4.4 绝对充分度

4.4.3 充分准则基本性质

4.4.2 准则之间的包含关系

4.4.1 目标与成本的考量

4.4 准则的选用与定制

4.3.2 基于优先级排序的回归测试充分准则

4.3.1 基于变更的回归测试充分准则

4.3 回归测试充分准则

4.2.4 变异充分准则

4.2.3 电路单固定缺陷检出准则

4.2.2 布尔逻辑缺陷检出准则

4.2.1 边界缺陷检出准则

4.2 基于缺陷的充分准则

4.1.3 修改的条件／决策覆盖准则

4.1.2 数据流覆盖准则

4.1.1 控制流覆盖准则

4.1 基于结构覆盖的充分准则

第4章 准则化

本章参考文献

3.4 本章小结

3.3.3 标记算法

3.3.2 形式化规约

3.3.1 形式化模型

3.3 模型检验

3.2.3 等比例采样策略

3.2.2 基于缺陷的分割测试

3.2.1 测试输入空间的分割

3.2 分割测试

3.1.4 排除法

3.1.3 贪心法

3.1.2 组合测试的枚举本质

3.1.1 组合测试的概念

3.1 组合测试

第3章 枚举

本章参考文献

2.5 本章小结

2.4.3 故障树的割集

2.4.2 故障树的构建过程

2.4.1 故障树的表示方法

2.4 故障树分析

2.3.4 被测对象期望树

2.3.3 被测对象期望的具象化分解

2.3.2 被测对象期望的影响因素

2.3.1 被测对象期望的相关概念

2.3 被测对象期望

2.2.2 软件分层测试

2.2.1 硬件分层测试

2.2 分层测试

2.1.3 被测对象的整体涌现性

2.1.2 被测对象的边界

2.1.1 被测对象与环境的普遍相关性

2.1 被测对象的系统性

第2章 系统

本章参考文献

1.6 本章小结

1.5 测试设计思想

1.4.5 测试准绳问题

1.4.4 测试可信性问题

1.4.3 测试选择问题

1.4.2 测试完整性问题

1.4.1 正确性判定问题

1.4 测试的五个基本问题

1.3 测试的两个基本目的

1.2 被测对象的质量与缺陷

1.1 测试的语义设定

第1章 基本概念

前言

作者简介

内容简介

版权信息

封面

封面

版权信息

内容简介

作者简介

前言

第1章 基本概念

1.1 测试的语义设定

1.2 被测对象的质量与缺陷

1.3 测试的两个基本目的

1.4 测试的五个基本问题

1.4.1 正确性判定问题

1.4.2 测试完整性问题

1.4.3 测试选择问题

1.4.4 测试可信性问题

1.4.5 测试准绳问题

1.5 测试设计思想

1.6 本章小结

本章参考文献

第2章 系统

2.1 被测对象的系统性

2.1.1 被测对象与环境的普遍相关性

2.1.2 被测对象的边界

2.1.3 被测对象的整体涌现性

2.2 分层测试

2.2.1 硬件分层测试

2.2.2 软件分层测试

2.3 被测对象期望

2.3.1 被测对象期望的相关概念

2.3.2 被测对象期望的影响因素

2.3.3 被测对象期望的具象化分解

2.3.4 被测对象期望树

2.4 故障树分析

2.4.1 故障树的表示方法

2.4.2 故障树的构建过程

2.4.3 故障树的割集

2.5 本章小结

本章参考文献

第3章 枚举

3.1 组合测试

3.1.1 组合测试的概念

3.1.2 组合测试的枚举本质

3.1.3 贪心法

3.1.4 排除法

3.2 分割测试

3.2.1 测试输入空间的分割

3.2.2 基于缺陷的分割测试

3.2.3 等比例采样策略

3.3 模型检验

3.3.1 形式化模型

3.3.2 形式化规约

3.3.3 标记算法

3.4 本章小结

本章参考文献

第4章 准则化

4.1 基于结构覆盖的充分准则

4.1.1 控制流覆盖准则

4.1.2 数据流覆盖准则

4.1.3 修改的条件／决策覆盖准则

4.2 基于缺陷的充分准则

4.2.1 边界缺陷检出准则

4.2.2 布尔逻辑缺陷检出准则

4.2.3 电路单固定缺陷检出准则

4.2.4 变异充分准则

4.3 回归测试充分准则

4.3.1 基于变更的回归测试充分准则

4.3.2 基于优先级排序的回归测试充分准则

4.4 准则的选用与定制

4.4.1 目标与成本的考量

4.4.2 准则之间的包含关系

4.4.3 充分准则基本性质

4.4.4 绝对充分度

4.5 本章小结

本章参考文献

第5章 多样化

5.1 随机测试

5.1.1 基于伪随机数发生器的随机测试

5.1.2 随机选取用例的其他方法

5.1.3 模糊测试

5.2 反随机测试

5.2.1 测试输入点之间的距离

5.2.2 反随机测试的过程

5.3 自适应随机测试

5.3.1 自适应随机测试的过程

5.3.2 对缺陷检出效率的改善

5.4 基于执行档案的测试

5.5 基于模型的测试

5.6 正交设计

5.6.1 试验设计的基本概念

5.6.2 正交表

5.6.3 在测试中应用正交设计的过程

5.7 均匀设计

5.7.1 均匀性

5.7.2 均匀设计表及均匀设计过程

5.8 本章小结

本章参考文献

第6章 统计

6.1 统计抽样测试

6.1.1 数理统计基础

6.1.2 统计抽样原理

6.1.3 操作特性曲线

6.2 假设检验

6.2.1 抽样分布

6.2.2 假设检验原理

6.2.3 批不合格品率的假设检验

6.2.4 软件功能测试中的假设检验

6.3 事件分布列

6.3.1 事件分布列的建立过程

6.3.2 基于事件分布列的随机测试

6.4 基于统计模型的测试

6.4.1 马尔可夫链

6.4.2 基于马尔可夫链的测试设计

6.5 软件随机性失效

6.5.1 随机性失效的常见诱因

6.5.2 面向随机性失效的测试

6.6 统计结构测试

6.7 本章小结

本章参考文献

第7章 冗余

7.1 差错控制编码

7.1.1 基本原理

7.1.2 分组码

7.1.3 卷积码

7.2 被测对象期望的冗余分解

7.2.1 用关系来描述期望

7.2.2 冗余分解

7.2.3 钝化

7.3 基于属性的测试

7.4 蜕变测试

7.4.1 蜕变关系

7.4.2 测试集的测试准绳

7.4.3 在线蜕变测试

7.4.4 缺陷检出能力

7.5 差分测试

7.5.1 冗余实现

7.5.2 产品演化过程中的差分测试

7.6 测试准绳的一般性讨论

7.6.1 测试准绳的有效性和完整性

7.6.2 测试准绳的相对强度

7.6.3 测试准绳与测试充分准则

7.6.4 互相制约的关系

7.7 模糊冗余信息

7.7.1 模糊数学基础

7.7.2 测试结论的模糊性

7.8 本章小结

本章参考文献

第8章 推理

8.1 被测对象的正确性

8.1.1 正确性的概念

8.1.2 正确性度量

8.2 演绎

8.2.1 演绎推理基础

8.2.2 正确性演绎推理

8.3 归纳

8.3.1 归纳推理基础

8.3.2 基于模型的正确性归纳推理

8.3.3 基于蜕变关系的正确性归纳推理

8.4 等价性证明

8.4.1 标准形式

8.4.2 等价性反例

8.5 基于缺陷的测试

8.6 测试设计中的假设

8.6.1 测试充分准则中的假设

8.6.2 测试准绳中的假设

8.7 本章小结

本章参考文献

第9章 控制

9.1 自适应测试

9.1.1 反馈控制基础

9.1.2 自适应测试中的反馈控制

9.1.3 测试用例自适应排序

9.1.4 符号随机测试

9.2 可测性

9.2.1 能控性与能观性

9.2.2 路径敏化法

9.2.3 面向能观性的测试充分准则

9.2.4 可测性度量

9.3 稳定性

9.4 本章小结