白盒测试的几种方法

 1.程序结构分析:
  (1)控制流分析 (2)数据流分析 (3)信息流分析
 2.逻辑覆盖:
  (1)语句覆盖  (2)判定覆盖  (3)条件覆盖  (4)判定-条件覆盖
  (5)路径覆盖  (6)最少测试用例数计算   (7)测试覆盖准则
 3.程序插桩
  (1)断言语句
 4.其他白盒测试方法:
  (1)域测试  (2)符号测试  (3)Z路径覆盖 (4)程序变异