4、集成测试策略：模块间接口测试、数据流测试、状态机测试方法
模块单元测试做完了，每个模块单独跑都没问题。然后呢？
然后就是集成测试。说白了，就是把各个模块拼起来，看看它们能不能好好配合。我见过太多项目，单元测试覆盖率90%以上，一集成就崩。为什么？因为模块之间通信的坑，单测根本覆盖不到。
4.1 模块间接口测试：别让握手变成打架
接口测试是集成测试的第一关。两个模块之间传递数据，只要接口定义有半点含糊，后面就是灾难。
我个人习惯把接口测试分成三类：
| 接口类型 | 测试重点 | 常见问题 |
|---|---|---|
| 函数调用接口 | 参数顺序、类型、返回值 | 参数传反、指针悬空 |
| 消息队列接口 | 消息格式、超时、满队列处理 | 字节序不对、丢消息 |
| 共享内存接口 | 同步机制、数据一致性 | 竞态条件、缓存不一致 |
举个例子。我之前做车载ECU项目，两个模块通过CAN总线通信。模块A发了一个报文，模块B死活收不到。查了两天，发现是报文ID定义错了——A用0x123，B等0x321。这种低级错误，单元测试根本发现不了。
4.2 数据流测试：跟着数据走一遍
数据流测试，核心思路就是跟踪数据从产生到消费的完整路径。你想想看，一个数据在系统里流转，经过哪些模块？被哪些函数处理？有没有中间被篡改？
我通常用数据流图来辅助设计用例。每个数据对象都有三个关键阶段：
- 定义（def）：数据被创建或赋值
- 使用（use）：数据被读取或计算
- 销毁（kill）：数据失效或释放
测试要覆盖的路径包括：
- def-use对：每个定义至少被使用一次
- def-kill对：定义后未被使用就销毁，可能是冗余代码
- use-use对：连续两次使用之间数据是否被意外修改
我曾经在一个通信协议栈里发现一个bug：某个标志位在函数A里被置位，函数B里被清零，然后函数C又读它。结果因为执行顺序问题，C读到的是错误值。这就是典型的def-use路径没覆盖到。
4.3 状态机测试：状态多了就是坑
嵌入式系统里到处都是状态机。按键处理、通信协议、电源管理……几乎每个模块都有状态。状态机测试，就是验证状态转换的正确性。
我习惯把状态机测试分成三个层次：
| 层次 | 测试内容 | 用例数量 |
|---|---|---|
| 状态覆盖 | 每个状态至少进入一次 | N（状态数） |
| 转换覆盖 | 每个合法转换至少执行一次 | M（转换数） |
| 路径覆盖 | 关键路径的连续转换序列 | 取决于路径长度 |
状态覆盖是最低要求。转换覆盖是基本要求。路径覆盖才是真正能发现问题的。
举个例子。一个简单的蓝牙配对状态机，有4个状态：空闲、扫描、配对、已连接。状态覆盖只需要4个用例。但转换覆盖需要测试所有合法转换，比如空闲→扫描、扫描→配对、配对→已连接、已连接→空闲等等，大概10个左右。而路径覆盖，你要测试空闲→扫描→配对→已连接→空闲这条完整链路，还要测试异常路径，比如配对失败回到空闲。
4.4 三种策略如何配合
这三种策略不是孤立的。实际项目中，我通常这样组合：
- 先用接口测试确保模块间通信没问题
- 再用数据流测试验证关键数据的完整路径
- 最后用状态机测试覆盖系统的行为逻辑
顺序很重要。接口不通，数据流测试根本跑不起来。数据流有问题，状态机测试的结果也不可信。
下面这张图展示了三种策略的关系：
4.5 实战中的避坑指南
做了这么多年集成测试，踩过的坑不少。挑几个典型的说说：
我曾经有个项目，模块间通信测试全过，结果现场跑了一天就死机。查到最后，是消息队列满了之后，发送方没有做阻塞处理，直接覆盖了旧数据。接口测试一定要测满队列、空队列、超时这些异常场景。
嵌入式系统里，中断随时可能发生。你测试一个数据路径时，如果中间被中断打断，数据可能被修改。我建议在数据流测试里插入中断触发点，验证数据一致性。
非法转换才是bug的高发区。比如系统在"初始化"状态收到"发送数据"命令，应该怎么处理？很多代码直接崩溃。一定要测试每个状态下的所有输入，包括不该出现的输入。
4.6 测试用例设计示例
最后给一个实际例子。假设我们有一个电源管理模块，包含三个状态：唤醒、休眠、低功耗。接口是消息队列，数据流是电源状态值。
接口测试用例：
- 发送合法状态切换消息，验证模块响应正确
- 发送非法消息ID，验证模块忽略或报错
- 连续发送10条消息，验证队列不溢出
- 发送空消息（长度为0），验证模块不崩溃
数据流测试用例：
- 从消息接收→状态解析→状态切换→状态上报，完整路径验证
- 在状态切换过程中插入中断，验证最终状态正确
- 同时发送两个冲突的状态切换请求，验证优先级处理
状态机测试用例：
- 唤醒→休眠→唤醒，正常转换
- 唤醒→低功耗→唤醒，正常转换
- 休眠状态下收到低功耗请求，验证是否忽略
- 低功耗状态下收到休眠请求，验证是否转换
- 所有状态下收到非法命令，验证不崩溃
嗯，集成测试做到这个程度，基本就能把模块间的坑都填上了。记住一点：集成测试不是单元测试的简单叠加，它有自己的方法和重点。接口、数据流、状态机，这三个维度覆盖了模块间交互的方方面面。