C语言知识：单元测试与调试方法（二）

JJJ69

于 2024-04-01 13:27:13 发布

阅读量485

点赞数 16

分类专栏：学习C语言吧文章标签： c语言单元测试开发语言

本文链接：https://blog.csdn.net/weixin_56154577/article/details/137229307

版权

学习C语言吧专栏收录该内容

151 篇文章 27 订阅

订阅专栏

一 C语言单元测试实践

二 C语言调试技术与策略

一 C语言单元测试实践

1.1. 测试用例设计：等价类划分、边界值分析、因果图等方法的应用

等价类划分：这是一种将输入数据划分为若干个有意义的类别（等价类），每个类别代表一组具有相同预期输出的行为。在设计测试用例时，只需从每个等价类中选取代表性数据进行测试即可。例如，对于一个整数范围内的排序函数，可以将整数分为正数、负数、零等类别，分别设计测试用例验证其排序结果。

边界值分析：针对输入变量的有效范围，测试其边界值以及边界附近的值。这是因为软件在处理边界条件时往往容易出现错误。例如，对于一个接受整数参数的函数，应测试最小整数、最大整数、接近最小和最大整数的值，以及这些边界值的边界情况（如最小整数减1、最大整数加1）。

因果图：当多个输入变量之间存在逻辑关系时，可以使用因果图来可视化这些关系，并依据图生成测试用例。每个输入变量视为图中的节点，它们之间的逻辑关系用箭头表示。通过对因果图进行遍历，可以确定需要测试的所有有效输入组合，确保覆盖所有可能的因果路径。

示例：假设有一个函数calculate_discount(price, quantity)，其中price为商品单价，quantity为购买数量，两者共同决定折扣金额。等价类划分可以将price和quantity分别划分为正常价格、高价、低价、正常数量、大量、少量等类别；边界值分析会测试单价的最小值、最大值、接近边界值的情况以及数量的边界值；因果图则描绘出price与quantity之间的关系（如价格高时折扣率降低、购买数量大时折扣率增加），生成测试用例覆盖不同因果路径。

1.2. 断言与错误处理：assert宏、自定义错误处理机制的使用

assert宏：assert是C语言内置的断言宏，用于在调试阶段检测程序中的逻辑错误。如果断言条件为假（即表达式求值为0），则assert会终止程序执行并打印错误信息。在测试中，可以使用assert来验证函数的前置条件、后置条件以及中间计算结果。

#include <assert.h>

int divide(int numerator, int denominator) {
    assert(denominator != 0); // 确保分母非零
    return numerator / denominator;
}

void test_divide() {
    int result = divide(10, 2);
    assert(result == 5); // 验证结果正确
}

自定义错误处理机制：在某些情况下，可能需要更精细的错误处理，如区分不同的错误类型、记录错误信息、实现回滚操作等。这时可以设计自定义错误类型、错误码和错误处理函数。例如：

typedef enum {
    ERR_NONE,
    ERR_DIV_BY_ZERO,
    ERR_OUT_OF_BOUNDS,
    // ...
} ErrorCode;

void handle_error(ErrorCode code, const char *message) {
    printf("Error: %s (Code: %d)\n", message, code);
    // 可能包括日志记录、资源释放等操作
}

int divide(int numerator, int denominator) {
    if (denominator == 0) {
        handle_error(ERR_DIV_BY_ZERO, "Division by zero");
        return -1; // 或者其他表示错误的返回值
    }
    return numerator / denominator;
}

1.3. 隔离依赖与mocking技术：模拟外部接口、分离关注点

在单元测试中，应尽量使被测单元独立于其依赖项，以便专注于该单元本身的逻辑验证。这通常通过以下方式实现：

依赖注入：将依赖对象作为参数传递给被测函数，而不是在函数内部创建或访问全局对象。这样在测试时可以传入模拟对象替代真实依赖。

静态库替换：在编译测试代码时，链接到专门用于测试的版本的依赖库，该版本的库包含模拟实现而非实际功能。

mocking库：虽然C语言原生不支持像其他现代语言那样的高级mocking库，但可以通过一些技巧（如预处理器宏、函数指针等）来模拟外部接口。例如，可以定义一个函数指针类型来代替实际函数调用，并在测试环境中设置该指针指向一个模拟函数。

示例：假设有一个函数send_email依赖于connect_to_smtp_server和send_message两个外部函数。在测试send_email时，可以创建模拟的mock_connect_to_smtp_server和mock_send_message函数，并在测试环境中将它们绑定到对应的函数指针。

1.4. 测试覆盖率分析与提升：工具使用、覆盖标准与优化策略

工具使用：使用覆盖率分析工具（如gcov、lcov、codecov等）来量化测试对源代码的覆盖程度。这些工具通常生成覆盖率报告，显示哪些代码行被执行，哪些未被执行。

覆盖标准：常见的覆盖标准包括语句覆盖、分支覆盖、条件覆盖、MC/DC（Modified Condition/Decision Coverage）等。选择合适的覆盖标准有助于确保测试充分覆盖关键逻辑。

优化策略：

针对低覆盖率区域编写新测试：根据覆盖率报告，识别并补充针对未覆盖或覆盖不足代码的测试用例。
重构可测试性差的代码：如果某些代码难以测试（如过于复杂的函数、过多的全局状态等），考虑对其进行重构以提高可测试性。
持续集成与自动化测试：设置CI/CD流程，在每次代码提交时自动运行单元测试并生成覆盖率报告，确保及时发现覆盖率下降并采取行动。
采用TDD（测试驱动开发）：在编写新功能或修复bug时，先编写测试用例，再编写能通过这些测试的代码，有助于保持高覆盖率。

通过以上实践，可以有效地设计和实施C语言单元测试，确保代码质量，尽早发现并修复潜在问题。

二 C语言调试技术与策略

2.1. 基础调试工具与技术：GDB、LLDB等调试器的使用，断点、单步执行、查看变量、栈跟踪等操作

GDB（GNU Debugger）和LLDB（Low-Level Debugger）是两种广泛使用的C语言调试器，它们提供了丰富的功能来帮助开发者查找和修复程序中的问题。

断点：在代码特定行或函数入口设置断点，当程序执行到该位置时暂停，允许开发者检查此时的程序状态。在调试器中使用命令如break function_name或break line_number设置断点。
单步执行：通过step（进入函数调用）或next（跳过函数调用）命令逐步执行代码，观察每一步的变化。finish命令用于执行到当前函数返回。
查看变量：在暂停状态下，使用print或p命令显示变量的当前值，如print variable_name。对于复杂数据结构，可以使用print *pointer或p *pointer查看通过指针引用的对象。
栈跟踪：使用backtrace或bt命令显示当前函数调用栈，展示函数调用顺序及其参数，有助于理解程序执行路径和上下文。

示例：使用GDB调试一个名为my_program的程序，首先启动调试器：

gdb my_program

然后在第10行设置断点：

break 10
run

程序运行至断点处停止，接着单步执行：

step

查看变量my_var的值：

print my_var

最后查看函数调用栈：

backtrace

2.2. 高级调试技巧：条件断点、watchpoints、内存泄漏检测、core dump分析

条件断点：在断点基础上添加触发条件，只有当指定条件满足时才会暂停程序。例如，break function_name if variable > threshold。
Watchpoints：监视特定变量或内存地址的值变化。当其值发生变化时，调试器自动暂停。使用watch variable_name设置-watchpoint。
内存泄漏检测：调试器配合内存检测工具（如Valgrind、AddressSanitizer等）可以检测程序运行期间的内存泄漏。例如，使用Valgrind的memcheck工具：

valgrind --leak-check=yes ./my_program

Core dump分析：当程序崩溃时，系统可能生成core dump文件，保存了崩溃时刻的进程内存状态。调试器可以加载core dump进行事后分析，找出崩溃原因。使用GDB加载core dump：

gdb my_program core.dump

然后执行栈跟踪、查看变量等操作，如同实时调试。

2.3. 异常与错误处理：信号处理、错误码检查、日志记录与分析

信号处理：C语言程序可以通过signal()函数注册信号处理器，捕获并处理诸如 segmentation fault（SIGSEGV）、浮点异常（SIGFPE）、中断（SIGINT）等信号。处理器函数通常用于清理资源、记录错误信息或恢复程序状态。
错误码检查：函数返回错误码或通过全局变量（如errno）报告错误。在代码中检查这些错误指示，及时处理问题，避免程序继续执行在错误状态下。
日志记录与分析：使用日志库（如log4c、spdlog等）记录程序运行时的信息，包括调试信息、警告、错误等。通过分析日志，可以追溯问题发生的时间点、相关变量状态及上下文，辅助调试。确保日志级别可配置，调试时开启详细日志。

2.4. 性能分析与优化：CPU profiling、内存分析、代码热点定位

CPU profiling：使用工具如gprof、perf等收集程序运行时的CPU时间消耗数据，生成调用图或火焰图，揭示函数调用关系及每个函数的CPU占用时间，识别性能瓶颈。
内存分析：内存分析工具（如Valgrind的massif、heaptrack等）可以监测程序的内存分配与释放行为，报告内存峰值、内存泄漏、无效内存访问等问题，并提供内存消耗随时间变化的详细报告。
代码热点定位：基于CPU profiling和内存分析的结果，确定消耗资源最多的代码段（热点）。针对这些热点进行代码审查、算法优化、数据结构改进或使用更高效库函数等，以提升程序性能。

综上所述，C语言调试技术与策略涵盖了从基础调试工具的使用到高级调试技巧、异常处理机制、日志分析以及性能优化等多个方面，旨在全面、有效地诊断和解决程序中的各类问题。