白盒测试练习及答案.docxVIP

2、在白盒测试用例设计中，有语句覆盖、分支覆盖、条件覆盖、路径覆盖等，其中（A ） 是最强的覆盖准则。为了对如下图所示的程序段进行覆盖测试，必须适当地选取测试用例组。 若x,y是两个变量，可供选择的测试用例组共有I、□、皿、IV四组，如表中给岀，则实现判 立覆盖至少应采取的测试用例组是（B ）或（C ）：实现条件覆盖至少应采取的测试用例 组是（D ）：实现路径覆盖至少应采取的测试用例组是（E ）或（F ）。 ―) oy (y=l A B z y 漁溯躍【 0 3 1 2 炯碉【】 -1 2 3 1 供选择的答案 A： ①语句覆盖 ②条件覆盖 ③判能覆盖 ④路径覆盖 b?f： ①I和II组 ②11和in组 ③in利v组 ④I和iv组 ⑤I、口、in组⑥口、皿、iv组⑦I、皿、iv组 ⑧I、口、IV组 解答：A.④ B.⑤ C.⑧ D.④ E.⑤ F.⑧ 2.阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于(a,b,c)的输 入值可以达到条件覆盖。(B ) int func(int a,b,c) { int k=l; if ((a0) | | (b0) | | (a+c0)) k=k+a; else k=k+b; 讦(c0) k=k+c; return k; } A.(a/b/c) = (3,6,l). (-W) B.(azb/C) = (2,5,8). (-4,-9,-5) C. (a/b,c) = (6/8,-2)^ (1,5,4) D. (a,b,c) = (W2). (-4,8,3) 3?阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b/C）的输 入值可以达到判定覆盖。（D ） int funcfint a,b,c） { int k=l; k=k+a;B. (a,b,c) = (2,5,8). (-4,-9,-5)D. (a,b/c) = (4 k=k+a; B. (a,b,c) = (2,5,8). (-4,-9,-5) D. (a,b/c) = (4/-9/-2). (-4,8,3) 讦(c0) k=k+c; return k; } A. (a/b/c) = (3,6/l). (+5,7) C. (a/b,c) = (6/8,-2)^ (1,5,4) 4?阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于(a,b/C)的输 入值可以达到判定条件覆盖。(B ) int funcfint a,b,c) { int k=l; if ((a0) | | (b0) | | (a+c0)) k=k+a; else k=k+b; if (c0) k=k+c; return k; } A.(a/b,c) = (3z6,l) (-4,-5,7) B. (a,b,c) = (2,-5,8) (-4,9,-5) C.(a,b/c) = (6/8,-2). (1,5,4) D. (a,b,c) = (4,9,-2). (-4,83) 5、下而是一段求最大值的程序，英中datalist是数据表，n是datalist的长度。 int GetMax（int n, int datalist[]） { int k=0; for （int j=l; jn; j++ ） if （ datalistfj] datalist[k] ） k=j; return k; } （1） 画出该程序的控制流图，并计算其McCabe环路复杂性。 （2） 用基本路径覆盖法给出测试路径。 （3） 为各测试路径设计测试用例。 答: 12 1 2 3 4 5 6 7 8 9 int j = 1; while (j n ) { if ( datalist[j] datalist[k]) k 二 j； J++； } retur n k; 控制流图如上，McCabe环路复杂性为3. 测试路径： Pathl： 2T3T9 Path2： 2T3T5T6T7 T8T3T9 Path3： 2T3T5T7 T8T3T9 测试用例： Pathl： 取 n=l? datalist[0] = 1, 预期结果：k=0 Path2： 取 n=2, datalist[0] = 1, datalist[l] = 0, 预期结果：k=0 Path3： 取 n=2, datalist[0] = 0, datalist[l] = 1, 预期结果：k=l 6、下而是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为 Element的数组V,另一个是数组大小m算法中用到两个操作，一是取某数组元素V[i]的关键 码操作getKey(), 一是交换两数组元素内容的操作Swap(): void SelectSort ( datalist list) { ey