第七章

带上X光眼镜测试软件

动态白盒测试

意义：利用查看代码功能和实现方式得到的信息来确定哪些需要测试、那些不要测试、如何开展测试

别名：结构化测试

位置：单元测试

内容

直接测试底层函数、过程、子程序和库

以完整程序的方式从顶层测试软件，但是根据对软件运行的了解调整测试用例

从软件获得读取变量和状态信息的访问权，以便确定测试与预期结果是否相符，同时，强制软件以正常测试难以实现的方式运行。

估算执行测试时“命中”的代码量和具体代码，然后调整测试，去掉多余的测试用例，补充遗漏的用例。

动态白盒测试和调试

动态白盒测试的目标：寻找软件缺陷

调试的目标：修复bug

分段测试

单元测试和集成测试

自底向上

自顶向下

单元测试示例

数据覆盖

数据流

在软件中完全跟踪一笔数据

次边界

公式和等式

错误强制

代码覆盖

分类（由弱到强）

语句覆盖

分支覆盖

路径测试最简单的形式

条件覆盖

分支条件覆盖

条件组合覆盖

路径覆盖

程序语句和代码行覆盖

代码覆盖的最直接形式