7.3.2 覆盖率分析：代码/功能覆盖

文档摘要

7.3.2 覆盖率分析：代码/功能覆盖在嵌入式系统开发的深夜，当最后一行测试用例跑完，CI流水线亮起绿色对勾，工程师常会松一口气——但若此时有人问：“你确定所有边界条件都触达了吗？那个被包裹的错误恢复路径，真的被执行过吗？中断服务程序里那三行从未被触发的分支，是逻辑冗余，还是隐藏的硬件兼容性兜底？”——那一刻，绿色不再代表安全，而是一张尚未签字的空白保单。覆盖率分析，从来不是测试报告末尾一个冷冰冰的百分比数字。它是代码世界的X光片，是软件行为的显微镜，更是工程信任的计量器。尤其在7.3.2“覆盖率分析：代码/功能覆盖”这一节点上，我们讨论的已非“是否跑过”，而是“是否以正确的方式、在正确的上下文、经由正确的数据流、抵达了正确的语义状态”。这要求我们穿透编译器抽象层，直抵指令执行轨迹；