white box白盒测试

• 逻辑覆盖法：语句覆盖，判定覆盖，条件覆盖，判定/条件覆盖，组合覆盖，路径覆盖
• 基本路径测试法：Control Flow Graphs, CFG。带箭头的边
• 条件覆盖：使每个判定中每个条件的可能值至少满足一次。
• 判定/条件覆盖：使得判定中每个条件的所有可能取值至少满足一次，同时每个判定的可能结果也至少出现一次。
• 满足路径覆盖的测试用例不一定满足组合覆盖
• 

  

  

  

  

•