白盒测试用例练习题(1)

白盒测试用例练习1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。

void DoWork (int x,int y,int z){int k=0,j=0;if ( (x>3)&&(z<10) ){ k=x*y-1;j=sqrt(k); //语句块1}if ( (x==4)||(y>5) ){j=x*y+10;} //语句块2j=j%3; //语句块3}由这个流程图可以看出，该程序模块有4条不同的路径：P1:(a-c-e) P2:(a-c-d)P3:(a-b-e) P4:(a-b-d)将里面的判定条件和过程记录如下：判定条件M＝{x>3 and z<10}判定条件N={x=4 or y>5}1、语句覆盖2、判定覆盖也可以让测试用例测试路径P2和P3。

相应的两组输入数据如下：3、条件覆盖对于M：x>3取真时T1，取假时F1;z<10取真时T2，取假时F2；对于N：x=4取真时T3，取假时F3;y>5取真时T4，取假时F4。

条件：x>3,z<10,x=4,y>5条件：x<=3,z>=10,x!=4,y<=5根据条件覆盖的基本思路，和这8个条件取值，组合测试用例如表所示:5、组合覆盖条件组合1)x>3,z<10 2)x>3,z>=103) x<=3,z<10 4)x<=3,z>=105)x=4,y>5 6)x=4,y<=56。

1、在白盒测试用例设计中，有语句覆盖、分支覆盖、条件覆盖、路径覆盖等，其中（ A ）是最强的覆盖准则。

为了对如下图所示的程序段进行覆盖测试，必须适当地选取测试用例组。

若x, y是两个变量，可供选择的测试用例组共有Ⅰ、Ⅱ、Ⅲ、Ⅳ四组，如表中给出，则实现判定覆盖至少应采取的测试用例组是（ B ）或（ C ）；实现条件覆盖至少应采取的测试用例组是（ D ）；实现路径覆盖至少应采取的测试用例组是（ E ）或（ F ）。

供选择的答案A：① 语句覆盖② 条件覆盖③ 判定覆盖④ 路径覆盖B～F:① Ⅰ和Ⅱ组② Ⅱ和Ⅲ组③ Ⅲ和Ⅳ组④ Ⅰ和Ⅳ组⑤ Ⅰ、Ⅱ、Ⅲ组⑥ Ⅱ、Ⅲ、Ⅳ组⑦ Ⅰ、Ⅲ、Ⅳ组⑧ Ⅰ、Ⅱ、Ⅳ组解答：A. ④ B. ⑤ C. ⑧ D. ④ E. ⑤ F. ⑧2. 阅读下面这段程序，使用逻辑覆盖法进行测试，请问哪一组关于（a,b,c）的输入值可以达到条件覆盖。

（ B ）int func(int a,b,c){ int k=1;if ( (a>0) || (b<0) || (a+c>0) ) k=k+a;else k=k+b;if (c>0) 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 ( (a>0) &&(b<0) && (a+c>0) ) k=k+a;else k=k+b;if (c>0) 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）的输入值可以达到判定条件覆盖。

例题2：应用白盒测试法的具体步骤：1.按照某种覆盖标准，选择一组需要覆盖的路径；2.确定上述路径所需的输入数据；3.计算与输入数据相应的输出。

下面以工资管理程序为例说明白盒测试方法的运用过程。

（白盒测试方法有6种）工资管理程序BONUS的输入数据是职员表（Employee Table）和部门销售表（Department Table）（图1）。

职员表由姓名（Name）、职务（Job）、部门（Dept.）和工资（Salary）四个属性组成。

部门销售表由部门(Dept)和销售量（Sales）组成。

程序的功能是：“为销售量最大的部门中每一个职工增加200元工资，但是，如果某个职员的原有工资已达15000元，或者他的职务是经理，则只给他增加100元。

如果程序能正常地完成，则输出出错码0；如果两表格中没有任何条目，则输出出错码1；如果没有职员在部门销售表中销售量最大的部门中工作，则输出出错码2；”工资管理程序BONUS的两个表如下：工资管理程序BONUS的源程序：参数表中EMPTAB、DEPTTAB分别是职员表和部门表，ESIZE、DSIZE分别是两个表的长度，ERRCODE是出错码。

这里略去了说明部分和注释。

Procedure Bonus(EMPTAB,DEPTTAB:TABLE; ESIZE,DSIZE,ERRCODE:INTEGER);/*最大销量和出错码初始化*/1. Begin MAXSALES:=0; ERRCODE:=0;/*判断表是否为空，空输出1，并退出程序，否则继续执行*/2. IF (ESIZE<=0) or (DSIZE<=0)3. THEN ERRCODE:=1;4. ELSE/*获得最大销量*/5. For i=1 to DSIZE6. If Sales(i)> MAXSALES7. then MAXSALES = Sales(i);/*找到销量最大的每一个部门，并做进一步处理*/8. For j=1 to DSIZE9. If Sales(j)= MAXSALES10. Then11. Begin Found:=False;/*找销量最大的职员所属部门对应的职员表中的职员并处理*/12. For k:=1 to ESIZE13. If (EMPTAB.DEPT(k)= DEPTTAB. DEPT(J))14. Then15. Begin Found:=True;/*如果该职员工资超过15000或职务是经理则加100工资，否则加200工资*/16. If (SALARY(k)>=15000.0) or (JOB(k)=”M”)17. Then18. SALARY(k):= SALARY(k)+100.0;19. Else20. SALARY(k):= SALARY(k)+200.0;21. End;/*如果找不到对应职员，则输出出错码2,否则出错码默认0*/22. If (!Found ) then ERRORCODE:=2;23. End24. End25. End用白盒测试方法设计测试用例。

白盒测试用例练习题(1)白盒测试用例练习1．为以下所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖，并画出相应的程序流程图。

voiddowork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);//语句块1}if((x==4)||(y>5)){j=x*y+10;}//语句块2j=j%3;//语句块3}k=0j=0aycx>3andz<10k=x*y-1j=sqrt(k)nbx=4eoryy>5j=x*y+10ndj=j%3由这个流程图可以窥见，该程序模块存有4条相同的路径：p1:(a-c-e)p2:(a-c-d)p3:(a-b-e)p4:(a-b-d)将里面的判定条件和过程记录如下：判定条件m＝{x>3andz<10}判定条件n={x=4ory>5}1、语句覆盖测试用例输出x=4,z=5,y=82、判定覆盖p1和p4可以做为测试用例，其中p1做为挑真的路径，p4做为row的路径。

测试用例输出x=4,z=5,y=8x=2,z=11,y=5输入k=31,j=0k=0,j=0认定m的值域认定n的值域tftf 全面覆盖路径p1(a-c-e)p4(a-b-d)输入k=31,j=0认定m的值域认定n的值域tt全面覆盖路径p1(a-c-e)也可以使测试用例测试路径p2和p3。

适当的两组输出数据如下：测试用例输出x=5,z=5,y=4x=4,z=11,y=63、条件覆盖对于m：x>3挑真时t1，取假时f1;z<10挑真时t2，取假时f2；对于n：x=4挑真时t3，取假时f3;y>5挑真时t4，取假时f4。

条件：x>3,z<10,x=4,y>5条件：x<=3,z>=10,x!=4,y<=5根据条件全面覆盖的基本思路，和这8个条件值域，女团测试用例例如表中右图:测试用例输出x=4,z=5,y=8x=3,z=11,y=5输入k=31,j=0k=0,j=0值域条件具体内容值域条件全面覆盖路径p1(a-c-e)t1，t2，t3，t4x>3,z<10,x=4,y>5输入k=19,j=sqrt(19)%3k=0,j=1认定m的值域认定n的值域tfft全面覆盖路径p2(a-c-d)p3(a-b-e)f1，f2，f3，f4x<=3,z>=10,x!=4,y<=5p4(a-b-d)4、认定/条件全面覆盖测试用例输出x=4,z=5,y=8x=3,z=11,y=5输入k=31,j=0k=0,j=0值域条件具体内容值域条件全面覆盖路径p1(a-c-e)t1，t2，t3，t4x>3,z<10,x=4,y>5f1，f2，f3，f4x<=3,z>=10,x!=4,y<=5p4(a-b-d)5、女团全面覆盖条件组合1)x>3,z<102)x>3,z>=103)x<=3,z<104)x<=3,z>=105)x=4,y>56)x=4,y<=57)x!=4,y>58)x!= 4,y<=5测试用例输出x=4,z=5,y=6x=4,z=10,y=5x=3,z=5,y=6z=3,z=10,y=56、路径全面覆盖测试用例输出x=4,z=5,y=8x=5,z=5,y=4x=4,z=11,y=6x=2,z=11,y=5输出k=31,j=0k=0,j=1k=0,j=0覆盖条件取值覆盖条件组合1,51,82,54,8覆盖路径p1(a-c-e)p2(a-c-d)p3(a-b-e)p4(a-b-d)输出k=23,j=1k=0,j=0k=14j=1k=0,j=2覆盖条件取值t1,t2,t3,t4t1,f2,t3,f4f1,t2,f3,t4f1,f2,f3,f4覆盖条件组合1,52,63,74,8覆盖路径p1(a-c-e)p2(a-c-d)p3(a-b-e)p4(a-b-d)t1，t2，t3，t4t1，f2，t3，t4f1，f2，f3，f4k=19,j=sqrt(19)%3t1，t2，f3，f4。

先看以下代码：/** 白盒测试逻辑覆盖测试范例*/int logicExample(int x, int y){int magic=0;if(x>0 && y>0){magic = x+y+10; // 语句块1}else{magic = x+y-10; // 语句块2}if(magic < 0){magic = 0; // 语句块3}return magic; // 语句块4}解答：一般做白盒测试不会直接根据源代码，而是根据流程图来设计测试用例和编写测试代码，在没有设计文档时，要根据源代码画出流程图：做好了上面的准备工作，接下来就开始讲解六个逻辑覆盖标准：一、语句覆盖1、概念：设计足够多的测试用例，使得被测试程序中的每条可执行语句至少被执行一次。

在本例中，可执行语句是指语句块1到语句块4中的语句。

2、测试用例：{x=3, y=3}可以执行到语句块1和语句块4，所走的路径：a-b-e-f{x=-3, y=0}可以执行到语句块2、语句块3和语句块4，所走的路径：a-c-d-f这样，通过两个测试用例即达到了语句覆盖的标准，当然，测试用例（测试用例组）并不是唯一的。

3、测试的充分性：假设第一个判断语句if(x>0 && y>0)中的“&&”被程序员错误地写成了“||”，即if(x>0 || y>0)，使用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖，所以语句覆盖无法发现上述的逻辑错误。

在六种逻辑覆盖标准中，语句覆盖标准是最弱的。

二、判断覆盖（分支覆盖）1、概念：设计足够多的测试用例，使得被测试程序中的每个判断的“真”、“假”分支至少被执行一次。

在本例中共有两个判断if(x>0 && y>0)（记为P1）和if(magic < 0)（记为P2）。

2、测试用例：两个判断的取真、假分支都已经被执行过，所以满足了判断覆盖的标准。

要求1：请将下列代码的程序流程图画出来。

要求2：根据案例，请设计出6种白盒测试覆盖的用例。

参考以下代码，要求：(1)画出流程图；(2)请分别设计出满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖及路径覆盖的测试用例。

如，例1：
PROCEDURE M(VAR A，B，X：REAL)；
BEGIN
IF (A>1) AND (B=0) THEN X:=X/A；
IF (A=2) OR (X>1) THEN X:=X+1；
END.
语句覆盖
A=2，B=0，X=3
分支覆盖
A=3，B=0，X=1 (沿路径acd执行)；A=2，B=1，X=3(沿路径abe执行)
条件覆盖
A=2，B=0，X=4 (沿路径ace执行)；A=1，B=1，X=1 (沿路径abd执行)。

分支条件覆盖
A=2，B=0，X=4 (沿ace路) A=1，B=1，X=1 (沿abd路径)
条件组合覆盖
①A=2，B=0，X=4
使1)、5)两种情况出现；
②A=2，B=1，X=1
使2)、6)两种情况出现；
③A=1，B=0，X=2
使3)、7)两种情况出现；
④A=1，B=1，X=1
使4)、8)两种情况出现。

湖北科技学院软件测试实验报告int k=0,j=0;if((x>3) && (z<10)){k=x*y-1;j=(int) Math.sqrt(k);}if((x==4)||(y>5))j=x*y+10;j=j%3;}public boolean doWork(int x,int y,int z){return true;}}测试程序：（1）package gy.test2;import junit.framework.*;import org.junit.Test;public class DoWorkTest1 extends TestCase { private static int x,y,z;private static DoWork dowork=new DoWork(x,y,z);public void setUp() throws Exception {}@Testpublic void testDoWork() {assertEquals(true, dowork.doWork(4, 8, 8));}}（2）package gy.test2;import static org.junit.Assert.*;import org.junit.Test;public class DoWorkTest2 {private static int x,y,z;private static DoWork dowork=new DoWork(x,y,z);public void setUp() throws Exception {}@Testpublic void testDoWork() {assertEquals(true, dowork.doWork(4, 3, 13));}}（3）package gy.test2;import static org.junit.Assert.*;import org.junit.Test;public class DoWorkTest3 {private static int x,y,z;private static DoWork dowork=new DoWork(x,y,z);public void setUp() throws Exception {}@Testpublic void testDoWork() {assertEquals(true, dowork.doWork(6, 2, 8));}}（4）package gy.test2;import static org.junit.Assert.*;import org.junit.Test;public class DoWorkTest4 {private static int x,y,z;private static DoWork dowork=new DoWork(x,y,z);public void setUp() throws Exception {}@Testpublic void testDoWork() {assertEquals(true, dowork.doWork(2, 3, 13));}}2.源程序：package gy.test;public class BinSearch {public int binSearch (int array[],int key) { int mid,low,high;low = 0;high = array.length-1;while (low <= high) {mid = (low+high)/2;if (key == array[mid])return mid;else if (key < array [mid])high = mid -1;elselow = mid+1;}return -1;}}测试程序：（1）package gy.test;import junit.framework.*;public class BinSearchTest1 extends TestCase{ private static BinSearch search= new BinSearch();private int array[] = {};public void setUp() throws Exception {}public void testBinSearch() {assertEquals(-1, search.binSearch(array, 1));}}（2）package gy.test;import junit.framework.*;public class BinSearchTest2 extends TestCase { private static BinSearch search= new BinSearch();private int array[] = {2,4,6};public void setUp() throws Exception {}public void testBinSearch() {assertEquals(1, search.binSearch(array, 4));}}（3）package gy.test;import junit.framework.*;public class BinSearchTest3 extends TestCase{ private static BinSearch search= new BinSearch();private int array[] = {2,4,6,8};public void setUp() throws Exception {}public void testBinSearch() {assertEquals(0, search.binSearch(array, 2));}}（4）package gy.test;import junit.framework.*;public class BinSearchTest4 extends TestCase {private static BinSearch search= new BinSearch();private int array[] = {2,4,6,8};public void setUp() throws Exception {}public void testBinSearch() {assertEquals(2, search.binSearch(array, 6));}}。

习题010401 逻辑路径覆盖法是白盒测试用例的重要设计方法，其中语旬覆盖法是较为常用的方法，针对下面的语句段，采用语句覆盖法完成测试用例设计，测试用例见下表，对表中的空缺项(True或者False)，正确的选择是( )。

语句段：if(A&&(B||C)) x=1；else x=0；用例表：A. ①TRUE ②FALSE ③TRUEB. ①TRUE ②FALSE ③FALSEC. ①FALSE ②FALSE ③TRUED. ①TRUE ②TRUE ③FALSE0402 针对以下程序段，对于(A,B,C)的取值，以下( )测试用例能够满足语句覆盖的要求。

IF((A+10)=2 OR (B-20)<3) THEN C=0IF((A+30)>10 AND (C-30)<0) THEN B=30A. (2,30,1)B.(-20,0,30)C. (-30,20,30)D. (2,20,3)0403 为以下程序段，设计足够的测试用例满足语句覆盖。

if (x>8&&y>5) {if(x>16||y>10) s1;}else {if (x>0||y>0) s2;else s3;0404 针对下列程序段，需要（）个测试用例才可以满足语句覆盖的要求。

switch ( value ){case 0: other = 30; break;case 1: other = 50; break;case 2: other = 300;case 3: other = other / value; break;default: other = other * value;}0405 对下面的个人所得税程序中，满足语句覆盖测试用例的是( ) 。

if (income < 800) tarrate = 0else if (income <= 1500) tarrate = 0.05else if (income < 2000) tarrate = 0.08else tarrate = 0.1A．income = (800, 1500, 2000, 2001)B．income = (800, 801, 1999, 2000)C．income = (799, 1499, 2000, 2001)0406 阅读下列流程图：当用判定覆盖法进行测试时，至少需要设计( ) 个测试用例。

1.说出静态白盒测试的几个好处
答：进行静态白盒测试的首要原因是尽早发现软件缺陷，以找出动态黑盒测试难以发现或隔离的软件缺陷。

另一个好处是给黑盒测试人员提供思路。

2.判断是非：静态白盒测试可以找出需求遗漏之处和相关问题。

答：错误，因为静态白盒测试保证程序中所有关键路径的测试,防止由于没有执行的路径在实际投入运行后执行到发生意外的情况，但无法找出需求遗漏之处和相关问题。

3.正式审查由哪些关键要素组成？
答：确定问题、遵守规则、准备、编写报告
4.为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判
定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖
语句覆盖：
判定覆盖
条件覆盖
将X>8 真为T1，假为F1 将Ｙ>5 真为T2，假为F2 将X>0 真为T3，假为F3 将Ｙ>0 真为T4，假为F4 将X>16 真为T5，假为F5 将Ｙ>10 真为T6，假为F6
判定/条件覆盖
条件组合覆盖
组合1：T1，T2 组合5：T3，T4 组合9：T5，T6 组合2：T1，F2 组合6：T3，F4 组合10：T5，F6 组合3：F1，T2 组合7：F3，T4 组合11：F5，T6 组合4：F1，F2 组合8：F3，F4 组合12：F5，F6
路径覆盖：
所有路径：a b c d e f g h k m n p
6. 按照基本路径测试方法设计测试用例
●画流图、计算环形复杂度
●导出独立路径
流图如下：。

软件测试补充练习白盒测试练习1、本流程图描述了某子程序的处理流程，现要求用白盒测试法对子程序进行测试。

根据判定覆盖、条件覆盖、判定/条件覆盖、多重条件覆盖（条件组合覆盖）、路径覆盖五种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小的测试数据组(用①-⑩表示)。

供选择的答案：①a=5 b=1②a=5 b=-1③a=5 b=1 a=-5 b=-1④a=5 b=1 a=0 b=-1⑤a=5 b=-1 a=-5 b=1 a=-5 b=-1⑥a=5 b=1 a=0 b=0 a=-5 b=-1⑦a=5 b=1 a=0 b=1 a=0 b=-1 a=-5 b=1⑧a=5 b=1 a=0 b=-1 a=-5 b=1 a=-5 b=-1⑨a=5 b=1 a=0 b=-1 a=0 b=1 a=-5 b=1a=-5 b=-1⑩a=5 b=1 a=5 b=0 a=5 b=-1 a=0 b=1 a=0 b=0 a=0 b=-1 a=-5 b=1 a=-5 b=0判定覆盖：________________条件覆盖：________________判定/条件：______________条件组合：________________路径覆盖：________________2、本流程图描述了某子程序的处理流程，现要求用白盒测试法对其进行测试。

根据判定覆盖、条件覆盖、判定/条件覆盖、多重条件覆盖（条件组合覆盖）、路径覆盖等 5 种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小的测试数据组（用①-⑩表示）。

供选择的答案：①x=90，y=90②x=50，y=50③x=90，y=90x=50，y=50④x=90，y=70x=40，y=90⑤x=90，y=90x=50，y=50x=90，y=70⑥x=90，y=70x=70，y=90x=50，y=50⑦x=90，y=90x=50，y=50x=90，y=70x=70，y=90⑧x=90，y=90x=50，y=50x=90，y=50x=80，y=80⑨x=90，y=90x=90，y=70x=70，y=90x=30，y=90x=70，y=70x=50，y=50⑩x=90，y=90x=80，y=80x=90，y=70x=90，y=30x=70，y=90x=30，y=90x=70，y=70x=50，y=50判定覆盖：________________条件覆盖：________________判定/条件：______________条件组合：________________路径覆盖：________________3、本流程图描述了某子程序的处理流程，现要求用白盒测试法为该子程序设计测试数据。

【说明】本流程图描述了某子程序的处理流程，现要求用白盒测试法为该子程序设计测试数据。

【流程图】【问题】根据判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖等5种覆盖标准，从供选择的答案中分别找出满足相应覆盖标准的最小测试数据组(用(1)～(12)回答）。

供选择的答案(1)X=90, Y=90: X=70, Y=70(2)X=90, Y=70; X=70, Y=90(3) X=90, Y=90: X=90, Y=75; X=75, Y=90(4) X=90, Y=75: X=75, Y=90: X=70, Y=70(5) X=90, Y=90: X=90, Y=75: X=75, Y=90; X=70, Y=70(6) X=80, Y=80: X=90, Y=70; X=70, Y=90; X=70, Y=70(7) X=80, Y=80: X=90, Y=75: X=90, Y=90; X=75, Y=90: X=70, Y=70(8) X=80, Y=80: X=90, Y=70: X=70, Y=90: X=70, Y=70; X=70, Y=75(9) X=80, Y=80: X=90, Y=75; X=90, Y=70: X=70, Y=80; X=70, Y=75: X=70,Y=70(I0) X=90, Y=90: X=90, Y-75; X=90, Y=70: X=75, Y=90: X=70, Y=70: X=70,Y=90(II) X=80, Y=80: X=90, Y=75; X=90, Y=70: X=70, Y-80: X=70, Y=75: X=70,Y=70: X=70,Y=90(12) X=80, Y=80: X=80, Y=70: X=70, Y=80: X=70, Y=70: X=90, Y=75: X=90,Y=70: X=70,Y=75: X=75, Y=90: X=75, Y=80; X=70, Y=90以下为C语言代码：intDoWork(int x, int y, int z){intj = 0;if (x > 3 && z < 10)j = x * y - 1;if (x == 4 || y > 5)j = x * y + 10;j = j % 3;return j；}写出分别达到语句覆盖、判定覆盖、条件覆盖、条件/判定覆盖、条件组合覆盖、路径覆盖的测试用例。

白盒测试及答案 Final approval draft on November 22, 2020
实验4 白盒测试
实验目的：
理解白盒测试的基本方法，掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略，并能应用白盒测试技术设计测试用例
实验内容：使用逻辑覆盖测试方法测试以下程序段
说明：程序段中每行开头的数字（1~10）是对每条语句的编号。

（1）画出程序的控制流图（用题中给出的语句编号表示）。

（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。

1、绘制出程序流程图
2、绘制控制流图
3、设计测试用例：
（1）语句覆盖
(4,5,6)
（2）判定覆盖
1.(4,5,6)—TT (2,4,6)--NN
2.(5,4,6)—TN (2,6,5)--NT
（3）条件覆盖
(4,6,5)
（4）判定/条件覆盖
（5）条件组合覆盖
（6）路径覆盖。

白盒測試用例練習1．為以下所示の程序段設計一組測試用例，要求分別滿足語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、組合覆蓋和路徑覆蓋，並畫出相應の程序流程圖。

void DoWork (int x,int y,int z){int k=0,j=0;if ( (x>3)&&(z<10) ){ k=x*y-1;j=sqrt(k); //語句塊1}if ( (x==4)||(y>5) ){j=x*y+10;} //語句塊2j=j%3; //語句塊3}由這個流程圖可以看出，該程序模塊有4條不同の路徑：P1:(a-c-e) P2:(a-c-d)P3:(a-b-e) P4:(a-b-d)將裏面の判定條件和過程記錄如下：判定條件M＝{x>3 and z<10}判定條件N={x=4 or y>5}1、語句覆蓋2、判定覆蓋也可以讓測試用例測試路徑P2和P3。

相應の兩組輸入數據如下：3、條件覆蓋對於M：x>3取真時T1，取假時F1;z<10取真時T2，取假時F2；對於N：x=4取真時T3，取假時F3;y>5取真時T4，取假時F4。

條件：x>3,z<10,x=4,y>5條件：x<=3,z>=10,x!=4,y<=55、組合覆蓋條件組合1)x>3,z<10 2)x>3,z>=103) x<=3,z<10 4)x<=3,z>=105)x=4,y>5 6)x=4,y<=56題目二：三角形問題在三角形計算中，要求輸入三角型の三個邊長：A、B 和C。

當三邊不可能構成三角形時提示錯誤，可構成三角形時計算三角形周長。

若是等腰三角形打印“等腰三角形”，若是等邊三角形，則提示“等邊三角形”。

畫出程序流程圖、控制流程圖、計算圈複雜度V(g)，找出基本測試路徑。

一、核心程序代碼/** 判斷三角形の類*/public class TriangleTestMethod {/** 判斷三角形の種類。

选择题1．在下面说列举的逻辑测试覆盖中，测试覆盖最强的是。

A．条件覆盖 B．条件组合覆盖 C．语句覆盖 D．判定/条件覆盖答案：B2．在下面说列举的逻辑测试覆盖中，测试覆盖最弱的是。

A．条件覆盖 B．条件组合覆盖 C．语句覆盖 D．判定/条件覆盖答案：C3．对下面的个人所得税程序中，满足判定覆盖测试用例的是。

if (income < 800) tarrate = 0 ;else if (income <= 1500) tarrate = 0.05 ;else if (income < 2000) tarrate = 0.08 ;else tarrate = 0.1 ;A．income = (799, 1500, 1999, 2001) B．income = (799, 1501, 2000, 2001)C．income = (800, 1500, 2000, 2001) D．income = (800, 1499, 2000, 2001)4．对下面的个人所得税程序中，满足语句覆盖测试用例的是。

if (income < 800) tarrate = 0 ;else if (income <= 1500) tarrate = 0.05 ;else if (income < 2000) tarrate = 0.08 ;else tarrate = 0.1 ;A．income = (800, 1500, 2000, 2001) B．income = (800, 801, 1999, 2000)C．income = (799, 1499, 2000, 2001) D．income = (799, 1500, 1999, 2000)5. 阅读下面流程图当使用判定覆盖法进行测试时，至少需要设计个测试用例。

A．2 B. 4 C. 6 D. 86. 以下图2所示控制流程图（程序图）的环复杂度V(G)等于。