大二汪的软测-白盒测试技术

（配图为教师ppt，仅供期末复习使用，侵权删。请勿转载使用。）

3.1 白盒测试的基本概念

白盒测试也称结构测试、逻辑驱动或基于程序的测试，是一种测试用例设计方法，它从程序的控制结构导出测试用例。它一般用来分析程序的内部结构。
它依赖于程序细节的严密验证，针对特定的条件和循环设计测试用例，对程序的逻辑路径进行测试。通过在程序的不同点检验程序状态，来判定其实际情况是否和预期的状态一致。

3.2 白盒测试的方法

• 静态分析：按一定步骤直接检查源代码的测试方法
  • 代码审查
  • 桌面检查
  • 代码走查
• 动态测试：按一定步骤生成测试用例并驱动被测程序运行来发现错误
  • 基本路径测试
  • 符号测试
  • 逻辑驱动覆盖
  • 循环测试
  • 数据流测试

白盒测试遵循原则：
（1）保证一个模块中的所有独立路径至少被测试一次。
（2）所有逻辑值均需测试真假两个分支。
（3）检查程序的内部数据结构，保证其结构的有效性。
（4）在上下边界可操作范围内运行所有循环。

用覆盖率来度量测试的完整性。
测试覆盖率是程序被一组测试用例执行到的百分比。
覆盖率=（至少被执行一次的被测试项数)/被测试项总数

逻辑覆盖法

逻辑覆