【C++ 硬核】摆脱开发板:用 Google Test + Mock 构建嵌入式 TDD (测试驱动开发) 体系

摘要:嵌入式软件质量往往依赖于手工测试,回归测试成本极高。一旦底层硬件没就位,软件开发就得停滞。本文将介绍如何通过 接口抽象依赖注入,将业务逻辑与硬件驱动解耦。利用 Google Mock 模拟硬件行为(如模拟 Flash 写入失败、模拟传感器数据),在 PC 上实现自动化的单元测试。

一、 痛点:被硬件“绑架”的软件开发

假设你要写一个 “数据记录器” 的逻辑:

  1. 每隔 1 秒读取传感器。
  2. 如果数据超过阈值,写入 Flash。
  3. 如果 Flash 写满了,擦除最旧的一个扇区。

典型的“耦合”代码

// DataLogger.cpp #include "stm32f4xx_hal.h" // 强依赖硬件库 void LogProcess() { float val = AD7606_Read(); // 直接调用驱动 if (val > 50.0f) { if (W25Q_Write(val) != HAL_OK) { // 直接调用驱动 W25Q_EraseSector(0); } } }

问题

  1. 无法测试:想测试“Flash 写满擦除”的逻辑,你必须真的把 Flash 写满(可能需要几个小时),或者去改驱动代码造假数据。
  2. 无法移植:这个代码里全是 STM32 的头文件,换个芯片要重写。
  3. 开发阻塞:板子还没画回来,你的代码就没法跑。

二、 破局:面向接口编程 (Interface-Based Design)

要实现 PC 端测试,必须把**“做什么 (Logic)”** 和 “怎么做 (Driver)” 分开。

1. 定义纯虚接口 (HAL Abstraction)

// IFlash.h // 定义 Flash 的抽象行为,不包含任何 STM32 代码 class IFlash { public: virtual ~IFlash() = default; virtual bool Write(uint32_t addr, const uint8_t* data, size_t len) = 0; virtual bool Erase(uint32_t addr) = 0; }; // ISensor.h class ISensor { public: virtual ~ISensor() = default; virtual float ReadVoltage() = 0; };

2. 编写业务逻辑 (只依赖接口)

// DataLogger.h #include "IFlash.h" #include "ISensor.h" class DataLogger { IFlash& m_flash; // 引用接口,而非具体类 ISensor& m_sensor; public: // 依赖注入:在构造时传入具体的实现 DataLogger(IFlash& flash, ISensor& sensor) : m_flash(flash), m_sensor(sensor) {} void Process() { float val = m_sensor.ReadVoltage(); if (val > 50.0f) { // 写入地址 0,模拟 4 字节数据 bool success = m_flash.Write(0, (uint8_t*)&val, 4); if (!success) { // 如果写入失败,尝试擦除 m_flash.Erase(0); } } } };

三、 核心武器:Google Mock

现在我们想测试 DataLogger。在 STM32 上,我们会传入真实的 Stm32Flash 类;但在 PC 上,我们传入一个**“骗子” (Mock Object)**。

Google Mock 可以自动生成这个“骗子”,并允许我们控制它的行为

1. 定义 Mock 类

#include <gmock/gmock.h> #include "IFlash.h" #include "ISensor.h" class MockFlash : public IFlash { public: // MOCK_METHOD(返回值, 函数名, (参数...), (修饰符)); MOCK_METHOD(bool, Write, (uint32_t, const uint8_t*, size_t), (override)); MOCK_METHOD(bool, Erase, (uint32_t), (override)); }; class MockSensor : public ISensor { public: MOCK_METHOD(float, ReadVoltage, (), (override)); };

四、 实战:编写单元测试用例

我们不需要编译到 ARM,直接用 gcc/clang 编译成 PC 的 exe 运行。

测试场景 1:正常记录数据

#include <gtest/gtest.h> TEST(LoggerTest, ShouldWriteWhenVoltageHigh) { // 1. 准备 Mock 对象 MockFlash flash; MockSensor sensor; DataLogger logger(flash, sensor); // 2. 设置期望 (Expectations) // 当调用 sensor.ReadVoltage 时,请返回 60.0 (超过阈值) EXPECT_CALL(sensor, ReadVoltage()).WillOnce(testing::Return(60.0f)); // 期待 flash.Write 被调用一次,且返回 true EXPECT_CALL(flash, Write(0, testing::_, 4)).WillOnce(testing::Return(true)); // 3. 执行业务 logger.Process(); }

测试场景 2:Flash 写满自动擦除 (很难在板子上测!)

TEST(LoggerTest, ShouldEraseWhenWriteFails) { MockFlash flash; MockSensor sensor; DataLogger logger(flash, sensor); // 1. 模拟电压超限 EXPECT_CALL(sensor, ReadVoltage()).WillOnce(testing::Return(60.0f)); // 2. 【关键】模拟 Flash 写入失败 (返回 false) EXPECT_CALL(flash, Write(testing::_, testing::_, testing::_)) .WillOnce(testing::Return(false)); // 3. 验证:由于写入失败,logger 应该调用 Erase EXPECT_CALL(flash, Erase(0)).Times(1); // 4. 执行 logger.Process(); }

五、 进阶技巧:如何 Mock 只有 C 接口的库?

很多时候我们无法修改底层代码,比如 HAL 库只有 C 函数 HAL_GPIO_WritePin。 这时候可以使用 Linker Seam (链接器接缝)虚函数适配器

推荐做法:适配器模式 (Adapter Pattern)

不要直接在业务代码里调 HAL_xxx

  1. 定义 IGpio C++ 接口。
  2. 写一个 Stm32Gpio 类实现该接口,内部调用 HAL_GPIO_WritePin
  3. 业务代码只用 IGpio
  4. 测试代码 Mock IGpio

硬核做法:弱符号覆盖 (Weak Symbol Override)

如果 HAL 库里的函数是 __weak 的(STM32 HAL 大部分中断回调都是 weak),你可以在测试工程里重新定义这个 C 函数,在里面植入测试逻辑。


六、 为什么这是“降维打击”?

  1. 速度:PC 运行测试只需要 0.1 秒。板子烧录运行需要 2 分钟。
  2. 覆盖率:你能测试“Flash 损坏”、“I2C 总线超时”、“网络断连”等硬件上极难复现的异常情况。
  3. 重构底气:当你优化算法时,跑一遍测试,全绿。你敢保证代码没改坏。如果没有测试,你改一行代码都心惊胆战。
  4. 架构优化:为了能测试,你被迫把代码写成“低耦合”的接口形式。代码结构变好了,是测试带来的副作用。

七、 总结

嵌入式开发不应该等同于“硬件调试”。

通过引入 Google TestMock 技术,我们将嵌入式开发拆解为两部分:

  1. 在 Host 端:通过 TDD 验证 95% 的业务逻辑、状态机跳转、协议解析。
  2. 在 Target 端:只验证剩下的 5% —— 驱动是不是真的能点亮 LED。

这就是现代嵌入式软件工程:用软件的思维写嵌入式,而不是用电工的思维写代码。

Read more

Lasso回归算法详解与应用

Lasso回归算法详解与应用

1.什么是回归算法? 回归算法是一类用于预测数值型结果的机器学习方法。 它的核心目标是建立自变量(如年龄、收入、教育背景)与因变量(如房价、销售额)之间的关系模型。一旦这个关系被确定,模型就可以根据新的自变量输入来预测对应的因变量值。 举个例子:如果我们想依据身高预测体重,可以先收集一批包含身高和体重的样本数据。 基于这些数据,回归算法会拟合出一个数学公式(模型)来描述二者之间的关系。 之后,对于任何一个已知身高但未知体重的人,我们就可以利用这个模型来估算其体重。   2.什么是Lasso回归? Lasso回归(最小绝对收缩和选择算子)是一种改进的线性回归技术。 它通过引入“L1正则化”来防止模型在训练数据上过度拟合。 其关键机制在于,它在模型优化的目标函数中增加了一项惩罚项,该惩罚项与模型系数的绝对值之和成正比。这一机制会倾向于将那些不重要的特征系数压缩至零,从而实现特征自动选择,并最终产生一个更简洁、解释性更强的稀疏模型。 Lasso回归的核心作用主要体现在两个方面: 1. 特征选择:它能够自动地将不重要的自变量的系数压缩至零,从而将这些特征从模型中

【数据结构】跳表

【数据结构】跳表

目录 1.什么是跳表-skiplist 2.skiplist的效率如何保证? 3.skiplist的实现 3.1节点和成员设计 3.2查找实现 3.3前置节点查找 3.4插入实现 3.5删除实现 3.6随机层数 3.7完整代码 4.skiplist跟平衡搜索树和哈希表的对比 1.什么是跳表-skiplist skiplist是由William Pugh发明的,最早出现于他在1990年发表的论文《Skip Lists: A Probabilistic Alternative to Balanced Trees》。 skiplist,顾名思义,首先它是一个list。实际上,它是在有序链表的基础上发展起来的。如果是一个有序的链表,查找数据的时间复杂度是O(N)。 William Pugh开始的优化思路: 1. 假如我们每相邻两个节点升高一层,增加一个指针,让指针指向下下个节点,

基于深度学习的YOLO26算法的智慧农业之农作物与杂草图像识别数据集 航拍巡检贴脸田地杂草与农作物区别分类识别图像数据集 yolo格式数据集10168期

基于深度学习的YOLO26算法的智慧农业之农作物与杂草图像识别数据集 航拍巡检贴脸田地杂草与农作物区别分类识别图像数据集 yolo格式数据集10168期

作物与杂草数据集核心信息简介 类别 作物(crop)”和“杂草(weed) 往期热门主题 主题搜两字"关键词"直达 代码数据获取: 获取方式:***文章底部卡片扫码获取*** 覆盖了YOLO相关项目、OpenCV项目、CNN项目等所有类别, 覆盖各类项目场景(包括但不限于以下----欢迎咨询定制): 项目名称项目名称基于YOLO+deepseek 智慧农业作物长势监测系统基于YOLO+deepseek 人脸识别与管理系统基于YOLO+deepseek 无人机巡检电力线路系统基于YOLO+deepseek PCB板缺陷检测基于YOLO+deepseek 智慧铁路轨道异物检测系统基于YOLO+deepseek 102种犬类检测系统基于YOLO+deepseek 人脸面部活体检测基于YOLO+deepseek 无人机农田病虫害巡检系统基于YOLO+deepseek 水稻害虫检测识别基于YOLO+deepseek 安全帽检测系统基于YOLO+deepseek 智慧铁路接触网状态检测系统基于YOLO+deepseek 火焰烟雾检测系统基于YOLO+d

【算法通关指南:算法基础篇】二分答案专题:1.木材加工 2.砍树

【算法通关指南:算法基础篇】二分答案专题:1.木材加工 2.砍树

🔥小龙报:个人主页 🎬作者简介:C++研发,嵌入式,机器人方向学习者 ❄️个人专栏:《算法通关指南 》 ✨ 永远相信美好的事情即将发生 文章目录 * 前言 * 一、二分答案 * 二、二分答案经典算题 * 2.1 木材加工 * 2.1.1题目 * 2.1.2 算法原理 * 2.1.3 代码 * 2.2 砍树 * 2.2.1 题目 * 2.2.2 算法原理 * 2.2.3 代码 * 总结与每日励志 前言 二分答案是算法竞赛与笔试中极具技巧性的高分解法,核心思路是将复杂求解转化为简洁的二分+判定,