软件测试方法——白盒测试

1. 动态白盒测试(结构化测试)

动态白盒测试是指利用查看代码功能和实现方式得到的信息来确定哪些需要测试，哪些不需要测试，如何开展测试。

动态白盒测试包括以下4个部分：

1. 直接测试底层函数、过程、子程序和库。
2. 以完整程序的方式从顶层测试软件
3. 从软件或者读取数据变量和状态信息的访问权，以便确定测试与预期结果是否相符。同时，强制软件以正常测试难以实现的方式运行。
4. 估算执行测试时“命中”的代码量和具体代码，然后调试测试，去掉多余的测试用例，补充遗漏的用例。

2. 动态白盒测试和调试

不要把动态白盒测试和调试弄混。动态白盒测试的目标是寻找软件缺陷，调试的目标是修复缺陷。在隔离软件缺陷的位置和原因上两者确实存在交叉现象。

3. 分段测试

3.1 单元测试和集成测试

在底层进行的测试称为单元测试或者模块测试。单元测试经过测试，底层缺陷被找出并修复之后，就集成在一起，对模块的组合进行集成测试。

4. 代码覆盖测试

代码覆盖测试必须设法进入和退出每一个模块，执行每一行代码，进入软件每一条逻辑和决策分支。代码覆盖测试最简单的形式是利用编译环境的调试器通过单步执行程序查看代码。

4.1 代码行覆盖

代码覆盖的最直接形式就称为语句覆盖或者代码行覆盖，目标就是保证程序的每一条语句最少执行一次。误导：可以说即使全部语句全部都执行了，但是不能说走遍了软件的全部路径

4.2 分支覆盖(只要执行该分支即可)

试图覆盖软件中的全部路径称为路径覆盖，路径测试最简单的形式称为分支覆盖测试。大多数代码覆盖率分析器将根据代码分支，分别报告语句覆盖和分支覆盖的结果，使软测人云更清楚测试效果。

4.3 条件覆盖(需要执行该分支的所有情况)

条件覆盖测试将分支语句的条件考虑在内，主要是针对于较为复杂的条件，需要将所有情况罗列在内。