白盒测试：白盒测试称逻辑驱动测试测试或结构测试—用程序结构信息生成测试用例
穷举路径测试是不可能的。
定义： 去研究里面的源代码和程序结构。关注的是测试用例执行的程度或覆盖程序逻辑结构（源代码）的程度。
白盒测试用例设计方法？
答：
静态：
1代码检查法（桌面检查，代码走查，代码检查3种方式）、
2静态结构分析法（以图形方式表现程序内部结构）、
3静态质量度量法（根据ISO质量模型为基础，构造质量度量模型来评估软件各个方面）、
动态：
4逻辑覆盖法（语句覆盖，判定覆盖或分支覆盖，条件覆盖，判定-条件覆盖，路径覆盖）、
5基本路径测试法、
6域测试、
7符号测试、
8 Z路径覆盖、
9程序变异等。
在提交测试之前，进行代码检查、代码走查与评审，代码检查、代码走查与评审与软件测试原则有关。
对于某些特定类型的错误，人工测试手段更有效；
’对于其他错误类型，基于计算机的测试手段更有效。
代码检查、代码走查中，准备工作的高潮是“头脑风暴会”，头脑风暴会的目标是：找出错误来。
代码检查
在代码检查中，一组开发人员对代码进行审核，参加者当中只有一人是程序编写者，还有一个是称职的程序员，协调者，但不是该程序的编码者，然后还有一个是测试专家和程序设计人员，但不是该程序的编码者。
代码检查的错误清单：
- 数据引用错误；
- 数据声明错误；
- 运算错误；
- 比较错误；
- 控制流程错误；
- 接口错误；
- 输入/输出错误；
- 其他检查
小组代码走查
桌面检查
同行评审
