7.6 白盒测试技术白盒测试技术白盒测试白盒测试的原则的原则对程序模块的所有对程序模块的所有独立独立执行路径执行路径至少测试一次至少测试一次对所有的对所有的逻辑判定逻辑判定取取“真真”与取与取“假假”的两种情况的两种情况都至少测试一次。都至少测试一次。在在循环的边界和可操作范围循环的边界和可操作范围内内执行循环体执行循环体 测试测试内部数据结构内部数据结构的有效性,的有效性,完成边界条件的测试。完成边界条件的测试。迪杰斯特拉定律:迪杰斯特拉定律:穷尽测试永远不可能穷尽测试永远不可能执行路径:执行路径:5 52020个个如果如果1ms1ms完成一个完成一个测试测试近似为近似为10101414个个需需31703170年年一、一、逻辑覆盖逻辑覆盖1.语句覆盖语句覆盖2.判定覆盖判定覆盖3.条件覆盖条件覆盖4.判定判定-条件覆盖条件覆盖5.条件组合覆盖条件组合覆盖6.路径覆盖路径覆盖1.语句覆盖语句覆盖设计测试用例,使被测程序中的设计测试用例,使被测程序中的每个每个可执行语句至少被执行一次可执行语句至少被执行一次int a,b;double c;if(a 0&b 0)c=c/a;if(a 1|