若采用白盒测试法对下面流程图所示算法进行测试，且要满足语句覆盖，则至少需要（）个测试用例。A.1B.2C.3D.4若表示输入和输出的测试用例格式为（A，B，X；X），则满足语句覆盖的测试用例是（）。A.(1,3,3;8)B.(1,3,5;10)C.(5,2,15;8)D.(5,2,20;9)请帮忙给出每个问题的正确答案和分析，谢谢！

本题考查软件测试的基础知识。
白盒测试和黑盒测试是两种最常用的测试方法。其中路径覆盖是白盒测试的一种具体方法。
路径覆盖是指设计若干个测试用例，覆盖程序中的所有路径。
该流程图中一共有三条路径：①②③④⑤⑥③⑦、①②③④⑥③⑦和①②③⑦。
白盒测试是对程序内部结构进行测试，因此主要用主单元测试。

路径覆盖：使程序中每条都至少执行一次。
如图每个判断都需要两个用例，因此需要6个测试用例。

白盒测试常用的技术是逻辑覆盖，即考查用测试数据运行被测程序时对程序逻辑的覆盖程度。主要的覆盖标准有六种：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合条件覆盖和路径覆盖。
（1）语句覆盖
语句覆盖是指选择足够多的测试用例，使得运行这些测试用例时，被测程序的每个语句至少执行一次。很显然，语句覆盖是一种很弱的覆盖标准。
（2）判定覆盖
判定覆盖又称分支覆盖，它的含义是，不仅每个语句至少执行一次，而且每个判定的每种可能的结果（分支）都至少执行一次。判定覆盖比语句覆盖强，但对程序逻辑的覆盖程度仍然不高。
（3）条件覆盖
条件覆盖的含义是，不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果。条件覆盖不一定包含判定覆盖，判定覆盖也不一定包含条件覆盖。
（4）判定/条件覆盖
同时满足判定覆盖和条件覆盖的逻辑覆盖称为判定/条件覆盖。它的含义是，选取足够的测试用例，使得判定表达式中每个条件的所有可能结果至少出现一次，而且每个判定本身的所有可能结果也至少出现一次。
（5）条件组合覆盖
条件组合覆盖的含义是，选取足够的测试用例，使得每个判定表达式中条件结果的所有可能组合至少出现一次。显然，满足条件组合覆盖的测试用例，也一定满足判定/条件覆盖。因此，条件组合覆盖是上述五种覆盖标准中最强的一种。然而，条件组合覆盖还不能保证程序中所有可能的路径都至少经过一次。
（6）路径覆盖
路径覆盖的含义是，选取足够的测试用例，使得程序的每条可能执行到的路径都至少经过一次（如果程序中有环路，则要求每条环路径至少经过一次）。路径覆盖实际上考虑了程序中各种判定结果的所有可能组合，因此是一种较强的覆盖标准。
本题的第二问比较复杂，关键是我们要清楚程序流程图中有几条路径，然后为每条路径设置一个测试用例。
在本题给出的程序流程图中，如果我们将判定“x?

先用代入法求出第30题，然后判断第29题需要两个测试用例即可。