白盒测试

白盒测试主要应用于单元测试阶段
1.静态白盒测试（为主）
桌面检查：交叉检查，开发人员A检查开发人员B写的代码，开发人员B检查开发人员A写的代码
代码评审：在编码初期或编写过程中采用一种有同行参与的评审活动
代码检查：由测试小组组织或者专门的代码走查小组进行代码走查，
这时需要开发人员提交有关的资料文档和源代码给走查人员，并进行必要的讲解

先静态后动态
2.动态白盒测试
逻辑覆盖
语句覆盖：设计测试用例，使得程序中的每条语句至少被执行一次
判定覆盖：设计测试用例，使得程序中的每个判定的“真”和“假”都至少执行一次，
满足了判定覆盖就一定满足语句覆盖，判定覆盖可能会忽略判定中“and”和“or”的条件
条件覆盖：设计测试用例，使得判定中每个条件的真和假都至少有一次
判定条件覆盖：即满足判定覆盖，又满足条件覆盖
条件组合覆盖：每个判定里面的所有条件进行排列组合
路径覆盖：每个路径都有，但并不一定满足条件覆盖
基本路径覆盖：在程序控制流图的基础上，通过分析程序的环路复杂性，导出基本可执行路径集合，从而设计测试用例
步骤：
根据代码画出程序控制流图
计算程序的环路复杂性：方法一、就是看分成几个区域；方法二，边数-节点数+2；方法三、p+1（p为判定节点的数量）
导出基本路径
设计测试用例：设计测试用例覆盖基本路径