__白盒测试及其实例设计.pptVIP

第4章 白盒测试及其  实例设计 第4章 白盒测试及其实例设计 4.1 逻辑覆盖测试 条件覆盖 条件覆盖（Condition Coverage）是指设计 若干个测试用例，执行被测试程序时，程序中 每个判断条件中的每个判断式的真值和假值至 少被执行一遍。 测试用例组5： Test Case 6：50，600，6000 Test Case 7：2000，200，1000 判断/条件覆盖 判断/条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中 每个判断条件的真假值分支至少被执行一遍，并且每个判断条件的内 部判断式的真假值分支也要被执行一遍。 测试用例组6： Test Case 1：x=2000, y=600, z=2000 Test Case 6：x=2000, y=200, z=6000 Test Case 7：x=2000, y=600, z=2000 Test Case 8：x=50, y=200, z=2000 条件组合覆盖 条件组合覆盖是指设计若干个测试用例，执行被测试程序时，程序中 每个判断条件的的内部判断式的各种真假组合可能都至少被执行一 遍。可见，满足条件组合覆盖的测试用例组一定满足判断覆盖、条件 覆盖和判断/条件覆盖。 测试用例组7： Test Case 1：x=2000, y=600, z=2000 Test Case 6：x