软件验证与确认实验二-单元测试

目录

[1. 实验目的及要求.................................................................................................... 3](#1. 实验目的及要求.................................................................................................... 3)

[2. 实验软硬件环境.................................................................................................... 3](#2. 实验软硬件环境.................................................................................................... 3)

[3. 实验原理................................................................................................................ 3](#3. 实验原理................................................................................................................ 3)

[4. 实验过程................................................................................................................ 3](#4. 实验过程................................................................................................................ 3)

[4.1. 方法.............................................................................................................. 3](#4.1. 方法.............................................................................................................. 3)

[4.2. 步骤.............................................................................................................. 3](#4.2. 步骤.............................................................................................................. 3)

[5. 实验结果................................................................................................................ 4](#5. 实验结果................................................................................................................ 4)

[5.1. 分析与讨论.................................................................................................. 4](#5.1. 分析与讨论.................................................................................................. 4)

[5.2. 总结.............................................................................................................. 5](#5.2. 总结.............................................................................................................. 5)

一、实验目的及要求

理解四种测试设计准则:输入域、图、逻辑表达式、语义结构。

理解常用基于结构的覆盖准则:语句覆盖、分支覆盖、MC/DC覆盖。

被测程序(Program under test,PUT)应满足分支覆盖。

二、实验软硬件环境

软件环境:操作系统OS为windows 10,Java开发套件为JDK 1.8.0,集成开发环境IDE为Eclipse 2020.3,单元测试框架为Junit 5.6.0。

硬件环境:CPU为i7-10450H7 @ 2.40GHz 3.42 GHz,内存为16G,硬盘为1TB+512GB,显卡为Intel(R) lris(R) Xe Graphics.

三、实验原理

分支覆盖:PUT的全部判定表达式结果true/false应至少各取一次。

四、实验过程

4.1方法

(1)抽象设计:采用基于图结构的设计准则,先依据程序结构绘制控制流图,然后分析判定表达式确定条件取值,完成测试用例的设计。

(2)实现设计:依据条件取值,分析其输入变量的关系,为输入变量设计合理的变量值,编写测试脚本,执行测试,检查覆盖率,如不满足则分析原因、增加测试用例,直至满足覆盖准则。

4.2步骤

PUT为Java编写的Math函数pow。

图1 为该函数的控制流图。

1 pow 函数控制流图

依据图1,判定表达式有1个,编号如下:

(1)判定表达式E1由条件C1:i<=b构成,C1取true时E1为true,C1取false时E1为false;

根据上一步各条件取值,输入变量取值如下:

(1)C1:true,输入I1=2, I2=3;

(2)C1:false,输入I1=2,I2=0

五、实验结果

(1)测试用例设计:共设计测试用例2个,如表1所示。

表 1 测试用例设计结果

|----|-------|-------|----|----|----------|
| 序号 | E1 | C1 | I1 | I2 | Expected |
| 1 | TRUE | TRUE | 2 | 3 | 8 |
| 2 | FALSE | FALSE | 2 | 0 | 1 |

(2)编写测试代码:测试脚本按照3A基本步骤,测试用例代码如图2所示

Arrange:初始化被测类、输入、预期值

Act:调用被测方法

Assert:断言,检查被测方法的实际结果或行为是否符合预期

图2 测试代码实列

(3)测试执行:通过测试用例管理器查看测试用例是否全部通过

图3 测试运行结果

(4)覆盖率如图4所示,达到100%分支覆盖。

图4 覆盖率

5.1分析与讨论

对于C1,只要为false,因为存在逻辑与短路,则E1就为false,E1为false,直接输出result=1;当C1为true,E1为true,先进行result*=a运算,后i++,再循环判断C1:i<=b是否成立。

5.2总结

被测函数pow共有1个判定表达式,包含1个条件表达式,共设计2条测试用例,由于该被测pow函数只考虑整数int型的正指数的求值,对于整数的负次方没有测试和考虑,达到100%分支覆盖。即该函数只覆盖了正整数指数和零指数的分支,没有覆盖负指数的分支

相关推荐
XH华7 分钟前
初识C语言之二维数组(下)
c语言·算法
南宫生28 分钟前
力扣-图论-17【算法学习day.67】
java·学习·算法·leetcode·图论
不想当程序猿_40 分钟前
【蓝桥杯每日一题】求和——前缀和
算法·前缀和·蓝桥杯
落魄君子1 小时前
GA-BP分类-遗传算法(Genetic Algorithm)和反向传播算法(Backpropagation)
算法·分类·数据挖掘
菜鸡中的奋斗鸡→挣扎鸡1 小时前
滑动窗口 + 算法复习
数据结构·算法
Lenyiin1 小时前
第146场双周赛:统计符合条件长度为3的子数组数目、统计异或值为给定值的路径数目、判断网格图能否被切割成块、唯一中间众数子序列 Ⅰ
c++·算法·leetcode·周赛·lenyiin
郭wes代码1 小时前
Cmd命令大全(万字详细版)
python·算法·小程序
scan7241 小时前
LILAC采样算法
人工智能·算法·机器学习
美团测试工程师2 小时前
九大高效的前端测试工具与框架
软件测试·测试工具·jmeter
菌菌的快乐生活2 小时前
理解支持向量机
算法·机器学习·支持向量机