实验三-逻辑测试--实验报告(共5页).doc
精选优质文档-倾情为你奉上一、 实验目的 理解白盒测试的基本方法，掌握语句覆盖、分支覆盖、条件覆盖、路径覆盖等代码覆盖测试策略，并能应用白盒测试技术设计测试用例二、 实验内容 1题目一：使用逻辑覆盖测试方法测试以下程序段（必做）void DoWork (int x,int y,int z)1 int k=0, j=0;2 if ( (x>3)&&(z<10) )3 4 k=x*y-1;5 j=sqrt(k);6 7 if(x=4)|(y>5)8 j=x*y+10;9 j=j%3;10 说明：程序段中每行开头的数字（110）是对每条语句的编号。（1）画出程序的控制流图（用题中给出的语句编号表示）。（2）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示）。（3） 为各测试路径设计测试用例。三、 实验步骤题目一：使用逻辑覆盖测试方法测试以下程序段（必做）1、绘制出程序流程图，如图1； k = x*y - 1；j = sqrt(k)；(x = = 4) or ( y > 5)j = x*y + 10;j = j % 3;结束开始k=0，j=0；( x>3)and ( z<10 )TrueTrueFalseFalse 图 1 题目1的程序流程图 2、绘制控制流图，如图2； 56789101234 图 2 题目1 的控制流图3、设计测试用例：（1） 语句覆盖：语句覆盖是设计足够的测试用例使程序中的每一条可执行语句至少执行一次。这题中，两个if语句的判定之后，只要确保使两个判定都为真，那么所有的执行语句就都可以执行了，即可达到语句覆盖的要求。所以设计的测试用例如下： x = 4 , y = 6 , z = 8 。 这组测试用例的执行路径是12345678910 （2） 判定覆盖：判定覆盖要求程序中每个判断的取真分支和取假分支至少经历一次。这题中，有两个判定语句，至少需要设计两组测试用例，才能分别覆盖两个if语句的真分支和假分支。所以设计的测试用例如下：用例1：x = 4 , y = 6 , z = 8 ， 其执行路径是12345678910 ；用例2：x = 3 , y = 5 , z = 8 , 其执行路径是12367910。（3） 条件覆盖：条件覆盖要求每个判断中每个条件的可能取值至少要满足一次。这道题目中的条件有四个，分别如下： x > 3 ； z < 10 ； x = = 4 ； y > 5 ；设计用例时要使每个条件分别取真和取假。设计的测试用例如下表。测试用例编号测试数据覆盖条件执行路径1x=3,y=8,z=8假真假真1-2-3-6-7-8-9-102x=4,y=5,z=13真假真假1-2-3-6-7-8-9-10（4） 判定/条件覆盖：判定/条件覆盖要求判断中每个条件的所有可能至少出现一次，并且每个判断本身的可能判定结果也至少出现一次。题目中的条件有四个，分别如下： x > 3 ； z < 10 ； x = = 4 ； y > 5 ；该程序中的分支有四个 。所以设计的测试用例如下表所示：测试用例编号测试数据覆盖条件执行路径1x=4,y=8,z=8真真真真1-2-3-4-5-6-7-8-9-102x=3,y=5,z=13假假假假1-2-3-6-7-9-10（5） 条件组合覆盖：条件组合覆盖要求每个判定的所有可能条件取值组合至少执行一次。这道题目中共有四个条件分别如下： x > 3 ； z < 10 ； x = = 4 ； y > 5 ；设定x > 3 为真时，记作T1 ；为假时，即x 3 , 记作F1 ；z < 10为真时，记作T2 ；为假时，即z 10 , 记作F2 ；x = = 4为真时，记作T3 ；为假时，即x 4 , 记作F3 ；y > 5为真时，记作T4 ； 为假时，即y 5 , 记作F4 。条件组合如下表：编号具体条件取值覆盖条件判定取值1x > 3 ， z < 10T1，T2第一个判定：取真分支2x > 3 ， z 10T1，F2第一个判定：取假分支3x 3 ，z < 10F1，T2第一个判定：取假分支4x 3 ，z 10F1，F2第一个判定：取假分支5x = = 4 ，y > 5T3，T4第二个判定：取真分支6x = = 4 ，y 5T3，F4第二个判定：取真分支7x 4 ， y > 5F3，T4第二个判定：取真分支8x 4 ， y 5F3，F4第二个判定：取假分支设计的测试用例如下：测试用例编号测试数据覆盖条件执行路径1x = 4 , y = 8 , z = 8T1,T2,T3,T41-2-3-4-5-6-7-8-9-102x = 4 , y = 3 , z = 13T1,F2,T3,F41-2-3-6-7-8-9-103x = 2 , y = 8 , z = 8F1,T2,F3,T41-2-3-6-7-8-9-104x = 2 , y = 3 , z = 13F1,F2,F3,F41-2-3-6-7-9-10（6） 路径覆盖：路径覆盖要求覆盖程序中所有可能的路径。这道题中可能的执行路径共有4条，所以需要设计4个测试用例： 测试用例编号测试数据执行路径1x = 4 , y = 8 , z = 81-2-3-4-5-6-7-8-9-102x = 4 , y = 3 , z = 131-2-3-6-7-8-9-103x = 6 , y = 2 , z = 81-2-3-4-5-6-7-9-104x = 2 , y = 3 , z = 131-2-3-6-7-9-10四、 实验心得1、 白盒测试与程序内部结构相关，因此也称为结构测试或逻辑驱动测试。而在进行白盒测试时，测试者必须检查程序的内部结构，从程序的逻辑结构着手，得出测试数据。因此测试者需要了解程序结构的实现细节等知识，才能有效进行测试用例的设计工作。2、 白盒测试并不是简单地按照代码设计测试用例，而是需要根据不同的测试需求，结合不同的测试对象，使用合适的方法进行测试。而白盒测试的方法也很多，主要方法有逻辑覆盖测试、基本路径测试等。3、 通过这次实验，我了解到绘制程序流程图与控制流图之间的区别，并且能够通过控制流图来用各种方式设计测试用例。专心-专注-专业
