【白盒测试】单元测试的理论基础及用例设计技术(6种)详解

news/2024/9/24 3:15:55/

目录

🌞前言

🏞️1. 单元测试理论基础

🌊1.1 单元测试是什么

🌊1.2 单元测试的好处

🌊1.3 单元测试的要求

🌊1.4 测试框架-Junit4的介绍

🌊1.5 单元测试为什么要mock

🏞️2. 单元测试用例设计技术(6种)

🌊2.1 语句覆盖

🌊2.2 判定覆盖【也称分支覆盖】

🌊2.3 条件覆盖

🌊2.4 判定条件覆盖

🌊2.5 组合覆盖

🌊2.6 路径覆盖


🌞前言

白盒测试也称透明盒测试、结构测试或逻辑驱动测试

  • 定义: 白盒测试是把测试对象看作一个透明白色的盒子,测试人员依据程序内部逻辑结构相关信息,设计或选择测试用例,对程序所有逻辑路径进行测试。
  • 目的: 白盒测试旨在验证程序的内部逻辑是否正确,检查代码覆盖率,并找出可能存在的编程错误、逻辑错误和性能问题。
  • 测试对象: 白盒测试通常由开发人员或专业的测试工程师执行,他们具有编程和软件设计方面的专业知识。
  • 测试方法: 白盒测试通常使用技术性的测试方法,如语句覆盖、分支覆盖、路径覆盖等,以确保对代码的各个部分进行了充分的测试。

黑盒测试也称功能测试或规格驱动测试

  • 定义: 黑盒测试是把测试对象看作一个黑色不透明的盒子,在不考虑程序内部结构和实现细节的情况下设计和执行测试用例的过程。测试者只关注输入和输出之间的关系,而不考虑内部工作原理
  • 目的: 黑盒测试旨在验证软件的功能是否符合规格说明和用户需求,检查系统的功能完整性和正确性。
  • 测试对象: 黑盒测试通常由测试人员执行,不用了解系统的内部实现细节,只根据需求文档和功能规格进行测试。
  • 测试方法: 黑盒测试通常使用功能性测试方法,如等价类划分、边界值分析、场景测试等,以验证系统的功能是否符合预期。

综上,白盒测试黑盒测试的主要区别在于测试者对系统内部结构的了解程度。白盒测试关注程序内部逻辑和代码覆盖率,而黑盒测试则关注系统的功能和用户体验。


🏞️1. 单元测试理论基础

🌊1.1 单元测试是什么

单元测试是软件开发中的一种测试方法(由开发者编写),对程序中的最小可测试单元(通常是函数、方法或类)进行检查和验证。通常一个单元测试是由于判断每个特定条件(或场景)下某个特定函数的行为。


🌊1.2 单元测试的好处

  • 测试更充分:单元测试属于白盒测试
  • bug修复代价最少
  • 代码自review
  • 代码功能更具易用性
  • 回归测试
  • 快速定位bug

🌊1.3 单元测试的要求

  • 全自动执行
  • 独立
  • 可重复执行
  • 需要维护

🌊1.4 测试框架-Junit4的介绍

JUnit 4 中常用的注解包括:

  • @Test: 用于标识测试方法。
  • @Before: 标识在每个测试方法之前需要执行的方法。
  • @After: 标识在每个测试方法之后需要执行的方法。
  • @BeforeClass: 标识在测试类加载时需要执行的方法。
  • @AfterClass: 标识在测试类销毁时需要执行的方法。
  • @Ignore@Ignore("reason"): 标识忽略测试方法,可以附带原因说明。
  • @RunWith: 指定测试运行器,如 @RunWith(Parameterized.class) 用于参数化测试。
  • @Rule: 用于创建测试规则,如 @Rule public ExpectedException exception = ExpectedException.none() 用于测试异常。

Junit4的单元测试用例的执行顺序

@BeforeClass->@Before->@Test->@After->@AfterClass

每个测试方法的调用顺序

@Before->@Test->@After


🌊1.5 单元测试为什么要mock

单元测试中使用 Mock 的主要目的是解决测试环境的依赖性和复杂性。

  1. 提高测试用例的速度: 在单元测试中,有时无法直接访问外部依赖,或者外部依赖的操作会耗费较长时间。通过 Mocking,可以避免真实的外部调用,从而提高测试的速度。

  2. 解除外部依赖:从而将测试的焦点放在被测试组件本身,而不受外部依赖的影响。比如数据库、第三方接口等,使测试用例可以独立运行。

  3. 减少工作量:减少编写测试用例的工作量,提高效率。

综上,使用 Mock 是为了更好地隔离测试目标、消除测试环境的不确定性、提高测试速度、模拟异常情况以及降低测试成本,从而使单元测试更加简单、可靠和高效。


🏞️2. 单元测试用例设计技术(6种)

单元测试用例设计技术可分成大致6种,由弱至强,工作量由低到高:

  • 语句覆盖:程序中每条语句至少被执行一次。
  • 判定覆盖【也称分支覆盖:确保每个分支的两个可能的结果都被至少一次执行。即每个判断的取真、取假至少执行一次。
  • 条件覆盖:每一个判断中的每个子句的不同true  false都要取一次。
  • 判定条件覆盖:确保每个分支的两个可能的结果以及每个条件的每个可能的结果都被至少一次执行(即满足条件覆盖+判定覆盖)。
  • 组合覆盖【也称条件组合覆盖】:确保每个条件的每个可能的组合结果都被至少一次执行(比如x>=80 and y>=80,这个判断可拆分成如x>=80、y>=80,那么测试用例需要让其分别满足 T T、T F、F T、F F)。
  • 路径覆盖:覆盖程序的所有可能的路径。

🌊2.1 语句覆盖

语句覆盖:程序中每条语句至少被执行一次。

【案例】语句覆盖

语句覆盖的测试用例

用例序号XY路径
15050OBDE
210040OBCE
39090OAE

说明:上述示例覆盖了所有语句【1 ->T、2 ->T、3 ->T】。

  • x=50 y=50:覆盖了语句【3 ->T】
  • x=100 y=40:覆盖了语句【2 ->T】
  • x=90 y=90:覆盖了语句【1 ->T】

🌊2.2 判定覆盖【也称分支覆盖

判定覆盖:确保每个分支的两个可能的结果都被至少一次执行。即每个判断的取真、取假至少执行一次。

 【案例】评定覆盖(也称分支覆盖)

判定覆盖的测试用例

用例序号XY路径
15050OBDE
210040OBCE
39090OAE

说明:上述示例覆盖了所有分支。

  • x=50 y=50:覆盖了分支【No-No】
  • x=100 y=40:覆盖了分支【No-Yes】
  • x=90 y=90:覆盖了分支【Yes】

🌊2.3 条件覆盖

条件覆盖:每一个判断中的每个子句的不同true  false都要取一次。

 【案例】条件覆盖

条件覆盖的测试用例

这里其实有四个判断子句,分别是:x>=80、y>=80、x+y=140、(x>90 or y>90).

可以这样设计条件覆盖的测试用例:

x取值y取值x>=80y>=80x+y=140(x>90 or y>90)
6085FTFF
10040TFTT

说明:上述示例覆盖了所有判断子句。

  • x=60 y=85 与 x=100 y=40 覆盖了四个判断子句为 true 和 false 的情况。

🌊2.4 判定条件覆盖

判定条件覆盖:确保每个分支的两个可能的结果以及每个条件的每个可能的结果都被至少一次执行(即满足条件覆盖+判定覆盖)。

 【案例】判定条件覆盖

判定条件覆盖的测试用例

XY路径x>=80y>=80x+y=140(x>90 or y>90)覆盖分支
9090OAETTFFYes
5050OBDEFFFFNo-No
10040OBCETFTTNo-Yes

说明:上述示例覆盖了所有判断子句+分支。


🌊2.5 组合覆盖

组合覆盖【也称条件组合覆盖】:确保每个条件的每个可能的组合结果都被至少一次执行(比如x>=80 and y>=80,这个判断可拆分成如x>=80、y>=80,那么测试用例需要让其分别满足 T T、T F、F T、F F)。

 【案例】组合覆盖

组合覆盖的测试用例

组合覆盖需要拆分判断子句

对于第一个判断 x>=80 and y>=80 ,由于不是原子的可进一步拆分成 x>=80 和 y>=80 。

那么测试用例需要让第一个判断分别满足下面的条件:

对于第二个判断x+y=140 and (x>90 or y >90) ,由于不是原子的可进一步拆分成x+y=140 、x>90 和y >90。那么测试用例需要让第二个判断分别满足下面的条件:

说明:测试示例需要覆盖上面所有的条件。


🌊2.6 路径覆盖

路径覆盖:覆盖程序的所有可能的路径。

 【案例】路径覆盖

路径覆盖的测试用例

用例序号XY路径
15050OBDE
210040OBCE
39090OAE

说明:上述示例覆盖了所有路径。

  • x=50 y=50:覆盖了路径【OBDE】
  • x=100 y=40:覆盖了路径【OBCE】
  • x=90 y=90:覆盖了路径【OAE】


http://www.ppmy.cn/news/1438374.html

相关文章

夜神、雷电、android studio手机模拟器资源占用情况

夜神、雷电、android studio手机模拟器内存资源占用情况 由于开发电脑只有16G内存,出于开发需要和本身硬件资源的限制,对多个手机模拟器进行了机器资源占用(主要是内存)的简单比较。 比较的模拟器包括: 1. Android S…

YOLOv8 实现车牌检测,生成可视化检测视频(20240424)

原项目源码地址:GitHub 我的源码地址:Gitee 环境搭建请参考:Win10 搭建 YOLOv8 运行环境(20240423)-CSDN博客 环境测试请参考:本地运行测试 YOLOv8(20240423)-CSDN博客 训练数据…

NineData即将亮相2024中国移动算力网络大会,创始人CEO叶正盛带来《生态软件加速数据库国产替代》主题演讲

2024年4月28-29日,NineData即将亮相2024中国移动算力网络大会,创始人&CEO叶正盛将在「云原生数据库专场」带来《生态软件加速数据库国产替代》主题演讲。届时将和众多院士专家、行业大咖、业界伙伴一起探讨,并帮助企业提升数据库研发协同…

python高阶函数:zip()

概述与基本用法 zip() 是 Python 内置函数之一,用于将多个可迭代对象打包成一个元组序列,然后返回一个迭代器。它可以接受任意数量的可迭代对象作为参数,并将它们的元素按顺序一一对应地打包成元组。 以下是 zip() 函数的基本用法&#xff…

大语言模型在研究领域的应用——传统自然语言处理任务中的大语言模型

传统自然语言处理任务中的大语言模型 序列标注关系抽取文本生成总结应用建议未来方向 语言模型是自然语言处理领域的重要研究方向之一,相关技术进展有力地推动了下游应用任务的性能提升。本部分内容将主要介绍大语言模型在三大类经典自然语言处理任务上的应用&#…

【圆桌论坛】个人作为嘉宾参与问答环节的总结,Create 2024百度AI开发者大会之AI智能体开发与应用论坛

目录 ⭐前言⭐讨论话题✨本质和价值✨端侧部署✨应用商业模式✨商业模式 ⭐主题总结⭐有趣分享 ⭐前言 首先,非常荣幸和开心作为开发者和创业者代表参加百度Create AI大会分论坛圆桌论坛的问答环节。 在分论坛活动开始前,参加了文心智能体平台&#xff…

Jackson 2.x 系列【31】Spring Boot 集成之字典回写

有道无术,术尚可求,有术无道,止于术。 本系列Jackson 版本 2.17.0 本系列Spring Boot 版本 3.2.4 源码地址:https://gitee.com/pearl-organization/study-jaskson-demo 文章目录 1. 场景描述2. 案例演示2.1 修改枚举2.2 定义注解…

【STM32+HAL+Proteus】系列学习教程2---STM32开发模式选择

实现目标 1、熟悉STM32开发常用的三种模式 一、STM32开发常用的三种模式 STM32常用的开发模式有三种:基于寄存器开发、基于标准外设库开发、基于STM32CubeMXHAL/LL开发。通常我们学习STM32的时候,首先都得先选择一种开发模式,不同的开发模式…