白盒测试

白盒测试：（主要应用于单元测试阶段）
    定义：根据系统的内部实现，尽可能覆盖代码逻辑
    特点：代码覆盖率高，缺点：覆盖所有的代码路径难度大，（2^3=8条路），业务功能可能覆盖不全，测试开销大
    用例设计方法：
        静态设计方法（不运行）：桌面检查（交叉形式），代码审查（会议，作者讲解，结构），代码走查（会议，在会议中输入数据，人工实现，测试用例输入测试走向走向，功能实现），代码扫描工具（编码规范固定，如果发现不匹配定义的规则，则可以发现）
        

       动态设计方法：逻辑覆盖法（语句，判断，条件，判断条件，条件组合，路径覆盖），基本路径测试法
    逻辑覆盖法：是通过对程序逻辑结构的遍历实现程序的覆盖（画流程图）

    覆盖率：是用来度量测试完整性的一个手段（至少执行一次的item数/item总数）
    语句覆盖：设计测试用例，是使得程序中每条语句至少被执行一次，标准最弱，不能判断运算中的逻辑关系的错误
    判定覆盖（分支覆盖）：使得程序中的每个判断的真和假至少被执行一次，即：程序中的每个分支至少执行一次（满足判定覆盖，就能满足语句覆盖）
    条件覆盖：设定测试用例，使得判定中的每个条件至少有一次取真值有一次去假值（局限性：条件覆盖并不能保证100%判定覆盖）
    判定条件覆盖：（局限性：不能判断运算中的逻辑关系的错误）
    条件组合覆盖：设定测试用例，使得每个判定中的每个条件结果的所有组合至少执行一次（局限性：路径不能达到100%覆盖）
    路径覆盖：设定测试用例，覆盖程序中所有可能的路径（局限性：条件和判定覆盖不能达到100%）
    若路径很复杂：
          基本路径测试法：在程序控制流图的基础上，通过分析程序的环路复杂性（根据区域的数量对应环路的复杂度或边-节点+2或判定节点数量+1），导出基本可执行路径集合，从而设计测试用例