实机测试实施指南重构为纯执行流程：步骤1~7+状态标记，已完成事项（S7/A1~A4）细节与证据移出至各模块文档，§1改执行流程总览，外部引用同步

2026-10-03 22:45:19 +08:00
parent a7af1c9333
commit aef1d92b3f
8 changed files with 70 additions and 63 deletions
@@ -587,3 +587,4 @@ void adc_cfg_init(void)
 | 2026-09-15 | v1.10：**配置引擎属主任务变更** netTask → defaultTask（P1-3 跨任务竞态修复，P1-5 一并落地）——① 上电加载移入 defaultTask 的 STORAGE_READY 屏障之前（屏障语义 = 卷挂载 + 配置就绪）；② UI 保存改跨任务交接：`net_cfg_save_request()`（"待保存"标志 + `SYS_EVT_CFG_SAVE` 事件唤醒）→ defaultTask `net_cfg_save_run()` 执行写盘、成功触发"立即应用"（`SYS_EVT_NET_RECONFIG` → netTask 重建），保存行随交接状态显示 ENTER/WAIT/OK/ERR（写盘期间的新请求重位置位不丢失）；③ 2s poll 收敛 defaultTask——引擎静态状态仅单任务触碰，竞态在结构上消除；④ netTask 只读 RAM 副本、不触碰配置文件引擎；D15-③ 单写者、§5.1~5.4 时序图与并发矩阵同步；双端构建 0/0、UI 五步门禁全绿 |
 | 2026-09-18 | v1.11：**P0-1 修复（临时缓冲改走平台堆）**——共享核心 4 处 `malloc`（读缓冲 4,097B / 模板输出 5,120B / 外科保存 Pass1 副本 + 输出 5,120B）此前落在 **MicroLIB C 堆**上，而该堆由 `startup_stm32f407xx.s` 的 `Heap_Size EQU 0x200` 限定为 **512 B**，真机必然分配失败 → 配置加载静默回落工厂默认（模拟器用宿主 CRT 堆，两端不一致，故双端 0 警告 0 错也照不出来）。① `cfg_file_store` 新增 `cfg_store_alloc/cfg_store_free/cfg_store_heap_free` 后端三件套（MCU = `pvPortMalloc/vPortFree`，与 `lftpd_io.c` 同模式；模拟器 = `malloc/free`），共享核心不再出现 C 库分配符号；② 新增编译期堆峰值预算 `CFG_HEAP_BUDGET = 10240B`（typedef 负数组实现，ARMCC 5 C99 无 `_Static_assert`），放大 `CFG_FILE_MAX_LEN`/`CFG_OUT_MAX` 直接编译失败；③ 四条失败路径（load 读失败 / 模板写失败 / 保存分配失败 / 保存写盘失败）增 `syslog_post(SYSLOG_SELFTEST, …)` 上报，不再只留串口行；`load: OK` 行附带 `heap free` 实测值；④ 属主任务注释同步为 defaultTask。map 复核：`malloc.o` 不参与链接、`Removing startup_stm32f407xx.o(HEAP), (512 bytes)`，静态区 126,584 → **126,064 B**（余 4,488 → **5,008 B**）；双端 0 错 0 警、`--cfgtest` PASS |
 | 2026-09-22 | v1.12：**E-01 超长守卫根治**（错误码传播审计第一档 #3，commit d030cb0）——poll 的"超长=损坏"检查写在截断后读长（`s_load_file` 读长钉死 4096）上**恒假=死码**，超长文件被截断当有效解析 → 界外静默回工厂默认 → 基线粘住 → 用户配置销毁链。① poll 沉降分支判定改用 `cfg_store_stat` 真实 `st.size` 且**先于读取**，超长走"工厂默认 + 重建模板 + `cfg poll oversized` 自检留痕"，**刻意不触发段回调**（避免按工厂 IP 重建网络造成静默失联，保留 FTP 修复通道，保存/重启收敛）② `s_surgical` 输出上限 `CFG_OUT_MAX`(5120) 收紧至 `CFG_FILE_MAX_LEN`(4096)，超限走溢出中止路径（原文件不动 + `cfg save overflow` 自检）——消除"合法写出 4097~5120B 文件 = 下次开机销毁"的雷 ③ `s_write_doc` 唯一落盘闸口硬拒 >4096B（结构性保证）④ load 超长分支补 `cfg load oversized` 自检；`cfg_file.h` v1.2 契约同步；模拟器 cfgtest 新增两回归锁（4160B 伪造 → poll 判损坏重建；4000B 注释文件 → save 拒写且原文件未动）。**台架验证暴露并修复**：`cfg_store_write_atomic` MCU 后端 `f_rename` 对已存在目标返回 `FR_EXIST` 不覆盖 → 设备端一切"目标存在的覆盖写"（UI 保存/模板重建）静默失败、仅首启建文件成功——v1.9 已为模拟器后端修过同款（MSVC `rename()` C1117），MCU 侧漏了对称修复；修复 = rename 前先 `unlink` 目标（commit 70f1cc8）。双端 0 错 0 警、cfgtest PASS、台架 FTP 5047B 用例 poll/load 双路径自愈 PASS（重建 523B 工厂模板 + selftest 留痕 + 不掉线）、`@test` 默认闭环 PASS、ST-LINK 全片回读一致 |
+| 2026-10-03 | v1.13：**真机验证 PASS（A1 闭环）**——v1.11 的 P0-1 堆分配改造在真机上验证通过：`[CFG] load: OK (523B, heap free 8840B)`（**经 FreeRTOS 堆分配**，即 512B C 堆约束的验收点）；Forbidden `FAIL`/`[ERR]` 零命中；FTP 改配置 IP→`192.168.1.101` 后**复位即加载生效**（`[NET_CFG] load: OK ip=192.168.1.101` + 芯片 `IP_INF` .101 + 21 端口探测可达），原档恢复后复测回 .100。真机全闭环 `@test` PASS 7/7。**台架步骤与判据见 `测试说明/实机测试实施指南.md` §3 / §10** |