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

embedded/2024/9/24 17:30:36/

目录

🌞前言

🏞️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/embedded/16538.html

相关文章

LeetCode //C - 38. Count and Say Medium Topics Companies

38. Count and Say The count-and-say sequence is a sequence of digit strings defined by the recursive formula: countAndSay(1) “1”countAndSay(n) is the way you would “say” the digit string from countAndSay(n-1), which is then converted into a differen…

线程、线程组、线程池、锁、事务、分布式

1.线程 Thread类 ,可以继承他,复写run方法,然后new一个对象,调用start方法启动。 2.runnable接口,他单独把run方法定义出来了,可以自己实现一个runnable接口,然后new一个runnable对象给到threa…

STM32中断系统详解

系列文章目录 STM32单片机系列专栏 C语言术语和结构总结专栏 文章目录 1. 中断基本概念 2. STM32中断 3. NVIC的基本组件 3.1 NVIC的基本组件 3.2 NVIC的优先级 4. EXTI外部中断 4.1 基本概念 4.2 基本结构 5. AFIO 1. 中断基本概念 中断(Interrupt&…

离线语音模块初步学习——LSYT201B(深圳雷龙发展)

一 、产品简介 首先简单介绍下该离线语音模块,官方给出的介绍是:YT2228 是根据智能语音交互市场需求及思必驰算法的发展方向定义开发的 “芯片算法”人工智能人机语音交互解决方案,具有高性能、低功耗等特点。该芯片通过软硬融合的方法&…

深度学习中的黑科技:自监督学习(Self-Supervised Learning)

在人工智能领域,深度学习已成为推动技术革新的核心力量。然而,深度学习的一个重要瓶颈是对大量标记数据的依赖性。在这个背景下,自监督学习(Self-Supervised Learning, SSL)作为一种新兴的学习范式,越来越受到研究者的关注。自监督…

Java 基于Graphics2D 实现海报(支持自定义颜色,背景,logo,贴图)

效果: 海报一: 海报二: 代码: 参数实体类: package com.ly.cloud.dto;import lombok.Data;/*** Author * Date Created in 2024/4/24 下午2:16* DESCRIPTION: 海报页面所需的参数 实体类* Version V1.0*/ Dat…

接口请求与对象转json中字段大小写的处理

1、前端请求对象中,字段为大写的情况 》前端请求对象字段为大写 》后端接受对象字段也为大写 前后端对象字段一模一样,就是接受不到前端传过来的值,针对这种情况,只需在后端对象中加JsonProperty("Id")即可 如下所示&a…

004 死信(限制队列最大长度)

文章目录 消息ttl过期成为死信队列达到最大长度成为死信MyOrder.javaRabbitMQDirectConfig.javaOrderProducer.javaPayConsumer.javaDeadOrderConsumer.java application.yaml 死信就是无法被消费的消息。一般来说,producer 将消息投递到 broker 或者直接到 queue 中…