白盒测试

结构测试、逻辑驱动测试

• 对模块的每一个独立的执行路径至少测试一次
• 对所有的逻辑判定的每一个分支（真与假）都至少测试一次
• 在循环的边界和运行界限内执行循环体
• 测试内部数据结构的有效性

覆盖标准

逻辑覆盖

覆盖标准	说明
语句覆盖	每条语句至少执行一次
判定覆盖	每一判定的每个分支至少执行一次
条件覆盖	每一判定中的每个条件，分别按“真”、“假“至少各执行一次
判定/条件覆盖	同时满足判定覆盖和条件覆盖的要求
条件组合覆盖	求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次

• 条件覆盖不能完全包含判定覆盖
• 条件覆盖可能不包含语句覆盖
• 条件组合覆盖可能不覆盖程序中的每一条路径

控制结构覆盖

基本路径测试（Basic path test）

• 独立路径（基本路径）：一条程序执行的路径，至少包含一条在定义该路径之前的其他基本路径中所不曾用过的边
• 区域：由边和结点封闭起来的区域

1. 画出控制流图
   • 根据程序流程图
2. 计算圈复杂度 V(G)
   • 流图中区域的数量
3. 导出测试用例
4. 准备测试用例
   • 测试用例 = 测试数据 + 期望结果

循环测试

• 简单循环
• 串接循环
• 嵌套循环
• 不规则循环