白盒测试练习.doc

1、在白盒测试用例设计中，有语句覆盖、分支覆盖、条件覆盖、路径覆盖等，其中（? A?④ ）是最强的覆盖准则。为了对如下图所示的程序段进行覆盖测试，必须适当地选取测试用例组。若x, y是两个变量，可供选择的测试用例组共有Ⅰ、Ⅱ、Ⅲ、Ⅳ四组，如表中给出，则实现判定覆盖至少应采取的测试用例组是（? B? ⑤ ）或（? C?⑧ ）；实现条件覆盖至少应采取的测试用例组是（? D?① ）；实现路径覆盖至少应采取的测试用例组是（? E?⑤ ）或（? F? ⑧）。 供选择的答案A：① 语句覆盖??? ② 条件覆盖??? ③ 判定覆盖??? ④ 路径覆盖B～F:① Ⅰ和Ⅱ组??? ② Ⅱ和Ⅲ组?? ③ Ⅲ和Ⅳ组? ④ Ⅰ和Ⅳ组 ⑤ Ⅰ、Ⅱ、Ⅲ组???? ⑥ Ⅱ、Ⅲ、Ⅳ组??? ⑦ Ⅰ、Ⅲ、Ⅳ组 ⑧ Ⅰ、Ⅱ、Ⅳ组 2. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到条件覆盖。（ D ） int func(int a,b,c) { int k=1; if ( (a0) || (b0) || (a+c0) ) k=k+a; else k=k+b; if (c0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-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,8,3) 3. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到判定覆盖。（D ） int func(int a,b,c) { int k=1; if ( (a0) (b0) (a+c0) ) k=k+a; else k=k+b; if (c0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-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,8,3) 4. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到判定条件覆盖。（B ） int func(int a,b,c) { int k=1; if ( (a0) || (b0) || (a+c0) ) k=k+a; else k=k+b; if (c0) k=k+c; return k; } A. (a,b,c) = (3,6,1)、(-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,8,3) 5、下面是一段求最大值的程序，其中datalist是数据表，n是datalist的长度。 int GetMax(int n, int datalist[ ]) { int k=0; for ( int j=1; jn; j++ ) if ( datalist[j] datalist[k] ) k=j; return k; } （1） 画出该程序的控制流图，并计算其McCabe环路复杂性。 （2） 用基本路径覆盖法给出测试路径。 （3） 为各测试路径设计测试用例。 6、下面是选择排序的程序，其中datalist是数据表，它有两个数据成员：一是元素类型为Element的数组V，另一个是数组大小n。算法中用到两个操作，一是取某数组元素V[i]的关键码操作getKey ( )，一是交换两数组元素内容的操作Swap( )：void SelectSort ( datalist list ) {//对表list.V[0]到list.V[n-1]进行排序,? n是表当前长度。for ( int i = 0; i list.n-1; i++ ) {int k = i;?? //在list.V[i].key到list.V[n-1].key中找具有最小关键码的对象for ( int j = i+1; j list.n; j++)if ( list.V[j].get