白盒测试:又称结构测试，它一般用来测试程序的内部结构(Control Flow , Data Flow)。并判定其结果是否与预期的结果一致。
白盒测试的主要方法：
代码检查法
静态结构分析法
静态质量度量法
逻辑覆盖法
基本路径测试法
域检测
符号测试
路径覆盖
程序变异
白盒测试中逻辑覆盖的方法：
语句覆盖：语句覆盖每条语句至少执行一次。
判定覆盖：判定覆盖每个判定的每个分支至少执行一次。
条件覆盖：条件覆盖每个判定的每个条件应取到各种可能的值。
判定/条件覆盖：判定/条件覆盖同时满足判定覆盖条件覆盖。
条件组合覆盖：条件组合覆盖每个判定中各条件的每一种组合至少出现一次。
路径覆盖：路径覆盖使程序中每一条可能的路径至少执行一次。
六种覆盖标准能力（发现错误）由弱至强。