6.2.3 覆盖率度量：决策、条件、MCDC 覆盖率

文档摘要

6.2.3 覆盖率度量：决策、条件、MCDC 覆盖率在嵌入式系统、航空电子、汽车功能安全（ISO 26262）、医疗设备（IEC 62304）乃至高可靠金融交易引擎的测试实践中，有一句被反复咀嚼却常被轻率执行的话：“100%语句覆盖 ≠ 安全；100%分支覆盖 ≠ 正确；唯有 MC/DC 覆盖率达标，才真正触及逻辑健壮性的神经末梢。”——这不是教条，而是无数血泪故障回溯后凝结出的技术共识。今天，我们不谈概念定义，不列标准条文，不堆砌术语表。我们坐到调试器旁，打开编译日志，敲下第一行插装代码，亲手构造一个布尔表达式，逐位翻转它的输入，观察覆盖率报告中那几个跳动的数字如何从“72.3%”跃升至“100.0%”。