质量保障
按军规标准写的固件,用数据说话
门禁基线只升不降:覆盖率棘轮 + 模糊测试闭环 + 双端对拍,交付即可长期运行。
四大支柱
从编码到运行期的完整质量链
01
军规安全编码
- 严格 C89 + 安全编码子集(-std=c89 -pedantic -Wall -Werror)
- include 方向单向,契约层禁依赖芯片/RTOS
- 文件命名与目录规约强制卡控
02
覆盖率棘轮门禁
- 行覆盖 91%+ / 分支覆盖 72%+ / MC-DC 条件 55%+
- 基线只升不降,禁改基线放水
- 覆盖率报告自动取证归档
03
模糊测试闭环
- libFuzzer + ASan 覆盖全部解析面
- 崩溃需「用例 + 修复 + 语料入仓」三件套才能关单
- 发布前长时深跑
04
运行期可靠性与安全
- 全局故障码体系 + 看门狗伺服 + 异常黑匣子(符号化定位工具配套)
- 1-Wire 芯片授权令牌防克隆,未授权 fail-closed
- SIP digest 认证 + SRTP 媒体加密
双端对拍体系
上位机仿真器与下位机固件共用同一套控件目录与协议源码(MQTT / TCP / SIP / RTP / Opus / 总线编解码),自动化互操作测试持续卡控「仿真通过、真机一致」。