【正确答案】正确答案：

【答案解析】解析：本问题考查白盒测试用例设计方法中的判定覆盖法。 判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序有3个判定，所以满足判定覆盖一共需要6个逻辑条件。

【正确答案】正确答案：控制流图

【答案解析】解析：本问题考查白盒测试用例设计方法中的基本路径测试法。涉及到的知识点包括根据代码绘制控制流图、计算环路复杂度。 控制流图是描述程序控制流的一种图示方式，它由节点和定向边构成。控制流图的节点代表一个基本块，定向边代表控制流的方向。其中要特别注意的是，如果判断中的条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列单个条件的嵌套的判断。本题程序中，if(y=7||y=21)这条判断语句中的判定由两个条件组成，因此在画控制流图的时候需要拆开成两条判断语句。需要注意的是，复合条件之间是“&&”的关系还是“||”的关系反应在控制流图的画法是不同的。 程序的环路复杂度等于控制流图中判定节点的个数加1，本题控制流图中判定节点个数为4，所以V(G)=5。

【正确答案】正确答案：线性无关路径： 1．1-9 2．1-2-3-8-1… 3．1-2-4-5-7-8-1… 4．1-2-4-5-6-7-8-1… 5．1-2-4-5-6-8-1…

【答案解析】解析：考查白盒测试用例设计方法中的基本路径法。涉及到的知识点包括：根据控制流图和环路复杂度给出线性无关路径。 线性无关路径是指包含一组以前没有处理的语句或条件的路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过的边的路径。程序的环路复杂度等于线性无关路径的条数，所以本题中应该有5条线性无关路径。