转自：http://wenku.baidu.com/view/1621b429ed630b1c59eeb5ca.html
本流程图描述了某子程序的处理流程，现要求用白盒测试法对子程序进行测试。
要求：根据白盒测试常用的以下几种方式：语句覆盖、判定覆盖、条件覆盖、判定／条件覆盖、多重条件覆盖(条件组合覆盖)、路径覆盖六种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小的测
试数据组并简述各种测试方法。
测试用例：
A: x=3 y=3 z=0;x=1 y=2 z=1
B: x=1 y=2 z=0;x=2 y=1 z=1
C: x=4 y=2 z=0; x=3 y=3 z=0; x=2 y=1 z=0; x=1 y=1 z=1
D: x=4 y=2 z=0; x=1 y=2 z=1; x=2 y=1 z=0; x=1 y=1 z=1
E: x=4 y=2 z=0
F: x=4 y=2 z=0;x=1 y=1 z=1
用例分析：
语句覆盖E：语句覆盖是指选择足够的测试用例，使得运行这些测试用例时，被测程序的每个语句至少被执行一次，语句覆盖是一种比较弱的覆盖标准
判定覆盖A：也称分支覆盖，是指选择足够的测试用例，使得运行这些测试用例时，被测程序的每个判定的所有可能结果至少出现一次
条件覆盖B：是指选择足够的测试用例，使得运行这些测试用例时，判定中的每个条件的所有可能结果至少出现一次
判定/条件覆盖F：是指选择足够的测试用例，使得运行这些测试用例时，判定中每个条件的所有可能结果至出现一次，并且每个判定本身的所有可能结果也至少出现一次
多重条件覆盖D：是指选择足够的测试用例，使得运行这些测试用例时，每个判定中条件结果的所有可能组合至少出现一次
路径覆盖C：是指选择足够的测试用例，使得运行这些测试用例时，程序的每条可能执行到的路径都至少经过一次