白盒测试也称为结构测试或逻辑驱动测试。它是根据软件产品的内部工作过程，检查内部成分，以确认每种内部操作符合设计规格要求。白盒测试的方法有逻辑覆盖测试和基本路径测试。

1 白盒测试基本技术： 

词法分析与语法分析，静态错误分析，程序插桩技术。 　　

2 白盒测试方法　 　　

2.1 代码检查法：代码检查方式（桌面检查，代码审查，走查），代码检查项目，编码规范，代码检查规则，缺陷检查表。 　　

2.2 静态结构分析法。 　　

2.3 静态质量试题法。 　　

2.4 逻辑覆盖法 　　

语句覆盖：选择足够多的测试数据，使测试程序中每条语句至少执行一次。 　　判定覆盖（分支覆盖）：设计足够多的测试用例，使用得程序中的每个判定至少都获得一次“真值”或“假值”；或者说使用得程序中的每一个取“真”分支和取“假”分支至少经历一次。

　　条件覆盖：构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。

　　条件判定组合覆盖：设计足够的测试用例，使用得判定中每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。

　　多条件覆盖：设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。 　　

2.5 基本路径测试法 　　

 　　程序环路复杂性（即McCabe复杂性度量）环路复杂性V（G）=判断结点数+1.

 　　基本路径测试法步骤：

 　　以详细设计或源代码作为基础，导出程序的控制流图；

 　　计算得到的控制流图G的环路复杂性V（G）；

 　　确定线性无关的路径的基本集；

 　　生成测试用例，确保基本路径集中每条路径的执行.

2.6 其他白盒测试方法：

域测试，符号测试，Z路径覆盖，程序变异

可以通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等技术手段来进行白盒测试语句覆盖：每个条件语句至少被执行一次。

判定覆盖：每个判定的每个分支至少执行一次。

条件覆盖：每个判定的每个条件应取到各种可能的值。

判定/条件覆盖：同时满足判定覆盖和条件覆盖。

条件组合覆盖：每个判定中各条件的每一种组合至少出现一次。

路径覆盖：使程序中每一条可能的路径至少执行一次。