C语言单元测试入门（使用Check库构建可靠的C程序）

什么是Check库？

Check 是一个开源的、基于断言的单元测试框架，专为C语言设计。它支持自动化的测试用例组织、执行和结果报告，并且能够在子进程中运行测试，从而避免因程序崩溃导致整个测试套件中断。

使用 Check库，你可以轻松编写可维护、可扩展的测试代码，提升软件的可靠性。这也是为什么它被广泛应用于嵌入式系统、系统编程等对稳定性要求极高的领域。

安装Check库

在大多数Linux发行版中，你可以通过包管理器直接安装：

# Ubuntu/Debiansudo apt-get install check# CentOS/Fedorasudo yum install check# 或者sudo dnf install check

macOS用户可以使用Homebrew安装：

brew install check

第一个Check测试程序

我们以一个简单的加法函数为例，展示如何使用 C语言测试框架 编写测试。

步骤1：创建被测函数（math.c）

// math.cint add(int a, int b) {    return a + b;}

步骤2：编写测试文件（test_math.c）

// test_math.c#include <check.h>#include <stdlib.h>// 声明被测函数extern int add(int a, int b);// 测试用例：验证加法是否正确START_TEST(test_add_positive_numbers){    ck_assert_int_eq(add(2, 3), 5);}END_TEST// 测试用例：验证负数相加START_TEST(test_add_negative_numbers){    ck_assert_int_eq(add(-1, -4), -5);}END_TEST// 创建测试套件Suite *math_suite(void){    Suite *s;    TCase *tc_core;    s = suite_create("Math");    tc_core = tcase_create("Core");    tcase_add_test(tc_core, test_add_positive_numbers);    tcase_add_test(tc_core, test_add_negative_numbers);    suite_add_tcase(s, tc_core);    return s;}// 主函数：运行测试int main(void){    int number_failed;    SRunner *sr;    sr = srunner_create(math_suite());    srunner_run_all(sr, CK_VERBOSE);    number_failed = srunner_ntests_failed(sr);    srunner_free(sr);    return (number_failed == 0) ? EXIT_SUCCESS : EXIT_FAILURE;}

编译并运行测试

使用以下命令编译你的测试程序：

gcc -o test_math test_math.c math.c -lcheck -lpthread -lrt -lm -lsubunit

然后运行：

./test_math

如果一切正常，你将看到类似如下的输出：

Running suite(s): Math2%: Checks: 2, Failures: 0, Errors: 0

常用断言宏

Check库提供了多种断言宏，用于不同场景的验证：

• ck_assert_int_eq(a, b)：断言两个整数相等
• ck_assert_str_eq(s1, s2)：断言两个字符串相等
• ck_assert(a)：断言表达式为真
• ck_assert_msg(cond, msg, ...)：带自定义错误信息的断言

结语：迈向高质量C代码

通过本教程，你已经掌握了使用 Check库 进行 C语言单元测试 的基本方法。无论是开发小型工具还是大型系统，良好的测试习惯都能显著减少bug、提升代码可维护性。

建议你在今后的每一个C项目中都引入单元测试，让 软件测试入门 成为你编程技能的重要一环。记住：没有测试的代码，就是不可靠的代码！

关键词：C语言单元测试, Check库教程, C语言测试框架, 软件测试入门