白盒测试
白盒测试(White Box Testing)又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试只测试软件产品的内部结构和处理过程,而不测试软件产品的功能,用于纠正软件系统在描述、表示和规格上的错误,是进一步测试的前提。
白盒测试遵循的四大原则:
- 保证一个模块中所有路径至少被测试一次;
- 所有逻辑值都要测试真(true)和假(false)两种情况
- 检查程序的内部数据结构是否有效;
- 检查上、下边界及可操作范围内运行所有循环
静态白盒测试
白盒测试分静态和动态两种,静态测试是指不运行程序,通过人工对程序和文档进行分析与检查。下面是静态白盒测试检查的故障模式。
- 内存泄漏的故障(Memory Leak Fault, MLF)
- 数组越界故障的故障(Out of Bounds Array Access Fault OBAF)
- 使用未初始化变量故障(Uninitialized Variable Fault,UVF)
- 空指针使用故障(NULL Pointer Dereference Fault NPDF)
- 非法计算类故障(Illegal Computing Fault ILCF)
- 死循环结构(Dead Loop Fault DLF)
- 资源泄漏(RLF)
- 并发故障 (Concurrency Fault)
- 安全漏洞故障
- 疑问代码故障
简单来说,静态白盒测试就是看代码找bug
动态白盒测试
白盒测试