2、C语言测试框架概览：CUnit、Unity、Check、CMocka等框架介绍与选型对比

做嵌入式C语言开发，单元测试这事儿，绕不开。

我早年刚带团队的时候，大家写代码都很猛，一提交就是几千行。结果呢？联调阶段天天加班找bug，那叫一个痛苦。后来我痛定思痛，开始引入单元测试框架。说实话，选框架这事儿，我踩过不少坑。

今天咱们就把主流的几个C语言测试框架掰开揉碎聊一聊。CUnit、Unity、Check、CMocka，这四个是我用得最多的。每个都有脾气，选对了事半功倍。

2.1 四大框架速览

先给个全景图，心里有个底。

一句话总结：

  • CUnit —— 老牌劲旅，功能全面，但有点重
  • Unity —— 嵌入式首选，轻量到极致
  • Check —— 自动化友好，支持fork模式隔离测试
  • CMocka —— 自带mock能力，适合做接口测试

你可能会问：「这么多框架，我该用哪个？」别急，咱们一个个看。

2.2 CUnit —— 老大哥，功能最全

CUnit是经典的xUnit风格框架。说白了，就是模仿JUnit那套东西。我最早接触的就是它，那时候网上资料少，啃了好久才上手。

核心特点：

  • 支持多种输出格式：文本、XML、HTML
  • 提供完整的测试套件管理
  • 有图形界面（虽然我几乎没用过）

来个简单的例子：

#include <CUnit/CUnit.h>
#include <CUnit/Basic.h>

int add(int a, int b) {
    return a + b;
}

void test_add(void) {
    CU_ASSERT(add(2, 3) == 5);
    CU_ASSERT(add(-1, 1) == 0);
}

int main() {
    CU_initialize_registry();
    CU_pSuite suite = CU_add_suite("demo_suite", 0, 0);
    CU_add_test(suite, "test_add", test_add);
    CU_basic_run_tests();
    CU_cleanup_registry();
    return 0;
}

我的经验：CUnit适合PC端的测试，或者资源比较充裕的环境。我在做车载项目时用过它，功能确实强大，但编译出来的体积偏大，嵌入式板子上跑不动。

2.3 Unity —— 嵌入式测试的王者

Unity是我现在最常用的框架。为什么？因为它太适合嵌入式了。

我记得有一次，客户要求给一个只有32KB Flash的MCU做单元测试。CUnit编译完直接超了，换成Unity，整个测试框架只占了不到4KB。嗯，这就是差距。

核心特点：

  • 纯C实现，无动态内存分配
  • 编译后体积极小（2-6KB）
  • 配合Ceedling使用，自动化程度极高
#include "unity.h"

int add(int a, int b) {
    return a + b;
}

void setUp(void) {}
void tearDown(void) {}

void test_add_positive(void) {
    TEST_ASSERT_EQUAL_INT(5, add(2, 3));
}

void test_add_negative(void) {
    TEST_ASSERT_EQUAL_INT(-2, add(-3, 1));
}

int main(void) {
    UNITY_BEGIN();
    RUN_TEST(test_add_positive);
    RUN_TEST(test_add_negative);
    return UNITY_END();
}

注意：Unity本身不提供mock功能。如果你需要模拟外部依赖，得搭配CMock或者自己手写桩函数。我一般用CMock，后面会讲到。

2.4 Check —— 自动化测试的好帮手

Check这个框架，我是在做Linux后台服务时接触到的。它有个杀手锏——fork模式。

什么意思呢？每个测试用例都在独立的子进程中运行。就算测试挂了，也不会影响主进程。这对于测试那些可能引发段错误的代码，简直是神器。

核心特点：

  • 支持fork模式隔离测试
  • 自动生成XML报告，CI/CD集成方便
  • 支持超时控制
#include <check.h>

START_TEST(test_add) {
    ck_assert_int_eq(5, add(2, 3));
}
END_TEST

Suite *demo_suite(void) {
    Suite *s = suite_create("Demo");
    TCase *tc = tcase_create("Core");
    tcase_add_test(tc, test_add);
    suite_add_tcase(s, tc);
    return s;
}

int main(void) {
    Suite *s = demo_suite();
    SRunner *sr = srunner_create(s);
    srunner_run_all(sr, CK_NORMAL);
    int failed = srunner_ntests_failed(sr);
    srunner_free(sr);
    return failed;
}

避坑指南：我曾经在RTOS环境下用Check，结果fork不支持，折腾了两天。记住，Check的fork模式依赖操作系统，裸机和RTOS环境慎用。

2.5 CMocka —— 自带Mock，接口测试利器

CMocka是Google在维护的框架。它最大的亮点是内置了mock和assert功能。

做单元测试最头疼的是什么？是外部依赖。比如你的函数要调用一个硬件寄存器读写接口，或者要访问数据库。这时候就需要mock来模拟这些依赖。

核心特点：

  • 内置mock框架，无需额外工具
  • 支持返回值模拟和参数检查
  • 轻量级，适合嵌入式
#include <stdarg.h>
#include <stddef.h>
#include <setjmp.h>
#include <cmocka.h>

// 被测试函数
int read_sensor(void) {
    // 实际会调用硬件
    return 0;
}

// mock实现
int __wrap_read_sensor(void) {
    return mock_type(int);
}

void test_sensor_read(void) {
    will_return(__wrap_read_sensor, 42);
    int value = read_sensor();
    assert_int_equal(value, 42);
}

int main(void) {
    const struct CMUnitTest tests[] = {
        cmocka_unit_test(test_sensor_read),
    };
    return cmocka_run_group_tests(tests, NULL, NULL);
}

我的建议：如果你的项目需要大量mock外部接口，CMocka是首选。但它的学习曲线比Unity陡一些，建议先从简单的assert功能开始用。

2.6 框架选型对比

说了这么多，到底怎么选？我整理了一张对比表，你一看就明白。

特性 CUnit Unity Check CMocka
代码体积 大（~100KB） 极小（~4KB） 中等（~30KB） 小（~20KB）
动态内存 需要 不需要 需要 不需要
Mock支持 无 需配合CMock 无 内置
fork隔离 不支持 不支持 支持 不支持
CI集成 一般 好 非常好 好
嵌入式适用 差 极佳 一般 好
学习曲线 中等 低 低 中等

2.7 选型决策逻辑

框架选型这事儿，其实没那么复杂。我一般按这个思路来：

  1. 先看目标平台 —— 如果是资源受限的MCU，Unity是唯一选择
  2. 再看依赖复杂度 —— 需要大量mock？选CMocka
  3. 最后看CI需求 —— 需要fork隔离？选Check

说白了，没有银弹。我现在的团队，PC端用Check，嵌入式用Unity+CMock，各司其职。

一个小技巧：如果你刚开始做单元测试，我建议从Unity入手。它简单、轻量、坑少。等你把测试习惯建立起来了，再根据项目需求切换到其他框架。

2.8 知识体系总览

为了让你更直观地理解这几个框架的关系和适用场景，我画了一张图。

C语言测试框架选型决策树 选择测试框架 资源极度受限 需要Mock 需要fork隔离 Unity CMocka Check MCU、RTOS、裸机 体积小，无动态内存 接口测试、驱动测试 内置mock，参数检查 Linux后台、CI/CD fork隔离，XML报告 没有最好的框架，只有最合适的框架

这张图把选型逻辑梳理得很清楚。你从顶部开始，根据项目约束条件往下走，就能找到合适的框架。

2.9 我的最终建议

如果你问我个人偏好，我会说：

  • 新手入门 —— Unity，没得商量
  • 嵌入式项目 —— Unity + CMock，黄金搭档
  • Linux/服务器 —— Check，CI集成最省心
  • PC端工具 —— CUnit，功能全面

框架只是工具，测试思维才是核心。别在选型上纠结太久，先跑起来再说。

记住：一个能跑起来的简单测试，胜过一百个精心设计但从未执行的测试计划。

公众号:蓝海资料掘金营，微信deep3321

← 上一章 📖 返回目录 下一章 →