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

目录

[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%分支覆盖。即该函数只覆盖了正整数指数和零指数的分支,没有覆盖负指数的分支

相关推荐
GoAI5 小时前
DeepSeek Harness Memory (一)主流记忆插件总结
后端·算法·面试
Pniubi5 小时前
力扣54.螺旋矩阵
算法·leetcode·矩阵
choumou_M8 小时前
算法_1:由浅入深学习快速排序QuickSort
学习·算法·排序算法
Coder_Shenshen8 小时前
罗克韦尔ACD工程归档离线变量树解析
算法·c#
心仪久了会沦陷10 小时前
C语言数据结构入门——树与二叉树详解:概念、堆实现与链式遍历
c语言·数据结构·算法
小此方10 小时前
[算法实战论:动态规划]背包问题概念,01不满背包问题,01满背包问题,背包问题的滚动数组空间优化
算法·动态规划
悠仁さん11 小时前
【C++】哈希表
c++·算法·散列表
地平线开发者12 小时前
点云算法整理与常用计算模块:从数据到模型,再到工程与量化
算法·自动驾驶
freejackman14 小时前
【工程化】从“单兵作战”到“多引擎架构”:基于门面模式的重构实战
大数据·数据库·hive·sql·测试工具·设计模式·架构