第4章--白盒测试及其实例设计.pptVIP

第4章 白盒测试及其实例设计 第4章 白盒测试及其实例设计 4.1 逻辑覆盖测试 条件覆盖 条件覆盖（Condition Coverage）是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件中的每个判断式的真值和假值至少被执行一遍。 判断/条件覆盖 判断/条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件的真假值分支至少被执行一遍，并且每个判断条件的内部判断式的真假值分支也要被执行一遍。 测试用例组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=2000, y=200, z=6000 Test Case 7：x=2000, y=600, z=2000 Test Case 8：x=50, y=200