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

2022-06-17 07:27:13 文档大全网 [ 字体：小中大 ] [ 阅读： ]

【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《太原理工大学软件测试方法和技术实验报告》，欢迎阅读！
太原,软件测试,理工,实验,方法
精品文档

太原理工大学学生实验报告

学院名称学生姓名课程名称

计算机科学与技术专业班级学号

软件工程实验成绩

实验日期

使用白盒测试方法测试程序段

软件测试方法和技术实验题目

一、实验目的

通过实验主要掌握用白盒法中的逻辑覆盖测试技术设计测试用例以及测试流程图的绘制。、实验内容

测试以下程序段

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）是对每条语句的编号。

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）判定覆盖按照判定覆盖的用例使得程序中每个判断的取真和取假分支至少经历一次，即判

断真假值均曾被满足。 L1 和 L4 可以作为测试用例。

输入

输入L1 作为取真的路径： {x=4,y=7,z=8} ，输出 {k=27,j=2}

L4 作为取假的路径： {x=3,y=2,z=14} ，输出 {k=0,j=0}

3）条件覆盖对于第一个判定条件条件条件条件条件根据条件覆盖的用例要使每个

可以分割如下：组合成测试用例。 2，判断中每个条件的可能取值至上满足一次。和这

x>0 ：取真（ TRUE ）时 z<10：取真，输入： x=4, y=4, z=12 取值条件 T1,F2,T3,F4 通过路径 P3 输入： x=-2, y=7, z=8 为 T1取假（ FALSE ）时为 F1；

取值条件 F1,T2,F3,T4 （ TRUE ）通过路径x==4 ：取真（ TRUE ） P3 4）判定 - 条件覆盖时为 T2，取假（ FALSE ）时为 F2；

y>5 ：取真（ TRUE ）时为 T3，按照判定-条件覆盖的用例使得判断条件中的所有条件可能至少执行一次取值同取假（ FALSE ）时为 F3；

时，的可能结果至少执行执行一次。保证 8 个条件取值至少执行一次，同时判定条时为 T4，取假（ FALSE ）时为 F4；

件少一次。

输入： x=4, y=8, z=2 取值条件 T1,T2,T3,T4 判定条件 2， 3通过路径 P1 输入：

x=-2, y=3, z=14 取值条件

5）条件组合覆盖条件条件条件 F1,F2,F3,F4判定条件 /2, /3 通过路径 P4

时为 T1，取假时为 F1； x>0 ：取真

z<10：（ TRUE ）取时为 T2，（ FALSE ）取时为 F2；

8 个条件取

值，

所有的判断

2、3 各取真假至

取真取假

TRUE ） FALSE ）取真取假条件 y>5 ：（时为 T4（时为 F4；

，（ FALSE ）（ TRUE ）

按照条件组合覆盖的基本思想：设计足够的测试用例，使得判断中每个条件的所有可能

至少出

现一次，并且每个判断本身的判定结果也至少出现一次。设计组合条件表如下：

覆盖条件取值

组合编号判段条件取值判定-条件组合为真 1 T1, T2 2 x>0, z<10, 2

x==4：真（ TRUE ）时为 T3，假（ FALSE ）时为 F3；

为假

2 3

T1, F2 F1, T2

/2 /2

x>0, z >=10,2

为假

x<=0, z<10, 2

精品文档

精品文档

为假为真为真为真为假

4

5

F1, F2 T3, T4 T3, F4 F3, T4 F3, F4

/2 7 7 7 /7

x<=0, z>=10, 2 x==4, y>5, 7 x==4, y<=5, 7 x!=4, y>5, 7 x!=4, y<=5, 7

6

7

8

设计覆盖这些组合的测试用例如下：

输入： 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 覆盖路径 L4 覆盖组合 4,8

四、实验心得：通过这次的实验我详细的了解了白盒测试方法中的逻辑覆盖技术，使用这种

技术能够帮我们提高软件测试的效率和准确度。最为一名软件工程专业的学生这样的技术是十分必要的。

实验室名称指导教师签名：

精品文档