软件测试技术课程总结（四）白盒测试

白盒测试

白盒测试（White Box Testing）又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试只测试软件产品的内部结构和处理过程，而不测试软件产品的功能，用于纠正软件系统在描述、表示和规格上的错误，是进一步测试的前提。

白盒测试遵循的四大原则:

1. 保证一个模块中所有路径至少被测试一次；
2. 所有逻辑值都要测试真(true)和假(false)两种情况
3. 检查程序的内部数据结构是否有效；
4. 检查上、下边界及可操作范围内运行所有循环

静态白盒测试

白盒测试分静态和动态两种,静态测试是指不运行程序，通过人工对程序和文档进行分析与检查。下面是静态白盒测试检查的故障模式。

1. 内存泄漏的故障（Memory Leak Fault， MLF）
2. 数组越界故障的故障（Out of Bounds Array Access Fault OBAF）
3. 使用未初始化变量故障（Uninitialized Variable Fault，UVF）
4. 空指针使用故障（NULL Pointer Dereference Fault NPDF）
5. 非法计算类故障（Illegal Computing Fault ILCF）
6. 死循环结构(Dead Loop Fault DLF)
7. 资源泄漏（RLF）
8. 并发故障 （Concurrency Fault）
9. 安全漏洞故障
10. 疑问代码故障

简单来说，静态白盒测试就是看代码找bug

动态白盒测试

白盒测试分静态和动态两种，动态测试是指通过运行被测程序，检查运行结果与预期结果的差异，并分析运行效率和健壮性等性能。

动态白盒测试流程：

1. 选取定义域有效值，或