white box白盒测试

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

•