e4d70f9fcb
证据源 = 主树 ci-artifacts/archify/architecture-dtu-overview-20261030-095132/ evidence.md §11。该目录不入库,故把每条的判据与实测源抄进正文,别让证据只活在 一台机器上。处置口径:能改的改成与代码同源,核实后确认文档没问题的明确写「不改」。 判停点与就绪屏障(条 1、条 3) - AGENTS 原写 `protect_task.c:98` 直接停走判据:`:98` 是 `s_prev_cal_lock` 变量, 判停点是 `App/task/protect_task.c:268 if (adc_cal_prot_blocked() != 0u)`, 判定本体在标定层 `adc_cal_prot_blocked()`、protectTask 只是消费者 → 改引用, 同步 `ui_task.c:240` 页面注释与 `docs/任务规划/数据可信.md` 的同一处行号。 - `SYS_EVT_FTP_READY` 有生产者(`Src/freertos.c:490`,注释自陈预留)无消费者; `SYS_EVT_TIMESYNC_READY` 全仓无生产者也无消费者(只有定义与测试桩)。 AGENTS、`sys_events.h` 位注释、屏障配图(生成器 + 产物)三处从「四个就绪位 并列」改成「bit0/bit1 在用 + bit2/bit3 预留」,并指向 `docs/架构设计/项目启动顺序管理.md` §3.2 的逐位对照表。ftpTask 实际等的是 `NET|STORAGE`(`Src/freertos.c:477-479`,WaitAll|NoClear,100 ms 分片喂狗)。 /log 不是「三本」(条 5) - `App/log/sys_log_mcu.c` 的 `s_paths[]` = run / selftest / accid / alarm / start / oper / yk 七本 64B 定长文本 + `soe.log`(64B 定长二进制)+ `wdev.log` (变长取证行,`App/fs/vol_lock` 侧投,不走定长格式)。 → AGENTS 两处、总览 §2.1 与 §4 的「三本」改成「七本 + SOE(+ wdev 取证行)」。 主机单测 44 套 → 47 套(条 2,两把机器尺互证) - `scripts/check_test_coverage.py --list` 打印 47 行;`ls -d test/host/*/` = 48 个 一级目录,唯一没有 `run_unit_test.py` 的是 `common/` ⇒ 47 套。 - 差额三名 = 屏板链路套件:`sb_proto`、`sb_link`(2026-10-29 入库)、 `sb_led_map`(2026-10-30 入库)。专属钩子仍是 22 根 ⇒ 无专属钩子的从 22 套变 25 套。 - 同步面:AGENTS、`docs/门禁说明/README.md`、`host-unit-tests.md` §6 台账(名单补 三名)、`docs/代码规范/pre-commit使用说明.md`、`主机单测覆盖率口径.md`(含耗时句)、 `scripts/README.md`、总览目录树、`.pre-commit-config.yaml` 三处注释、 `test/host/sys_log_mcu/sys_log_mcu_test.c` 一处注释。 - 带日期戳的历史测量值按纪律冻结不动:28 套、41 套 ~105 s、40 套/18 套那三处。 本仓 LVGL 版本(条 6) - vendored 版本 = `Lib/lvgl/lv_version.h:9-11` 的 9.3.0;总览两处「LVGL v9.2」与 `gen_arch_svg.py` 图内文字改 v9.3 并重跑产物(脚本与产物同一笔,`generated-fresh` 逐字节核)。 - **刻意不动**:`docs/内存管理/RAM使用分析与优化方案.md` 两处「LVGL v9.2 文档」+ GitHub `release/v9.2` 分支 URL ——那是对外游某分支文档的引用,不是本仓版本声明。 触发口径与栈值(条 4、7、9、10) - ADC 映射 §1「ADC1 为软件触发」是旧口径:`Src/adc.c:53` 实为 `ADC_EXTERNALTRIGCONV_T3_TRGO` → 改成 TIM3 TRGO,并补一句「TIM3 与 TPAFE 的 CONVST 之间没有硬件耦合,仍不构成共同采样触发」,缺陷结论本身不变。 - 同文档 adcTask 栈 512 → 640 words(`Src/freertos.c:159 .stack_size = 640 * 4`)。 - `docs/UI设计/UI_设计架构.md` 的 uiTask 栈「16384 words」是单位错: 实为 4096 words = 16384 B(`Src/freertos.c:218`),顺手补上行号。 - `App/app/app_main.c:197` 注释「DE = PD0」陈旧:`:198` 实传 `ST_DIR4_*` (V0.1 实板 PA15,V0.0 才是 PD0)→ 注释改指 V0.1 网表报告的引脚迁移表。 - 两处已退役编号 `N-18`(ADC 映射、V0.1 网表报告)换成登记簿条目名 「双转换器无共同采样触发」。 核实后确认「文档没问题」的三条(条 8、12、13) - 黄金参考「菜单 8 状态 + 内容页 66 张」:`simulator/tests/ref/` 实测 66 个 `shot_*.bin`,与 `ui-golden` 钩子显示名一致 → 不改。 - `App/task/rs485_task.c` 存在但 `Src/freertos.c` 不创建它(grep 无 rs485): AGENTS 与总览都已写明「尚未接线 / 暂缓」,图侧画成「实现待接线」→ 不改。 - 104 端口 `:2404` 是工厂默认、可经 `/config.ini` `[comm]` 改 → 总览索引表补 「默认」二字;「uiTask 10 ms 节拍」核实 = `ui_tokens.h:65 UI_TASK_TICK_MS 10` ✓。 并行勘查会话的同族发现(它扫「文档声明数 vs 真值」,逐处独立复验后采纳 3 处) - `App/protocol/iec104/iec104_link.h` 头注释写「端口:TCP 2404(§1.5 B0 定义)」, 同文件下方已写「服务端口真源已迁 [comm] 段」= 自相矛盾 → 补「工厂默认」并指回 [comm] 与「下次重 bind 即生效」。 - `scripts/gen_task_table.py` 的 iec104Task 描述「:2404 监听」→「工厂默认 :2404 监听」,`--write` 重生成 README 任务表(AGENTS 表无描述列,实测未被改写)。 - `App/log/README.md` 五行写入点行号全漂:事故 181→188、告警 184→191、启动 176→183(`App/task/protect_task.c`);操作 `iec104_pts.c` 574/602→582/610、 `default_task.c` 242→266、`sys_log_mcu.c` 646→682;遥控 573/576/582/586/596/ 598/609 → 581/584/590/594/604/606/617(宿主 `sim_syslog.c:245` 原值正确、未动)。 - **撤销一条**:我早先记的「`docs/算法/继电保护功能复现规划.md:225` 声称记录本已 有消费者」与原文不符——:225 实为规划表里「动作/SOE 记录 | 复用 `sys_log`」一行, 属能力复用口径、不是当前态断言 → 不改。教训:**改引用前逐处读现文,别照自己 上一轮的笔记盲替**(这条比改中的每一处都值钱)。 - 同一批勘查还报了约 12 处「`2404` 缺『工厂默认』限定词」(AGENTS、`App/protocol/ README.md`、`Src/freertos.c` 注释、5 篇 docs、`test/host` 工具,含一张配图生成器 要连产物同批重跑)与 `测试开发标准流程.md`「像素层 60 内容页」、 `.pre-commit-config.yaml` uinav 注释「快检档 18 张黄金参考」(后者写时为真、 描述的却是钩子现有行为):**本笔刻意不做**,另开任务空间处理——那批要同时动 AGENTS.md 与 `.pre-commit-config.yaml` 两处单写者面,与并行会话撞车的代价更高。 - 端口生效语义(用户裁定 2026-10-30):产品基线写「公共地址与端口可配…改后需重启 生效」,代码 `App/task/iec104_serv.c` 是「ca 改后要重启;port 下次重 bind 才生效」 ——裁定**按代码语义要改**处理(改了端口应立刻重 bind),属固件行为变更,另开任务 且需真机验证;`.serialtest/config.json` 写死 `i104: listening on 2404` 必检锚点 是同题(现场改端口会让串口回归假失败),一并留给那条任务。 自查(任务树内) - `check_doc_links.py --sections-strict`:12 个改动 .md 逐个 rc=0; `check_mermaid.py` 改动 .md 全 rc=0;`check_generated_fresh.py` PASS (25 个生成器 / 21 一致 / 4 存量基线);`check_nested_comment.py --all` PASS (449 文件,新发 0、存量 2);`check_bom_drift.py --all` 99 个名单文件无漂移。 - 编译:`.dsh/skills/keil-build` 退出码 0(0 错误 0 警告), Program Size Code=246720 RO=29836 RW=2052 ZI=149708 —— 与本树凭证同码, 证明这批改的确实只有注释与文档。 - 字节体检:23 个文件无 CR / U+FFFD / 行尾空格 / 缺末行换行;`ui_task.c` 被编辑后 丢的 3 字节 BOM 已补回(bom-guard 复验通过);5 处「三连空行」逐文件与 HEAD 比对确认是存量(Python 生成器的 PEP8 双空行与个别 C 文件原有空行)。 - 一次性工具 `ci-artifacts/fix_docs2.py`:断言式规则表,按文件读一次、在演化文本上 逐条替换、一次写盘。第一版写成「每条规则各自从启动时快照起算」,同一文件后一条 把前一条整体覆盖,只有每文件最后一条活下来——靠「改完再全仓复扫旧形态」当场抓到, 这条判据本身已值得写进流程。 - 待办:`git add` 后需重跑 `ram_baseline.py --update`(体积凭证按 git 索引内容生成, 未 staged 的文件不在凭证里,`check_size_gate.py --local` 现在因此报红)。 - 未 commit、未 push(AGENTS.md 边界:提交属 Ask first)。
test/host/ — 主机端测试脚本
PC 侧的测试驱动与判读脚本(Python,跑在开发机上,经串口/网络与目标板交互)。
文件一览
流程与判读
| 脚本 | 作用 |
|---|---|
run_boot_test.py |
/serial-boot-test 一键闭环:开串口+清日志 → 烧录 → wait-idle → verify_log 校验(退出码 0=PASS) |
verify_log.py |
日志标记校验:Required / Forbidden 标记 → PASS / FAIL;可选 --require-suite-summary 校验套件汇总行(=== <名称>: N/M PASSED (failed=0) === 且 N>0),抓"没跑到汇总行/断言数为 0"的盲区 |
e02_probe.py |
头阻塞专项探针 |
网络 / FTP
| 脚本 | 作用 |
|---|---|
ch395f_socket_test.py |
Socket 通信测试(回显服务器 / 文件收发) |
ftp_test.py |
FTP 基本功能测试 |
ftp_up_dl_test.py |
FTP 上传下载测试 |
ftp_speed_test.py |
FTP 传输速度测试 |
ftp_capture.py |
FTP 流量抓取 |
ftp_regression.py |
FTP 回归套件 |
ftp_abort_probe.py |
FTP 中止场景探针(TRAP-NET-18;RST→450 / FIN→226,--check-abort;2026-10-13 自 MDK-ARM/ 迁入) |
ftp_integrity_test.py |
FTP 上传 SHA-256 完整性多轮回归 |
n30_repro.py |
背靠背 STOR 复现器(TRAP-NET-20 常备回归腿) |
relisten_stress.py |
监听快速复连压力(TRAP-NET-17 / E1:--port --n --gap-ms [--hold-ms]) |
e11_keepalive_probe.py |
keepalive 黑洞判死探针(E11) |
e6_soak.py |
E6 24h 挂机驱动(常态 + 每小时/每 4h E1 压测注入;判据读串口 U15 probe 计数) |
pasv_probe.py |
PASV 数据通道时序探针 |
ch395f_reuse_host.py |
Socket 复用/中止形态 PC 对端(bench 配套) |
ftp_auth_bench.py |
FTP 鉴权/锁定台架腿 |
iec104_master.py |
IEC 60870-5-104 主站客户端(B6/B7):连设备 :2404 跑 STARTDT → 总召(actcon/四组背景扫描/actterm)→ 经 C_SE 两段写临时压低 OC1 定值确定性触发 YX16 变位(COT=3)→ 恢复 → YK11 两段式 → C_RD 读回;B7 持久化模式 --b7-pre/--b7-post/--b7-mark/--b7-check(中间 ST-LINK 复位):YK12 两段投退→保护退出/联动、定值与压板态跨复位保持(含非默认 7.5 往返);纯标准库,输出纯 ASCII 可直接重定向归档为台架证据(判据 exit 0/1/2) |
时间 / 时延
| 脚本 | 作用 |
|---|---|
latency_peer.py |
链路时延测试的 PC 对端(peer) |
time_sync_server.py |
时间同步推送服务(对时源) |
主机侧单元测试(纯逻辑,无硬件)
| 文件 | 作用 |
|---|---|
common/unit_test_harness.py |
通用单测 harness(主机侧纯逻辑单测):探测 MSVC → 拼 INCLUDE/LIB → 编译 → 运行 → 判定退出码。各模块运行器只做声明式配置(TestBuild),不含工具链细节 |
watchdog/run_unit_test.py |
看门狗判定状态机单测:声明 TestBuild 后调 harness,用 MSVC 离线编译真实 App/util/task_watchdog.c(可观测桩驱动),39 用例穷举边界。零硬件、秒级(退出码 0=PASS/1=FAIL/2=环境错误) |
watchdog/watchdog_test.c |
测试单元本体(#include 生产源码 + 平台钩子桩) |
watchdog/stub/ |
桩头文件(main.h/iwdg.h/dbg_log.h),覆盖 MCU 版以在 PC 上编译 |
sys_clock/run_unit_test.py |
系统时钟换算单测:离线编译真实 App/util/sys_clock.c,以可控时钟 + 阴影 RTC 桩驱动,100 断言点覆盖闰年/月末/世纪/2038 上限/星期/30 天惰性再基准化/RTC 故障降级 |
sys_clock/sys_clock_test.c |
测试单元本体(#include 生产源码 + 强符号桩;不改生产代码) |
sys_clock/stub/ |
桩头文件(main.h/FreeRTOS.h/task.h/dbg_log.h),覆盖 MCU 版以在 PC 上编译 |
cfg_file/run_unit_test.py |
配置引擎单测:离线编译真实 App/cfg/cfg_file.c,以内存虚拟文件系统桩驱动,149 断言点覆盖 INI 解析/四种值类型编解码/段注册校验/load-save-poll 契约/超长守卫/故障注入 |
cfg_file/cfg_file_test.c |
测试单元本体(#include 生产源码 + cfg_store_* 内存 FS 后端桩;不改生产代码) |
cfg_file/stub/ |
桩头文件(dbg_log.h),覆盖 MCU 版以在 PC 上编译 |
phasor/run_unit_test.py |
相量层(L2)单测:离线编译真实 App/algo/phasor.c + sample_ring.c(无需任何桩,纯算法),57 用例覆盖傅氏系数表 / 幅值·相位 / 谐波抑制与提取 / 频偏 / 采样环 / 双区原子交换 |
phasor/phasor_test.c |
测试单元本体(#include 两个生产源码 + 合成任意波形) |
adc_input/run_unit_test.py |
ADC 输入层(L1)单测:离线编译真实 App/algo/adc_input.c,103 用例给每个 Rank 注入互异码值逐通道钉死映射,并覆盖 DMA 挂载失败 / 乒乓半区选择(撕裂帧防线) / 超拍丢帧 / 停摆 / HAL 回调句柄守卫 / 停摆拍陈旧帧 / 参数错等真机难复现分支 |
adc_input/adc_input_test.c |
测试单元本体(#include 生产源码 + HAL / TPAFE 可注入桩) |
adc_input/stub/ |
桩头文件(adc.h / tpafe5160.h) |
vol_lock/run_unit_test.py |
卷锁单测:离线编译真实 App/fs/vol_lock.c,33 断言点覆盖创建 / 获取 / 释放契约(fail-open 不变量:创建失败仍返回 1 且零阻塞)/ 幂等 / 超时透传 |
vol_lock/vol_lock_test.c |
测试单元本体(#include 生产源码 + CMSIS 互斥桩) |
vol_lock/stub/ |
桩头文件(cmsis_os.h) |
time_sync/run_unit_test.py |
时间同步单测:离线编译真实 App/sync/time_sync.c,80 断言点覆盖分片喂狗延时 / 监听退避 / 时间包重组(半包·粘连·EOF·真错·预算耗尽·tick 回绕)/ 任务主循环(探针窗口心跳缺口的全部逻辑贡献者) |
time_sync/time_sync_test.c |
测试单元本体(#include 生产源码 + 网络 / 事件 / RTOS 可脚本化桩 + longjmp 跳出 for(;;) 任务循环) |
time_sync/stub/ |
桩头文件(FreeRTOS.h / task.h / cmsis_os2.h / net_socket.h / sys_clock.h / sys_events.h / dbg_log.h) |
iec104/run_unit_test.py |
IEC 60870-5-104 协议栈单测(B4):离线编译真实 App/protocol/iec104/ 三模块 + 数据源(prot_set/prot_elm/phasor/sample_ring),82 用例覆盖 CP56 往返 / APCI 半帧·粘帧·坏帧 / STARTDT 握手 / 总召分片+RBT / COV 死区 / k=12 窗满 / w=8 触发 S / t1·t2·t3 / N(R) 倒退判故障 / 遥控·定值两段式与 PN / C_CS / 未知类型·地址错误应答 |
nand_port/run_unit_test.py |
dhara NAND 移植层单测:离线编译真实 Drivers/BSP/GD5F2GQ5UE/nand_ftl.c + 真实 Lib/dhara/{journal,map}.c,以 RAM 假芯片驱动,149 断言覆盖 is_free 整页扫描 / 六个 HAL 入口的越界守卫 / 故障注入 / dhara map"写入 → 重新 resume"场景 |
nand_port/nand_port_test.c |
测试单元本体(#include 生产源码 + RAM 假芯片;内联一份"只看页首 64 B"的旧算法对照,证明断言能咬人) |
nand_port/stub/ |
桩头文件(gd5f2gq5ue.h 芯片几何与 SPI 原语声明 / dbg_log.h 日志宏计数) |
详见
docs/测试说明/单元测试/看门狗单元测试说明.md、docs/测试说明/单元测试/系统时钟单元测试说明.md、docs/测试说明/单元测试/配置文件单元测试说明.md、docs/测试说明/单元测试/ADC输入层单元测试说明.md、docs/测试说明/单元测试/相量层单元测试说明.md、docs/测试说明/单元测试/卷锁单元测试说明.md、docs/测试说明/单元测试/时间同步单元测试说明.md; harness 用法见common/README.md。 已挂 pre-commit 钩子(各模块同名*-unit-test,共 22 个;逐个说明见docs/代码规范/pre-commit使用说明.md§2 与 AGENTS.md 门禁条)。
nand_port —— dhara NAND 移植层为什么能在 PC 上测
一句话:移植层是纯逻辑 + 假芯片,能钉死真机极难复现的越界/误判路径。
nand_ftl.c 的 dhara HAL 六个入口只做地址算术与边界判定,芯片侧全部经 11 个 SPI
原语打交道——把它们换成一块 RAM 假芯片,整层即可离线跑。而它要防的两类缺陷恰恰是
板端拿不到观测面的:
is_free旧实现只看页首 64 B,"页首 0xFF、后段有数据"的已编程页被误判 空闲 → dhara 往已编程页再编程 = 静默数据丢失。真机要恰好撞上那种页形态才发作, 发作后只表现为"某次复位后丢数据"。假芯片把双编程做成可数事件(违规计数), 测试还内联一份旧算法做对照:同一页旧算法答"空闲"、新实现答"非空"。- 越界页/块号(含
DHARA_PAGE_NONE哨兵)旧会被地址位截断成真实页 → 静默读写/搬走无辜数据。真机上没有任何路径会主动喂进越界号。假芯片记录全部 访问次数,于是"越界 → 返回 -1 +DHARA_E_CORRUPT_MAP且零芯片访问、零标坏块" 可机械断言。
运行方式
# /serial-boot-test 一键闭环(推荐,需真机)
& '.venv\Scripts\python.exe' .dsh/skills/serial-boot-test/scripts/run_boot_test.py
# 测试套件构建的回归:要求套件跑到汇总行且断言数 > 0
& '.venv\Scripts\python.exe' .dsh/skills/serial-boot-test/scripts/run_boot_test.py `
--required "=== Storage Tests:" --forbidden "ERROR;HardFault;[ERR]" `
--require-suite-summary "Storage Tests"
# 看门狗判定状态机单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/watchdog/run_unit_test.py
# 系统时钟换算单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/sys_clock/run_unit_test.py
# 配置引擎单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/cfg_file/run_unit_test.py
# 相量层(L2)单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/phasor/run_unit_test.py
# ADC 输入层(L1)单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/adc_input/run_unit_test.py
# 卷锁单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/vol_lock/run_unit_test.py
# 时间同步单测(纯逻辑,无需真机)
& '.venv\Scripts\python.exe' test/host/time_sync/run_unit_test.py
# dhara NAND 移植层单测(纯逻辑 + RAM 假芯片,无需真机)
& '.venv\Scripts\python.exe' test/host/nand_port/run_unit_test.py
串口端口配置在
.serialtest/config.json(单一配置源,当前 COM6/115200)。
⚠️ 注意
- PYTHONPATH/路径敏感:脚本按仓库根相对路径读写,从仓库根执行
- 本目录被 pre-commit 门禁的 cppcheck / 代码规范排除(
test/豁免); 但各模块的run_unit_test.py自身作为独立钩子参与门禁(见上,共 22 个) - 台架探针族分工(2026-10-13 起):自愈/Trap 常备回归腿在本目录(
relisten_stress/ftp_abort_probe/n30_repro/e02_probe/e6_soak等);MDK-ARM/*.py只余被文档当作 可信判据引用过的三件(ftp_freeze_probe/tcp_reconnect_probe/bench_verdict)—— 2026-10-22 清掉了一批既无人引用、又因设备侧启用鉴权而再也登录不上的历史一次性探针 (MDK-ARM/ftp_retr_abort_probe.py与整个MDK-ARM/bench_diag/(4 个诊断脚本)),需要时从 git 历史取回;ftp_freeze_probe.py因被 Trap 记录当复现配方而保留,已改用设备账号登录。 - 全部主机侧单测(16 个模块目录,含本目录新增的
nand_port/)都需要本机装有 MSVC (VS2019/2022/2026 的 C++ 工具链);无则脚本报环境错误(退出码 2)
相关文档
docs/测试说明/流程与规范/自动化测试流程.md—/serial-boot-test细节与失败模式docs/测试说明/流程与规范/测试开发标准流程.md— 测试分层与门禁docs/测试说明/单元测试/看门狗单元测试说明.md— 主机侧单测(用例 / 平台层 / 扩展方法)docs/测试说明/单元测试/系统时钟单元测试说明.md— 系统时钟换算单测(用例 / 桩 / Zeller 缺陷记录)docs/测试说明/单元测试/配置文件单元测试说明.md— 配置引擎单测(内存 FS 桩 / 抓出的 P0)docs/测试说明/单元测试/ADC输入层单元测试说明.md— ADC 输入层单测(逐 Rank 钉死映射)docs/测试说明/单元测试/相量层单元测试说明.md— 相量层单测(傅氏系数 / 双区交换)docs/测试说明/单元测试/卷锁单元测试说明.md— 卷锁单测(fail-open 不变量)docs/测试说明/单元测试/时间同步单元测试说明.md— 时间同步单测(探针窗口心跳缺口逻辑贡献者)docs/测试说明/板级测试/CH395F_Test_Guide.md、FTP_Test_Guide.md