第3次实验逻辑覆盖测试(软件工程)

软件测试实验报告

实验题目：白盒测试技术之逻辑覆盖测试

姓名：祁兆彧

学号：1012210142

班级：11计本1

指导老师：蒋平

一、实验介绍

1.实验技术

逻辑覆盖是白盒测试总动态测试的主要方法之一，是以程序内部的逻辑结构为基础的测试技术，是通过对程序逻辑结构的遍历实现程序测试的覆盖。逻辑覆盖的类型主要包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和条件组合覆盖。

2.实验对象

Function js(float A,float B,float X)

{

if(A>1 && B=0) X=X/A;

if(A=2||X>1) X=X+1;

printf(‘%.2f’,X);//输出时候保留两位小数

}

二、测试用例设计

程序流程图如下：

程序中共有4个判断条件：A>1、B=0、A=2和X>1，用T1、T2、T3和T4分别表示4个条件为真，同理，用F1、F2、F3和F4分别表示4个条件为假。

1.语句覆盖

满足条件测试用例{A,B,X} 预期路径预期输出

T1，T2，T4 {4,0,5} a-c-e 2.25

2.判定覆盖

满足条件测试用例{A,B,X} 预期路径预期输出T1，T2，F3，F4 {3,0,1} a-c-d 0.33

F1，T4 {-1,-2,10} a-b-e 3

3.条件覆盖

满足条件测试用例{A,B,X} 预期路径预期输出T1，T2，T3，T4 {2,0,4} a-c-e 3

F1，F2，F3，F4 {1,1,1} a-b-d 1

4.条件判定组合覆盖

满足条件测试用例{A,B,X} 预期路径预期输出T1，T2，T3，T4 {2,0,4} a-c-e 3

F1，F2，F3，F4 {1,1,1} a-b-d 1

5.条件组合覆盖

满足条件测试用例{A,B,X} 预期路径预期输出T1，T2，T3，T4 {2,0,4} a-c-e 3

T1，F2，T3，F4 {2,1,0} a-b-e 1

F1，T2，F3，T4 {0,0,3} a-b-e 4

F1，F2，F3，F4 {-1,2-1} a-b-d -1

三、实验结果

1.语句覆盖

输入输出

A=4 ,B=0 ,X=5 2.25

2.判定覆盖

输入输出

A=3 ,B=0 ,X=1 0.33

A=-1 ,B=-2 ,X=10 3

3.条件覆盖

输入输出

A=2 ,B= 0,X=4 3

A=1 ,B=1 ,X=1 1

4.条件判定组合覆盖

输入输出

A=2 ,B=0 ,X=4 3

A=1 ,B=1 ,X=1 1

5.条件组合覆盖

输入输出

A=2 ,B=0 ,X=4 3

A=2 ,B=1 ,X=0 1

A=0 ,B=0 ,X=3 4

A=-1 ,B=2 ,X=-1 -1

四、心得与体会

通过本次实验，我知道了白盒测试的基本方法，同时发现只要T1,T2,T3,T4全部正确，不管他们如何改变数据，路径都是a--c--e。