白盒测试也称结构测试或逻辑驱动测试，是针对被测单元内部是如何进行工作的测试。它根据程序的控制结构设计测试用例，主要用于软件或程序验证。
   
    白盒测试法检查程序内部逻辑结构，对所有逻辑路径进行测试，是一种穷举路径的测试方法。但即使每条路径都测试过了，仍然可能存在错误。因为：
   
    1. 穷举路径测试无法检查出程序本身是否违反了设计规范，即程序是否是一个错误的程序。
   
    2. 穷举路径测试不可能查出程序因为遗漏路径而出错。
   
    3. 穷举路径测试发现不了一些与数据相关的错误。
   
    采用白盒测试方法必须遵循以下几条原则，才能达到测试的目的：
   
    1. 保证一个模块中的所有独立路径至少被测试一次。
   
    2. 所有逻辑值均需测试真（true）和假（false）两种情况。
   
    3. 检查程序的内部数据结构，保证其结构的有效性。
   
    4. 在上下边界及可操作范围内运行所有循环。
   
    白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有：
   
    1. 逻辑覆盖法（逻辑驱动测试）
   
    2. 基本路径测试方法
   
    包含条件的节点被称为判定节点（也叫谓词节点），由判定节点发出的边必须终止于某一个节点，由边和节点所限定的范围被称为区域。
   
    环形复杂度也称为圈复杂度，它是一种为程序逻辑复杂度提供定量尺度的软件度量。
   
    环形复杂度的应用--可以将环形复杂度用于基本路径方法，它可以提供：程序基本集的独立路径数量；确保所有语句至少执行一次的测试数量的上界。
   
    独立路径是指程序中至少引入了一个新的处理语句集合或一个新条件的程序通路。采用流图的术语，即独立路径必须至少包含一条在本次定义路径之前不曾用过的边。
   
    测试可以被设计为基本路径集的执行过程，但基本路径集通常并不。
   
    测试覆盖率：用于确定测试所执行到的覆盖项的百分比。其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。
   
    测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高效果越好。但覆盖率不是目标，只是一种手段。
   
    测试覆盖率包括功能点覆盖率和结构覆盖率：
   
    1. 功能点覆盖率大致用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。
   
    2. 结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等等。
   
    根据覆盖目标的不同，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。
   
    1. 语句覆盖：选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。
   
    2. 判定覆盖：通过执行足够的测试用例，使得程序中的每个判定至少都获得一次"真"值和"假"值，也是使程序中的每个取"真"分支和取"假"分支至少均经历一次，也称为"分支覆盖".
   
    3. 条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。
   
    4. 判定/条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。
   
    --满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖。
   
    5. 组合覆盖：通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。
   
    --满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。
   
    6. 路径覆盖：设计足够多的测试用例，要求覆盖程序中所有可能的路径。