太原理工大学软件测试方法和技术实验报告

1、精品文档太原理工大学学生实验报告学院名称计算机科学与技术专业班级软件工程实验成绩学生姓名学号实验日期课程名称软件测试方法和技术实验题目使用白盒测试方法测试程序段一、实验目的通过实验主要掌握用白盒法中的逻辑覆盖测试技术设计测试用例以及测试流程图的绘制。 、实验内容测试以下程序段Void DoWork(int x,int y,int z) 1 int k=0,j=0;2 if(x>0)&&(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 三、实验要求1-10）是对每条语句的编号

2、。说明：程序段中每行开头的数字(a 画出程序的控制流图（用题中给出的语句编号表示）b 分别用语句覆盖、判定覆盖、条件覆盖、判定/ 条件覆盖、条件组合覆盖和路径覆盖方法设计测试用例，并写出每个测试用例的执行路径（用题中给出的语句编号表示） 。1）语句覆盖从流程图看出，程序具有 4 条路径：L1：（ a-b-d）精品文档精品文档L2：（ a-b-e）L3：（ a-c-d）L4：（ a-c-e）L1 包含了所有可执行的语句，用例应该使程序中的每个可执行语句至少执行一次。可以使用 L1 来设计测试用例。覆盖 L1 路径：输入 x=3,y=7,z=7 ，输出 k=20 ， j=1 。2）判定覆盖 按照判

3、定覆盖的用例使得程序中每个判断的取真和取假分支至少经历一次，即判断真假值均曾 被满足。 L1 和 L4 可以作为测试用例。输入输入L1 作为取真的路径：L4 作为取假的路径：3）条件覆盖 对于第一个判定条件 条件 条件 条件 条件 根据条件覆盖的用例要使每个判断中每个条件的可能取值至上满足一次。和这 组合成测试用例。输入： x=4, y=4, z=12 取值条件 T1,F2,T3,F4 通过路径 P3 输入： x=-2, y=7, z=8 取值条件 F1,T2,F3,T4 通过路径 P3 4）判定 - 条件覆盖按照判定 -条件覆盖的用例使得判断条件中的所有条件可能至少执行一次取值同时， 的可能

4、结果至少执行执行一次。保证 8 个条件取值至少执行一次，同时判定条件 少一次。输入： x=4, y=8, z=2 取值条件 T1,T2,T3,T4 判定条件 2， 3通过路径 P1 输入： x=-2, y=3, z=14 取值条件5）条件组合覆盖 条件 条件 条件x=4,y=7,z=8 ，输出 k=27,j=2x=3,y=2,z=14 ，输出 k=0,j=0可以分割如下： x>0 ：取真（ TRUE ） z<10：取真（ TRUE ） x=4 ：取真（ TRUE ） y>5 ：取真（ TRUE ）2，时为 时为 时为 时为T1，T2，T3，T4，取假（ FALSE ） 取假（

5、 FALSE ） 取假（ FALSE ） 取假（ FALSE ）时为 时为 时为 时为F1；F2；F3；F4；8 个条件取值，所有的判断2、3 各取真假至条件F1,F2,F3,F4判定条件 /2, /3 通过路径 P4x>0 ： z<10： x=4：取真（ TRUE ） 取真（ TRUE ） 取真（ TRUE ）时为时为时为T1，T2，T3，取假（ FALSE ） 取假（ FALSE ） 取假（ FALSE ）时为 时为 时为F1；F2；F3；y>5 ：取真（ TRUE ）时为T4，取假（ FALSE ）时为F4；组合编号覆盖条件取值判段条件取值判定-条件组合1T1, T22

6、x>0, z<10, 2为真2T1, F2/2x>0, z >=10,2为假3F1, T2/2x<=0, z<10, 2为假按照条件组合覆盖的基本思想：设计足够的测试用例，使得判断中每个条件的所有可能至少出现一次，并且每个判断本身的判定结果也至少出现一次。设计组合条件表如下：精品文档精品文档4F1, F2/2x<=0, z>=10, 2为假5T3, T47x=4, y>5, 7为真6T3, F47x=4, y<=5, 7为真7F3, T47x!=4, y>5, 7为真8F3, F4/7x!=4, y<=5, 7为假设计覆盖

7、这些组合的测试用例如下：输入： x=4,y=6,z=7 覆盖条件 T1,T2,T3,T4 覆盖路径 L1 覆盖组合 1, 5 输入： x=4,y=3,z=12 覆盖条件 T1,F2,T3,F4 覆盖路径 L3 覆盖组合 2, 6 输入： x=4,y=3,z=12 覆盖条件 F1,T2,F3,T4 覆盖路径 L3 覆盖组合 3, 7 输入： x=-4,y=2,z=14 覆盖条件 F1,F2,F3,F4 覆盖路径 L4 覆盖组合 4, 8 6）路径覆盖按照路径覆盖的测试用例覆盖程序中的所有可能执行路径。测试用例如下： 输入： x=4,y=6,z=7 覆盖条件 T1,T2,T3,T4 覆盖路径 L1 覆盖组合 1,5 输入： x=4,y=3,z=3 覆盖条件 T1,T2,F3,F4 覆盖路径 L2 覆盖组合 1,8 输入： x=-3,y=8,z=8 覆盖条件 F1,T2,F3,T4 覆盖路径 L3 覆盖组合 3,7 输入： x=-4,y=2,z=14 覆盖条件 F1,F2,F3,F4 覆盖路