# 结构性测试

结构性测试

*西南科技大学计算机科学与技术学院*

2018-2019学年 第2学期

*《软件测试技术》实验报告*

实验名称： 结构性测试

组号
专业	学号	姓名
信安1604	5120160140	刘力铭

报告时间： 2019-5-20

任课教师： 潘 娅

成 绩：

一、实验目的

1、能熟练应用白盒测试方法(逻辑覆盖) 进行测试用例设计

2、评价测试覆盖率，对测试用例进行优化设计

3、熟悉代码静态分析方法和工具

二、实验内容

1、题目内容描述（指定程序代码测试）：

（1）分别以语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖、基路径测试

方法设计测试用例。
（2）使用 JUnit 编写测试用例，并采用参数化设置测试多种覆盖。

（3）使用 EclEmma 查看测试覆盖率。

2、测试用例的设计、实现与执行

【详细测试用例见源码，请单独在对分易上提交java源码文件】

程序流程图和控制流图如下：

（1）语句覆盖

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
1	语句覆盖类路径为1-2-3-4-5-6-8-9-10	等价类、边界值、特殊值	x=5，y=6，z=6，预测结果=1	P

【可在此附上实验过程截图，同时请注明截图内容】

1号测试用例正确的截图和源代码显示情况：

（2）判定覆盖

在上述程序段中，x>3取真值时记为2T，x>3取假值时即x<=3记为2F;

z<10取真值时记为3T，z<10取假值时即z>=10记为3F;

x4取真值时记为6T，x4取假值时即x!=4记为6F;

y>5取真值时记为7T，y>5取假值时即y<=5记为7F;

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
2	判定覆盖类分支为2T-3T-6T-7T	等价类、边界值、特殊值	x=4，y=6，z=7，预测结果=1	P
3	判定覆盖类分支为2F-3F-6F-7F	等价类、边界值、特殊值	x=1，y=4，z=10，预测结果=0	P

2，3号测试用例正确的截图和源代码显示情况:

（3）条件覆盖

在上述程序段中，x>3取真值时记为2T，x>3取假值时即x<=3记为2F;

z<10取真值时记为3T，z<10取假值时即z>=10记为3F;

x4取真值时记为6T，x4取假值时即x!=4记为6F;

y>5取真值时记为7T，y>5取假值时即y<=5记为7F;

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
4	覆盖条件为2T-3F-6T-7F	等价类、边界值、特殊值	x=4，y=5，z=15，预测结果=0	P
5	覆盖条件为2F-3T-6F-7T	等价类、边界值、特殊值	x=2，y=7，z=5，预测结果=0	P

4、5号测试用例的执行情况(发现源代码的语句都没有执行完):

（4）判定-条件覆盖

在上述程序段中，x>3取真值时记为2T，x>3取假值时即x<=3记为2F;

z<10取真值时记为3T，z<10取假值时即z>=10记为3F;

x4取真值时记为6T，x4取假值时即x!=4记为6F;

y>5取真值时记为7T，y>5取假值时即y<=5记为7F;

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
6	覆盖条件为2F-3F-6F-7F覆盖分支为2F-3F-6F-7F	等价类、边界值、特殊值	x=2，y=5，z=15，预测结果=0	P
7	覆盖条件为2T-3T-6T-7T覆盖分支为2T-3T-6T-7T	等价类、边界值、特殊值	x=4，y=7，z=5，预测结果=2	P

6，7号测试用例正确的截图和源代码显示情况:

（5）条件组合覆盖

在上述程序段中，x>3取真值时记为2T，x>3取假值时即x<=3记为2F;

z<10取真值时记为3T，z<10取假值时即z>=10记为3F;

x4取真值时记为6T，x4取假值时即x!=4记为6F;

y>5取真值时记为7T，y>5取假值时即y<=5记为7F;

编号	具体条件组合	覆盖条件	判定取值
1	x>3	2T	第一个判定取真分支
2	x<=3	2F	第一个判定取假分支
3	z<10	3T	第二个判定取真分支
4	Z>=10	3F	第二个判定取假分支
5	x==4	6T	第三个判定取真分支
6	x!=4	6F	第三个判定取假分支
7	y>5	7T	第四个判定取真分支
8	y<=5	7F	第四个判定取假分支

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
8	覆盖条件为2T-3T-6T-7T覆盖分支为2T-3T-6T-7T	等价类、边界值、特殊值	x=4，y=6，z=5，预测结果=1	P
9	覆盖条件为2T-3F-6F-7F覆盖分支为2T-3F-6F-7F	等价类、边界值、特殊值	x=4，y=5，z=15，预测结果=0	P
10	覆盖条件为2F-3T-6F-7T覆盖分支为2F-3T-6F-7T	等价类、边界值、特殊值	x=2，y=6，z=5，预测结果=1	P
11	覆盖条件为2F-3F-6F-7F覆盖分支为2F-3F-6F-7F	等价类、边界值、特殊值	x=2，y=5，z=15，预测结果=0	P

8，9，10，11号测试用例正确的截图和源代码显示情况:

（6）路径覆盖

在上述程序段中，x>3取真值时记为2T，x>3取假值时即x<=3记为2F;

z<10取真值时记为3T，z<10取假值时即z>=10记为3F;

x4取真值时记为6T，x4取假值时即x!=4记为6F;

y>5取真值时记为7T，y>5取假值时即y<=5记为7F;

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
12	覆盖路径为1-2-3-4-5-6-8-9-10	等价类、边界值、特殊值	x=4，y=6，z=6，预测结果=1	P
13	覆盖路径为1-2-6-7-8-9-10	等价类、边界值、特殊值	x=3，y=6，z=6，预测结果=1	P
14	覆盖路径为1-2-3-6-7-9-10	等价类、边界值、特殊值	x=5，y=5，z=10，预测结果=0	P

12，13，14号测试用例正确的截图和源代码显示情况:

（7）基路径覆盖

在上述程序段中，x>3取真值时记为2T，x>3取假值时即x<=3记为2F;

z<10取真值时记为3T，z<10取假值时即z>=10记为3F;

x4取真值时记为6T，x4取假值时即x!=4记为6F;

y>5取真值时记为7T，y>5取假值时即y<=5记为7F;

用例编号	用例类名称	测试方法	测试数据组数	执行（P/F）
15	独立路径为1-2-3-4-5-6-8-9-10	等价类、边界值、特殊值	x=4，y=6，z=6，预测结果=1	P
16	独立路径为1-2-3-4-5-6-7-8-9-10	等价类、边界值、特殊值	x=5，y=6，z=1，预测结果=1	P
17	独立路径为1-2-3-4-5-6-7-9-10	等价类、边界值、特殊值	x=5，y=2，z=5，预测结果=0	P
18	独立路径为1-2-3-6-7-9-10	等价类、边界值、特殊值	x=5，y=5，z=10，预测结果=0	P
19	独立路径为1-2-6-7-8-9-10	等价类、边界值、特殊值	x=3，y=6，z=6，预测结果=1	P

15,16,17,18,19号测试用例正确的截图和源代码显示情况:

3、bug清单

【报告中分版本罗列简要BUG清单（附BUG截图）】

BUG编号	BUG描述	关联用例编号	BUG等级	修正T/F

【可在此附上实验过程截图及BUG截图，同时请注明截图内容】

4、测试覆盖率分析

【请分析各个类的代码覆盖率情况，静态检查情况等，可以截图说明】

语句覆盖的代码覆盖率：

判定覆盖的代码覆盖率：

条件覆盖的代码覆盖率：

判定-条件覆盖的代码覆盖率：

条件组合覆盖的代码覆盖率：

路径覆盖的代码覆盖率：

基路径覆盖的代码覆盖率：

5、思考题：

• 使用公式 e-n+p/e-n+2p 确定的 McCabe 基路径与实际分析的是否完全一致？

答：完全一致。

• DD-路径和 MM-路径的区别与联系。

  定义：

  DD-路径：程序图中的一条链，使得： 情况1：由一个节点组成，内度=0。情况2：由一个节点组成，外度=0。 情况3：由一个节点组成，内度≥2或外度≥2。情况4：由一个节点组成，内度=1并且外度=1。 情况5：长度≥1的最大链。

  MM-路径：图G的圈数由V(G)=e-n＋p给定，其中： e是G中的边数。n是G中的节点数。 p是G中的组件数。V(G)是图中不同区域的个数。

  区别和联系：

  DD-路径:该测试方法的突出特点，是它们都基于被测程序的源代码，而不是基于定义。

  MM-路径:通过定义加法和标量乘法的概念，强制使其看起来像向量空间：路径加法就是一条路径后接另一条路径，乘法对应于路径的重复。一、测试基路径集合是充分的（它不是）二、向量运算用于程序路径的表达上，没有意义。

6、实验关键代码

源代码：

package lab1_1;

public class Exam11 {

​ public double dowork(int x, int y, int z)

​ {

​ double k = 0, j = 0;

​ if ((x > 3) && (z < 10)) {

​ k = x * y - 1;

​ j = Math.sqrt(k);

​ }

​ if ((x == 4) || (y > 5))

​ j = x * y + 10;

​ j = j % 3;

​ return j;

​ }

}

测试代码：

package lab1_1;

import static org.junit.Assert.*;

import java.util.Arrays;

import java.util.Collection;

import org.junit.After;

import org.junit.Before;

import org.junit.Test;

import org.junit.runners.Parameterized.Parameters;

import org.junit.After;

import org.junit.Assert;

import org.junit.Before;

import org.junit.Test;

import java.util.Arrays;

import java.util.Collection;

import org.junit.Before;

import org.junit.Test;

import org.junit.runner.RunWith;

import org.junit.runners.Parameterized;

import org.junit.runners.Parameterized.Parameters;

import org.junit.Test;

@RunWith(Parameterized.class)

public class Exam11Test {

​

​ int testA;

​ int testB;

​ int testC;

​ double testExp;

​

​ public Exam11Test(int a, int b, int c, double exp)

​ {

​ testA = a;

​ testB = b;

​ testC = c;

​ testExp = exp;

​ }

​

​ @Parameters

​ public static Collection data(){

​ return Arrays.asList(new Object[][]{

​ {4,6,6,1},

​ {5,6,1,1},

​ {5,2,5,0},

​ {5,5,10,0},

​ {3,6,6,1}

​ });

​ }

​ private double DELTA = 1e-15;

​ Exam11 testObject;

​ @Before

​ public void setUp() throws Exception {

​ testObject = new Exam11();

​ }

​ @After

​ public void tearDown() throws Exception {

​ }

​ @Test

​ public void testDowork() {

​ double act=testObject.dowork(testA, testB, testC);

// System.out.print(act);

​ assertEquals(testExp, act, DELTA);

​ }

}