feat(ui-data): ui_data 三通道快照 + ui_data_feed 装配 + SOE 显示名映射
按 docs/UI设计/UI_数据供给设计说明.md 的 D 方案把 App→UI 数据通道落地：
App 组帧、BSP 存帧、页面只读；UI 侧零 App include，薄包装只在两端适配层。
本笔是纯增层、不接任何页面 → 零像素变化（菜单 8 状态 + 内容页 11 页黄金
参考逐字节不变，simulator/tests/ref 无 diff，未刷基线）。
新增
- Drivers/BSP/UI/ui_data.{c,h}：实时量 rt / 参数 par / 装置信息 info 三通道存储
+ 发布序号盖章 + 只读访问。零 App include、零 LVGL include（分层叶子）；
读写同在 uiTask 上下文串行 → 无锁、无双缓冲、无 seqlock（契约 §5.1）。
- App/app/ui_data_feed.{c,h}：快照唯一填充者。rt/info 每 200 ms 一帧，par 只在
prot_set_checksum() 变化时重发；首轮立即发布，免启动初期闪一下 "--"。
- Drivers/BSP/UI/ui_w_soe.{c,h}：SOE 二进制记录的显示名映射与注入式 reader
契约。未标定闭锁=7 / 标定复归=8 已进表——编号按 App/log/soe_rec.h 与
App/algo/prot_elm.h 现场数过（类型 1..8 + 哨兵 9、元件 0..8、ELM_NONE=0xFF、
FLG_IV=0x80），不采信文档与消息转述。reader 备好但两端未绑定：落盘侧还
没有只读 API（Lead 已裁该 API 归下一工作项），未注入按"无记录"空态渲染。
量纲诚实性（契约 §4.1 同步改成真值口径，不再抄旧码值表述）
- eng 不写"0 = 原始码值"：标定层 ROM 系数是引脚侧 LSB，采样环折算出来的就是
ADC 引脚电压（承诺边界 docs/任务规划/数据可信.md §2.6）；电气 8 路
adc_cal_flags() 的 VALID 全置位才升 eng=1 二次值——整帧共用一个 eng，只要
还有一路是引脚电压就不能贴"二次值"标签，宁可整体保守。
- TEMP 不参与线性标定 → 恒带新增品质位 UI_DATA_Q_RAW=0x20，页面不挂单位。
- UB/UC/IB/IC/IN 无基波相量实例（V0.1 削顶）→ Q_IV|Q_OV；未满一周波 → Q_NT。
- 谐波另开 ph[] 相量实例槽带：yc 的语义通道下标容不下同通道的二次/五次谐波。
接线与双端注册
- App/task/ui_task.c：ui_menu_init 之前 ui_data_init + 首帧发布；主循环每轮
ui_data_feed_tick() 排在 ui_port_step 之前（本轮渲染用本轮刚发布的帧）。
- simulator/main.c：发布固定合成帧（无头与窗口两个初始化点，先于建页）；
定值不手抄 40 个数，改为链入 App/algo/prot_set.c 取出厂默认（抄表等于造
第二真相）；build_date 用固定串而非 __DATE__，否则跨天重建会把装置信息页
黄金参考刷掉，而黄金参考是判据本身。
- 注册：uvprojx 加 3 条（App 组 ui_data_feed.c + UI 组 ui_data.c/ui_w_soe.c）与
simulator/CMakeLists.txt；ui_data_feed.c 不进模拟器 → check_registration.py 的
SIM_EXEMPT 加一行（App/app/app_main.c 先例，已报备）。
主机单测与钩子
- test/host/ui_data：82 断言全绿。钉三类事：快照语义（首帧前读 -1、序号由本层
盖章、三通道互不串台、NULL 防御、init 幂等复位）；跨层不透明下标现场一致
（yc 序 = adc_semantic_t、q10 序 = prot_set_id_t，同一 TU 里 include 两侧头）；
SOE 编号与名字表现场一致（八类事件都有名、采样/标定四个词互不相同、
名长不超列宽、越界回占位）。
- .pre-commit-config.yaml 加 ui-data-unit-test 钩子（第 43 个，Lead 已批自加）。
- scripts/id_registry.json 建族 TC-HOST-UIDATA（属主登记处 = 单测目录，同
TC-HOST-ADCCAL 先例；不建族则新号被编号门禁判"未登记前缀"）。
体积（相对 HEAD 台账 Code 215744 / RO 21396 / RW 1224 / ZI 131984）
- Code +1272 B、RO +108 B（字库 4 字，见上一笔）、RW +24 B、ZI +696 B
→ ER_IROM1 238520 B（22.7%）、RW_IRAM1 76504 B（58.4%，台账 57.8%）。
- .map 逐项：ui_data.o 488 B（Code 184/RW 12/ZI 476）、ui_data_feed.o 221 B
（1034/12/209）；LVGL 池 0 增量；ui_w_soe 未接线不进镜像（.map 无其符号）。
- 台架未跑（本笔零像素、零接线）：首帧时刻、200 ms 刷新、eng 升档与遥信
位图真值全部留"待台架实测"，接线完成后请 Lead 排窗。
遗留与风险（随回报进台账）
- 写路径（契约 §6 的 param_request/state）不落：无消费者就是永不执行的死码，
随整定 4 页一起落；届时须先定"UI 整定 vs iec104Task 写 prot_set"的并发口径
（prot_set_set_sealed 的影子区非重入）。
- 公共地址 CA 未下发：固件里 CA 逐帧从 ASDU 头解析，无集中常量可取。
- 遥信位图与 App/protocol/iec104/iec104_pts.c 板端源是两处镜像（该文件位号
写在函数体内未导出，UI 不得 include 协议头），开入采集落地时应并成单源。
- 版本类字段是本文件内的宏（仓库无产品级版本登记表，值沿用页面既有显示
值）；软件校验位在拿到构建期 CRC 步骤前一律显示 "--"，不抄参考遗留值。
gate: 全量钩子（--all-files）40 项通过；cppcheck/test-cppcheck/coding-standard/
layer-deps（基线仍 3 条）/registration/bsp-err（存量 38 条不变）/font-charset/
id-check（增量无新账）/doc-links/ui-golden/主机单测与覆盖率全绿；唯一红项是
mem-numbers 与 mem-budget——两者只因 Flash/RAM 台账未回填（禁区，归 Lead）。
gate: only mem-budget/mem-numbers pending lead ledger backfill
自查：BOM（Drivers/BSP/UI/* 与 App/task/ui_task.c 保持 EF BB BF，新建 UI 两件
同规范；App/app 与 test/host 无 BOM 与本目录一致）；CR = 0 全 LF；U+FFFD = 0；
字符串字面量纯 ASCII（中文只进注释）。
This commit is contained in:
@@ -0,0 +1,49 @@
|
||||
#!/usr/bin/env python3
|
||||
# -*- coding: utf-8 -*-
|
||||
"""UI 数据快照层（ui_data）主机侧单元测试运行器（L0.5，纯标准库）。
|
||||
|
||||
做什么：
|
||||
用本机 MSVC 编译 test/host/ui_data/ui_data_test.c（它以 #include 纳入
|
||||
**生产源文件** Drivers/BSP/UI/ui_data.c，并同时 include 契约另一侧的
|
||||
App/algo 头），在 PC 上离线跑"快照存储 + 发布盖章 + 跨层下标一致性"，
|
||||
失败即非 0 退出。零硬件、零烧录、毫秒级。
|
||||
工具链探测 / 编译运行全部委托 test/host/common/unit_test_harness.py。
|
||||
|
||||
为什么要主机侧单测（而不是只用模拟器像素回归）：
|
||||
快照层是页面看到的整个世界，但 ui-golden 只覆盖"已接线的页面"——遥信 27 点、
|
||||
定值 40 项、遥测 9 路这类"还没接线的通道"错了不会让任何一张参考图变红。
|
||||
跨层不透明下标（yc 序 = adc_semantic_t、q10 序 = prot_set_id_t）正是解耦换来
|
||||
的风险面，契约把它钉在编译/测试期（docs/UI设计/UI_数据供给设计说明.md §9.4）。
|
||||
|
||||
用法（仓库根目录）：
|
||||
python test/host/ui_data/run_unit_test.py
|
||||
|
||||
退出码：0=PASS / 1=测试失败 / 2=环境错误。
|
||||
设计依据：docs/UI设计/UI_数据供给设计说明.md §9.1 / §12 判据 8（道E task-14）；
|
||||
创建日期：2026-10-25
|
||||
"""
|
||||
import os
|
||||
import sys
|
||||
|
||||
HERE = os.path.dirname(os.path.abspath(__file__))
|
||||
ROOT = os.path.dirname(os.path.dirname(os.path.dirname(HERE)))
|
||||
sys.path.insert(0, os.path.join(ROOT, "test", "host", "common"))
|
||||
|
||||
from unit_test_harness import TestBuild, run_host_unit_test # noqa: E402
|
||||
|
||||
# 被测侧（BSP/UI）与契约另一侧（App/algo）都要在包含路径里：测试单元在同一 TU
|
||||
# 里同时看到两侧头，才有资格断言"页面表的下标指向预期枚举"。
|
||||
BUILD = TestBuild(
|
||||
name="UI Data Snapshot Tests",
|
||||
src=os.path.join(HERE, "ui_data_test.c"),
|
||||
include_dirs=[
|
||||
HERE,
|
||||
os.path.join(ROOT, "Drivers", "BSP", "UI"),
|
||||
os.path.join(ROOT, "App", "algo"),
|
||||
os.path.join(ROOT, "App", "log"), # soe_rec.h：SOE 事件类型编号真源
|
||||
],
|
||||
summary_marker="=== UI Data Snapshot Tests:",
|
||||
)
|
||||
|
||||
if __name__ == "__main__":
|
||||
sys.exit(run_host_unit_test(BUILD))
|
||||
@@ -0,0 +1,538 @@
|
||||
/*
|
||||
* 模块名称：UI 数据快照层主机侧单元测试
|
||||
* 模块功能：在 PC 上离线验证 Drivers/BSP/UI/ui_data.c（快照存储 / 发布盖章 /
|
||||
* 只读访问）与跨层契约下标空间的一致性。
|
||||
*
|
||||
* 被测对象：真实源文件 ../../../../Drivers/BSP/UI/ui_data.c（以 #include 原样纳入，
|
||||
* 保证测的是生产代码而非副本；本模块零平台依赖，无需任何桩）
|
||||
*
|
||||
* 为什么要主机侧单测（而不是只靠模拟器像素回归与台架）：
|
||||
* 1) 快照层是"页面看到的整个世界"，它错一处全部页面一起错，而像素回归只看得到
|
||||
* "当前接了线的页面"——未接线的通道（遥信 27 点、定值 40 项）错了不会让任何
|
||||
* 一张参考图变红，只有把契约下标逐项钉死才照得出来；
|
||||
* 2) 跨层"魔法下标"（yc 序 = adc_semantic_t、q10 序 = prot_set_id_t）是解耦的
|
||||
* 代价，契约把它从运行期风险降级为编译/测试期错误的第 3 条断言就落在这里
|
||||
* （同一 TU 里同时 include 两侧头，见
|
||||
* docs/UI设计/UI_数据供给设计说明.md §9.4）；
|
||||
* 3) "首帧之前显示 -- 而不是 0.000"是诚实性判据，板子上电只有一次、台架碰不到，
|
||||
* 主机侧可以随时复现。
|
||||
*
|
||||
* 字符串字面量一律纯 ASCII（编码铁律：断言名是打印用的，不参与渲染）；
|
||||
* 用例名里的通道/点号语义见各 TC 上方注释。
|
||||
*
|
||||
* 覆盖点（TC-UIDATA-xxx；属主登记处 = 本目录，族 TC-HOST-UIDATA）：
|
||||
* TC-UIDATA-001 跨层数量一致：UI_DATA_YC_N == ADC_SEM_COUNT、SET_N == PS_ID_COUNT
|
||||
* TC-UIDATA-002 跨层语义序逐项一致（UA/UB/UC/UN/IA/IB/IC/IN/TEMP = 0..8，
|
||||
* TEMP 恒为末槽——页面据此判"哪一路是码值域"）
|
||||
* TC-UIDATA-003 首帧之前：三通道读 -1、seq = 0（页面渲染 "--" 的依据）
|
||||
* TC-UIDATA-004 发布后逐字段一致 + 序号盖章（入帧 seq 被忽略、由本层 +1）
|
||||
* TC-UIDATA-005 连续发布 seq 单调递增；三通道各自独立计数、内容互不串台
|
||||
* TC-UIDATA-006 NULL 防御：publish 返 -1 且存量不动；read 返 -2 且输出不动
|
||||
* TC-UIDATA-007 init 幂等复位（发布后再 init -> 回到无首帧态）
|
||||
* TC-UIDATA-008 量纲/品质常量：eng 三档互不重合且 PIN=0；六个品质位两两不相交；
|
||||
* 三帧宽度在内存预算内（快照不是 LVGL 对象，只占 .bss）
|
||||
* TC-UIDATA-009 遥信位集合 = YX15~18/23/31（六点）；bits 与 valid 相互独立
|
||||
* TC-UIDATA-010 相量槽 ph_n 原样透传（写侧已钳位，本层不再加工）
|
||||
* TC-UIDATA-011 时钟字段容量足装 "YYYY-MM-DD HH:MM:SS"（19 + NUL）且不越界
|
||||
* TC-UIDATA-012 SOE 事件类型不透明编号与 App/log/soe_rec.h 枚举逐项相等（含
|
||||
* 未标定闭锁=7 / 标定复归=8）；八类事件全部有显示名、名长不超
|
||||
* 值列宽、采样与标定两组四名互不相同、越界编号回占位
|
||||
* TC-UIDATA-013 SOE 元件编号与 App/algo/prot_elm.h 枚举逐项相等（0..8 +
|
||||
* PE_COUNT == 表长）；元件名不超名列宽、非元件/越界回占位
|
||||
* TC-UIDATA-014 注入 reader 后的两行渲染：时标行/内容行分工、单条读盘缓存
|
||||
* （同记录两行只读一次）、IV 时标抑制、读失败退化与不绑空态
|
||||
*
|
||||
* 通过：全部 TC PASS（main 返回 0）。
|
||||
* 入口：int main(void)，返回 0=PASS / 1=FAIL（由 run 脚本判读）。
|
||||
*
|
||||
* 创建日期：2026-10-25
|
||||
*/
|
||||
|
||||
#include <stdio.h>
|
||||
#include <string.h>
|
||||
|
||||
/* 生产源文件原样纳入（纯内存叶子，零平台依赖，直接编） */
|
||||
#include "ui_data.c"
|
||||
|
||||
/* 契约另一侧的头：跨层下标空间一致性断言（本目录同时 include BSP 与 App 两侧头，
|
||||
* 这就是契约 §9.4 第 3 条断言的落点） */
|
||||
#include "adc_input.h" /* adc_semantic_t：遥测下标真源 */
|
||||
#include "prot_set.h" /* prot_set_id_t：定值下标真源 */
|
||||
|
||||
/* 第二个被测件：SOE 显示名映射组件（道E task-14 落的表现层映射表）。
|
||||
* 本组件已解除 LVGL 依赖（容量宏本地化，见其 .c 内注释），可直接编进主机单测 */
|
||||
#include "ui_w_soe.c"
|
||||
#include "soe_rec.h" /* soe_type_t：事件类型编号真源 */
|
||||
#include "prot_elm.h" /* prot_elm_id_t：元件编号真源 */
|
||||
|
||||
/* ===================== 断言框架 ===================== */
|
||||
|
||||
static int s_total;
|
||||
static int s_passed;
|
||||
static int s_failed;
|
||||
|
||||
#define CHECK(cond, name) do { \
|
||||
s_total++; \
|
||||
if (cond) { s_passed++; printf(" PASS %s\n", name); } \
|
||||
else { s_failed++; printf(" FAIL %s (line %d)\n", name, __LINE__); } \
|
||||
} while (0)
|
||||
|
||||
/* 造一帧可辨识内容的实时帧（每个字段都填不同值，串台/漏拷立刻暴露） */
|
||||
static void fill_rt(ui_data_rt_t *p, uint8_t seed) {
|
||||
uint8_t i;
|
||||
|
||||
(void)memset(p, 0, sizeof(*p));
|
||||
p->seq = 777u; /* 故意填非 0：本层应忽略并自己盖章 */
|
||||
p->tick_ms = 12345u + seed;
|
||||
p->valid = 1u;
|
||||
p->eng = UI_DATA_ENG_PIN;
|
||||
p->ph_n = (uint8_t)(seed % (UI_DATA_PH_MAX + 1u));
|
||||
for (i = 0u; i < UI_DATA_YC_N; i++) {
|
||||
p->yc[i].val = (float)i + 0.5f;
|
||||
p->yc[i].qds = (uint8_t)(i + 1u);
|
||||
}
|
||||
for (i = 0u; i < UI_DATA_PH_MAX; i++) {
|
||||
p->ph[i].val = (float)i * 2.0f;
|
||||
p->ph[i].qds = (uint8_t)(0xA0u + i);
|
||||
}
|
||||
p->yx_bits = 0x000000010000ULL;
|
||||
p->yx_valid = 0x4043C000ULL;
|
||||
p->freq_valid = 1u;
|
||||
p->freq_hz = 50.02f;
|
||||
p->clock_ok = 1u;
|
||||
(void)snprintf(p->clock, sizeof(p->clock), "%s", "2026-10-25 08:00:00");
|
||||
}
|
||||
|
||||
/* 逐字段比对（seq 除外：本层盖章后必然与入帧不同，比对前由调用方对齐） */
|
||||
static int rt_equals(const ui_data_rt_t *a, const ui_data_rt_t *b) {
|
||||
if (a->tick_ms != b->tick_ms) return 0;
|
||||
if (a->valid != b->valid) return 0;
|
||||
if (a->eng != b->eng) return 0;
|
||||
if (a->ph_n != b->ph_n) return 0;
|
||||
if (a->yx_bits != b->yx_bits) return 0;
|
||||
if (a->yx_valid != b->yx_valid) return 0;
|
||||
if (a->freq_valid != b->freq_valid) return 0;
|
||||
if (a->freq_hz != b->freq_hz) return 0;
|
||||
if (a->clock_ok != b->clock_ok) return 0;
|
||||
if (strcmp(a->clock, b->clock) != 0) return 0;
|
||||
if (memcmp(a->yc, b->yc, sizeof(a->yc)) != 0) return 0;
|
||||
if (memcmp(a->ph, b->ph, sizeof(a->ph)) != 0) return 0;
|
||||
return 1;
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-001 / 002：跨层下标空间 ===================== */
|
||||
|
||||
static void tc_contract_indices(void)
|
||||
{
|
||||
CHECK(UI_DATA_YC_N == (uint32_t)ADC_SEM_COUNT, "TC-UIDATA-001a yc slots == ADC_SEM_COUNT");
|
||||
CHECK(UI_DATA_SET_N == (uint32_t)PS_ID_COUNT, "TC-UIDATA-001b q10 slots == PS_ID_COUNT");
|
||||
CHECK((uint32_t)ADC_SEM_UA == 0u, "TC-UIDATA-002a UA == 0");
|
||||
CHECK((uint32_t)ADC_SEM_UB == 1u, "TC-UIDATA-002b UB == 1");
|
||||
CHECK((uint32_t)ADC_SEM_UC == 2u, "TC-UIDATA-002c UC == 2");
|
||||
CHECK((uint32_t)ADC_SEM_UN == 3u, "TC-UIDATA-002d UN == 3");
|
||||
CHECK((uint32_t)ADC_SEM_IA == 4u, "TC-UIDATA-002e IA == 4");
|
||||
CHECK((uint32_t)ADC_SEM_IB == 5u, "TC-UIDATA-002f IB == 5");
|
||||
CHECK((uint32_t)ADC_SEM_IC == 6u, "TC-UIDATA-002g IC == 6");
|
||||
CHECK((uint32_t)ADC_SEM_IN == 7u, "TC-UIDATA-002h IN == 7");
|
||||
/* TEMP 必须是末槽：写侧"sem < ADC_SEM_TEMP 才是电气量"的 eng 算法与页面的
|
||||
* RAW 位判定都靠这个位置，插中间等于两条判据一起错位 */
|
||||
CHECK((uint32_t)ADC_SEM_TEMP == (UI_DATA_YC_N - 1u), "TC-UIDATA-002i TEMP is last slot");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-003：首帧之前 ===================== */
|
||||
|
||||
static void tc_before_first_frame(void)
|
||||
{
|
||||
ui_data_rt_t rt;
|
||||
ui_data_par_t par;
|
||||
ui_data_info_t info;
|
||||
|
||||
ui_data_init();
|
||||
(void)memset(&rt, 0x5A, sizeof(rt));
|
||||
(void)memset(&par, 0x5A, sizeof(par));
|
||||
(void)memset(&info, 0x5A, sizeof(info));
|
||||
|
||||
CHECK(ui_data_rt(&rt) == -1, "TC-UIDATA-003a rt read before first frame == -1");
|
||||
CHECK(ui_data_par(&par) == -1, "TC-UIDATA-003b par read before first frame == -1");
|
||||
CHECK(ui_data_info(&info) == -1, "TC-UIDATA-003c info read before first frame == -1");
|
||||
CHECK((ui_data_rt_seq() == 0u) && (ui_data_par_seq() == 0u) && (ui_data_info_seq() == 0u),
|
||||
"TC-UIDATA-003d all three seq == 0");
|
||||
/* 输出缓冲必须一字不动——页面缓存被写脏会把"无数据"渲染成"有数据" */
|
||||
{
|
||||
const uint8_t *p = (const uint8_t *)&rt;
|
||||
int dirty = 0;
|
||||
size_t i;
|
||||
|
||||
for (i = 0u; i < sizeof(rt); i++) {
|
||||
if (p[i] != 0x5Au) {
|
||||
dirty = 1;
|
||||
break;
|
||||
}
|
||||
}
|
||||
CHECK(dirty == 0, "TC-UIDATA-003e output buffer untouched on failure");
|
||||
}
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-004 / 005：发布盖章与通道独立 ===================== */
|
||||
|
||||
static void tc_publish_and_seq(void)
|
||||
{
|
||||
ui_data_rt_t src;
|
||||
ui_data_rt_t got;
|
||||
ui_data_par_t par;
|
||||
ui_data_par_t pg;
|
||||
uint32_t seq1;
|
||||
|
||||
ui_data_init();
|
||||
fill_rt(&src, 3u);
|
||||
CHECK(ui_data_publish_rt(&src) == 0, "TC-UIDATA-004a publish returns 0");
|
||||
CHECK(ui_data_rt_seq() == 1u, "TC-UIDATA-004b seq stamped 1 (incoming 777 ignored)");
|
||||
(void)memset(&got, 0, sizeof(got));
|
||||
CHECK(ui_data_rt(&got) == 0, "TC-UIDATA-004c readable after first publish");
|
||||
got.seq = src.seq; /* 序号由本层盖章，其余字段须逐字节一致 */
|
||||
CHECK(rt_equals(&got, &src) != 0, "TC-UIDATA-004d all fields preserved verbatim");
|
||||
|
||||
/* 连续发布：seq 单调 +1，内容取最新一帧 */
|
||||
fill_rt(&src, 9u);
|
||||
(void)ui_data_publish_rt(&src);
|
||||
seq1 = ui_data_rt_seq();
|
||||
CHECK(seq1 == 2u, "TC-UIDATA-005a second publish bumps seq to 2");
|
||||
(void)ui_data_rt(&got);
|
||||
got.seq = src.seq;
|
||||
CHECK(rt_equals(&got, &src) != 0, "TC-UIDATA-005b latest frame is the one served");
|
||||
|
||||
/* 三通道独立：发 par 不动 rt 的 seq，也不动 rt 内容 */
|
||||
(void)memset(&par, 0, sizeof(par));
|
||||
par.valid = 1u;
|
||||
par.checksum = 0xABCDu;
|
||||
par.q10[0] = PROT_SET_Q10(10.0);
|
||||
par.q10[UI_DATA_SET_N - 1u] = PROT_SET_Q10(55.5);
|
||||
(void)ui_data_publish_par(&par);
|
||||
CHECK((ui_data_par_seq() == 1u) && (ui_data_rt_seq() == seq1),
|
||||
"TC-UIDATA-005c par publish does not touch rt seq");
|
||||
(void)memset(&pg, 0, sizeof(pg));
|
||||
CHECK((ui_data_par(&pg) == 0) && (pg.checksum == 0xABCDu)
|
||||
&& (pg.q10[0] == PROT_SET_Q10(10.0))
|
||||
&& (pg.q10[UI_DATA_SET_N - 1u] == PROT_SET_Q10(55.5)),
|
||||
"TC-UIDATA-005d par stored verbatim (Q10 not rescaled here)");
|
||||
(void)ui_data_rt(&got);
|
||||
got.seq = src.seq;
|
||||
CHECK(rt_equals(&got, &src) != 0, "TC-UIDATA-005e par publish does not pollute rt");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-006：NULL 防御 ===================== */
|
||||
|
||||
static void tc_null_guard(void)
|
||||
{
|
||||
ui_data_rt_t src;
|
||||
ui_data_rt_t got;
|
||||
|
||||
ui_data_init();
|
||||
fill_rt(&src, 1u);
|
||||
(void)ui_data_publish_rt(&src);
|
||||
CHECK(ui_data_publish_rt(NULL) == -1, "TC-UIDATA-006a publish(NULL) == -1");
|
||||
CHECK(ui_data_rt_seq() == 1u, "TC-UIDATA-006b failed publish keeps seq");
|
||||
CHECK(ui_data_rt(NULL) == -2, "TC-UIDATA-006c read(NULL) == -2");
|
||||
(void)memset(&got, 0, sizeof(got));
|
||||
(void)ui_data_rt(&got);
|
||||
got.seq = src.seq;
|
||||
CHECK(rt_equals(&got, &src) != 0, "TC-UIDATA-006d stored frame still intact");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-007：init 幂等复位 ===================== */
|
||||
|
||||
static void tc_init_idempotent(void)
|
||||
{
|
||||
ui_data_rt_t src;
|
||||
ui_data_rt_t got;
|
||||
|
||||
ui_data_init();
|
||||
fill_rt(&src, 2u);
|
||||
(void)ui_data_publish_rt(&src);
|
||||
(void)ui_data_publish_rt(NULL);
|
||||
ui_data_init();
|
||||
ui_data_init(); /* 重复调用仍幂等 */
|
||||
CHECK(ui_data_rt_seq() == 0u, "TC-UIDATA-007a seq reset to 0 by init");
|
||||
CHECK(ui_data_rt(&got) == -1, "TC-UIDATA-007b back to no-frame state after init");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-008：量纲与品质常量 ===================== */
|
||||
|
||||
static void tc_constants(void)
|
||||
{
|
||||
CHECK((UI_DATA_ENG_PIN == 0u) && (UI_DATA_ENG_SEC == 1u) && (UI_DATA_ENG_PRI == 2u),
|
||||
"TC-UIDATA-008a eng levels are 0/1/2 (pin-V / secondary / primary)");
|
||||
CHECK((UI_DATA_Q_IV | UI_DATA_Q_NT | UI_DATA_Q_OV | UI_DATA_Q_SB | UI_DATA_Q_BL
|
||||
| UI_DATA_Q_RAW) == 0x3Fu, "TC-UIDATA-008b six quality bits fill low 6 bits");
|
||||
CHECK((UI_DATA_Q_IV & UI_DATA_Q_NT) == 0u, "TC-UIDATA-008c IV/NT disjoint");
|
||||
CHECK((UI_DATA_Q_OV & UI_DATA_Q_SB) == 0u, "TC-UIDATA-008d OV/SB disjoint");
|
||||
CHECK((UI_DATA_Q_BL & UI_DATA_Q_RAW) == 0u, "TC-UIDATA-008e BL/RAW disjoint");
|
||||
/* 内存预算护栏（docs/UI设计/UI_数据供给设计说明.md §10）：快照是 .bss 里的
|
||||
* 定长结构，不是 LVGL 对象；一旦有人往里塞大数组或指针，这里先响 */
|
||||
CHECK(sizeof(ui_data_rt_t) <= 256u, "TC-UIDATA-008f rt frame within budget (<=256B)");
|
||||
CHECK(sizeof(ui_data_par_t) <= 200u, "TC-UIDATA-008g par frame within budget (<=200B)");
|
||||
CHECK(sizeof(ui_data_info_t) <= 128u, "TC-UIDATA-008h info frame within budget (<=128B)");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-009：遥信位集合与独立性 ===================== */
|
||||
|
||||
static void tc_yx_points(void)
|
||||
{
|
||||
/* V0.1 有硬件来源的遥信点集合（YX15~18/23/31，1 基序号）：与 104 点表同源，
|
||||
* 写侧 App/app/ui_data_feed.c 与 simulator/main.c 固定帧都用同一组位号。
|
||||
* 任何一处改动都会让本条红，逼着改动方同时更新页面名表与位图镜像注释 */
|
||||
const uint64_t valid_expect = ((uint64_t)1u << 14u) | ((uint64_t)1u << 15u) |
|
||||
((uint64_t)1u << 16u) | ((uint64_t)1u << 17u) |
|
||||
((uint64_t)1u << 22u) | ((uint64_t)1u << 30u);
|
||||
ui_data_rt_t src;
|
||||
ui_data_rt_t got;
|
||||
|
||||
ui_data_init();
|
||||
fill_rt(&src, 5u);
|
||||
src.yx_bits = 0u; /* 全部点位"分/未动作" */
|
||||
src.yx_valid = valid_expect;
|
||||
(void)ui_data_publish_rt(&src);
|
||||
(void)memset(&got, 0, sizeof(got));
|
||||
(void)ui_data_rt(&got);
|
||||
CHECK(got.yx_valid == valid_expect, "TC-UIDATA-009a valid mask == YX15/16/17/18/23/31");
|
||||
CHECK(got.yx_bits == 0u, "TC-UIDATA-009b bits and valid are independent fields");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-010：相量槽透传 ===================== */
|
||||
|
||||
static void tc_phasor_slots(void)
|
||||
{
|
||||
ui_data_rt_t src;
|
||||
ui_data_rt_t got;
|
||||
uint8_t i;
|
||||
|
||||
ui_data_init();
|
||||
fill_rt(&src, UI_DATA_PH_MAX);
|
||||
src.ph_n = UI_DATA_PH_MAX;
|
||||
(void)ui_data_publish_rt(&src);
|
||||
(void)memset(&got, 0, sizeof(got));
|
||||
(void)ui_data_rt(&got);
|
||||
CHECK(got.ph_n == UI_DATA_PH_MAX, "TC-UIDATA-010a ph_n passed through unchanged");
|
||||
i = 0u;
|
||||
while ((i < UI_DATA_PH_MAX) && (got.ph[i].val == src.ph[i].val)) {
|
||||
i++;
|
||||
}
|
||||
CHECK(i == UI_DATA_PH_MAX, "TC-UIDATA-010b every phasor slot kept its value");
|
||||
}
|
||||
|
||||
/* ===================== TC-UIDATA-011：时钟字段容量 ===================== */
|
||||
|
||||
static void tc_clock_field(void)
|
||||
{
|
||||
ui_data_rt_t src;
|
||||
ui_data_rt_t got;
|
||||
char probe[UI_DATA_CLOCK_LEN];
|
||||
|
||||
(void)snprintf(probe, sizeof(probe), "%s", "2026-10-25 08:00:00");
|
||||
CHECK(strlen(probe) == 19u, "TC-UIDATA-011a clock string is 19 chars");
|
||||
CHECK(UI_DATA_CLOCK_LEN == 20u, "TC-UIDATA-011b capacity is 19 + NUL");
|
||||
ui_data_init();
|
||||
fill_rt(&src, 7u);
|
||||
(void)ui_data_publish_rt(&src);
|
||||
(void)memset(&got, 0, sizeof(got));
|
||||
(void)ui_data_rt(&got);
|
||||
CHECK((got.clock_ok == 1u) && (strcmp(got.clock, "2026-10-25 08:00:00") == 0)
|
||||
&& (got.clock[UI_DATA_CLOCK_LEN - 1u] == '\0'),
|
||||
"TC-UIDATA-011c full string stored, last byte still NUL");
|
||||
}
|
||||
|
||||
/* ====== TC-UIDATA-012 / 013：SOE 不透明编号与显示名映射（现场核对枚举头） ====== */
|
||||
|
||||
/* 名字表版式护栏：名列 7 汉字 = 21 字节、值列 4 汉字 = 12 字节（UTF-8 3 字节/字）；
|
||||
* 超宽只会被屏幕裁掉，不会被任何像素门禁报出来，所以在这里钉死
|
||||
* （宽度口径 docs/UI设计/页面扩充详细方案.md §2.3 第 4 条） */
|
||||
static int all_names_fit(const char *const *tbl, unsigned n, size_t max_bytes) {
|
||||
unsigned i;
|
||||
|
||||
for (i = 0u; i < n; i++) {
|
||||
if (tbl[i] == NULL) return 0;
|
||||
if (strlen(tbl[i]) == 0u) return 0;
|
||||
if (strlen(tbl[i]) > max_bytes) return 0;
|
||||
}
|
||||
return 1;
|
||||
}
|
||||
|
||||
static void tc_soe_codes(void)
|
||||
{
|
||||
/* 编号与 App/log/soe_rec.h 枚举逐项相等（不是照抄文档转述，是 include 真头对表） */
|
||||
CHECK((uint8_t)SOE_T_ELM_ASSERT == UI_W_SOE_T_ELM_ASSERT, "TC-UIDATA-012a type ELM_ASSERT");
|
||||
CHECK((uint8_t)SOE_T_ELM_RETURN == UI_W_SOE_T_ELM_RETURN, "TC-UIDATA-012b type ELM_RETURN");
|
||||
CHECK((uint8_t)SOE_T_PLATE_OUT == UI_W_SOE_T_PLATE_OUT, "TC-UIDATA-012c type PLATE_OUT");
|
||||
CHECK((uint8_t)SOE_T_PLATE_IN == UI_W_SOE_T_PLATE_IN, "TC-UIDATA-012d type PLATE_IN");
|
||||
CHECK((uint8_t)SOE_T_SAMPLE_BLOCK == UI_W_SOE_T_SAMPLE_BLOCK, "TC-UIDATA-012e type SAMPLE_BLOCK");
|
||||
CHECK((uint8_t)SOE_T_SAMPLE_RESUME == UI_W_SOE_T_SAMPLE_RESUME, "TC-UIDATA-012f type SAMPLE_RESUME");
|
||||
CHECK((uint8_t)SOE_T_CAL_BLOCK == UI_W_SOE_T_CAL_BLOCK, "TC-UIDATA-012g type CAL_BLOCK == 7");
|
||||
CHECK((uint8_t)SOE_T_CAL_RESUME == UI_W_SOE_T_CAL_RESUME, "TC-UIDATA-012h type CAL_RESUME == 8");
|
||||
CHECK((uint8_t)SOE_T_COUNT == UI_W_SOE_T_COUNT, "TC-UIDATA-012i sentinel COUNT == 9");
|
||||
CHECK(SOE_ELM_NONE == UI_W_SOE_ELM_NONE, "TC-UIDATA-012j ELM_NONE == 0xFF");
|
||||
CHECK(SOE_FLG_IV == UI_W_SOE_FLG_IV, "TC-UIDATA-012k FLG_IV == 0x80");
|
||||
/* 八类事件全部有名（新加类型忘配名 = 屏上"--"，像素门禁照不出来） */
|
||||
{
|
||||
uint8_t t;
|
||||
int ok = 1;
|
||||
size_t longest = 0u;
|
||||
|
||||
for (t = 1u; t < UI_W_SOE_T_COUNT; t++) {
|
||||
const char *nm = ui_w_soe_type_name(t);
|
||||
|
||||
if (nm == NULL) {
|
||||
ok = 0; /* 契约上不可达（映射表恒返回串），留作防御分支 */
|
||||
} else {
|
||||
if ((strcmp(nm, "--") == 0) || (strlen(nm) == 0u)) {
|
||||
ok = 0;
|
||||
}
|
||||
if (strlen(nm) > longest) {
|
||||
longest = strlen(nm);
|
||||
}
|
||||
}
|
||||
}
|
||||
CHECK(ok == 1, "TC-UIDATA-012l every type has a display name");
|
||||
CHECK(longest <= 12u, "TC-UIDATA-012m type names fit value column (<=4 CJK)");
|
||||
CHECK(strcmp(ui_w_soe_type_name(0u), "--") == 0, "TC-UIDATA-012n code 0 -> placeholder");
|
||||
CHECK(strcmp(ui_w_soe_type_name(UI_W_SOE_T_COUNT), "--") == 0,
|
||||
"TC-UIDATA-012o out-of-range -> placeholder");
|
||||
/* 类型 5/6（采样）与 7/8（标定）四者必须互不相同：同名 = 抄表时串行，
|
||||
* 现场排障会把"未标定闭锁"读成"采样闭锁" */
|
||||
CHECK((strcmp(ui_w_soe_type_name(UI_W_SOE_T_SAMPLE_BLOCK),
|
||||
ui_w_soe_type_name(UI_W_SOE_T_CAL_BLOCK)) != 0)
|
||||
&& (strcmp(ui_w_soe_type_name(UI_W_SOE_T_SAMPLE_RESUME),
|
||||
ui_w_soe_type_name(UI_W_SOE_T_CAL_RESUME)) != 0)
|
||||
&& (strcmp(ui_w_soe_type_name(UI_W_SOE_T_CAL_BLOCK),
|
||||
ui_w_soe_type_name(UI_W_SOE_T_CAL_RESUME)) != 0),
|
||||
"TC-UIDATA-012p sample/cal lock-resume names are distinct");
|
||||
}
|
||||
}
|
||||
|
||||
static void tc_soe_elms(void)
|
||||
{
|
||||
CHECK(PE_OC1 == 0, "TC-UIDATA-013a PE_OC1 == 0");
|
||||
CHECK(PE_OC2 == 1, "TC-UIDATA-013b PE_OC2 == 1");
|
||||
CHECK(PE_OC3 == 2, "TC-UIDATA-013c PE_OC3 == 2");
|
||||
CHECK(PE_OL == 3, "TC-UIDATA-013d PE_OL == 3");
|
||||
CHECK(PE_OV == 4, "TC-UIDATA-013e PE_OV == 4");
|
||||
CHECK(PE_UV == 5, "TC-UIDATA-013f PE_UV == 5");
|
||||
CHECK(PE_3U0 == 6, "TC-UIDATA-013g PE_3U0 == 6");
|
||||
CHECK(PE_OF == 7, "TC-UIDATA-013h PE_OF == 7");
|
||||
CHECK(PE_UF == 8, "TC-UIDATA-013i PE_UF == 8");
|
||||
CHECK((uint32_t)PE_COUNT == UI_W_SOE_ELM_N, "TC-UIDATA-013j PE_COUNT == UI_W_SOE_ELM_N");
|
||||
CHECK(all_names_fit(s_elm_name, UI_W_SOE_ELM_N, 21u) == 1,
|
||||
"TC-UIDATA-013k element names fit name column (<=7 CJK)");
|
||||
CHECK(strcmp(ui_w_soe_elm_name(UI_W_SOE_ELM_NONE), "--") == 0,
|
||||
"TC-UIDATA-013l non-element id -> placeholder");
|
||||
CHECK(strcmp(ui_w_soe_elm_name(UI_W_SOE_ELM_N), "--") == 0,
|
||||
"TC-UIDATA-013m out-of-range element -> placeholder");
|
||||
}
|
||||
|
||||
/* ====== TC-UIDATA-014：注入 reader 后的两行渲染与单条缓存 ====== */
|
||||
|
||||
static uint32_t s_get_calls;
|
||||
|
||||
static ui_w_soe_rec_t s_fake_rec;
|
||||
|
||||
static uint16_t fake_count(void)
|
||||
{
|
||||
return 3u;
|
||||
}
|
||||
|
||||
static int fake_get(uint32_t a_idx, ui_w_soe_rec_t *a_out)
|
||||
{
|
||||
s_get_calls++;
|
||||
if (a_idx >= 3u) {
|
||||
return -1;
|
||||
}
|
||||
(void)memcpy(a_out, &s_fake_rec, sizeof(*a_out));
|
||||
a_out->seq = a_idx;
|
||||
return 0;
|
||||
}
|
||||
|
||||
static const ui_soe_reader_t s_fake_reader = { fake_count, fake_get };
|
||||
|
||||
static void tc_soe_render(void)
|
||||
{
|
||||
ui_w_soe_t inst;
|
||||
char name[UI_W_SOE_TS_LEN + 16u];
|
||||
char value[UI_W_SOE_TS_LEN + 16u];
|
||||
|
||||
(void)memset(&inst, 0, sizeof(inst));
|
||||
(void)memset(&s_fake_rec, 0, sizeof(s_fake_rec));
|
||||
s_reader = NULL;
|
||||
CHECK(ui_w_soe_count(&inst) == 1u, "TC-UIDATA-014a unbound reader -> empty pseudo row");
|
||||
ui_w_soe_bind(&s_fake_reader);
|
||||
CHECK(ui_w_soe_count(&inst) == 6u, "TC-UIDATA-014b 3 records -> 6 rows");
|
||||
|
||||
/* 元件事件：名列 = 元件，值列 = 动作/返回 */
|
||||
(void)strcpy(s_fake_rec.ts, "2026-10-25 08:00:00");
|
||||
s_fake_rec.type = UI_W_SOE_T_ELM_ASSERT;
|
||||
s_fake_rec.elm = (uint8_t)PE_OC1;
|
||||
s_fake_rec.flags = 0u;
|
||||
s_get_calls = 0u;
|
||||
(void)memset(name, 0, sizeof(name));
|
||||
(void)memset(value, 0, sizeof(value));
|
||||
ui_w_soe_refresh(&inst, 0u, name, value);
|
||||
CHECK((name[0] != 0) && (strlen(name) == 19u) && (value[0] == 0),
|
||||
"TC-UIDATA-014c ts row shows full timestamp");
|
||||
ui_w_soe_refresh(&inst, 1u, name, value);
|
||||
CHECK((strlen(name) == 12u) && (strlen(value) == 6u) && (s_get_calls == 1u),
|
||||
"TC-UIDATA-014d content row uses cached record (single disk read)");
|
||||
|
||||
/* IV 时标：不显示猜测时间，值列给"时钟无效" */
|
||||
s_fake_rec.flags = UI_W_SOE_FLG_IV;
|
||||
(void)memset(&inst, 0, sizeof(inst));
|
||||
ui_w_soe_refresh(&inst, 0u, name, value);
|
||||
CHECK((strcmp(name, "--") == 0) && (strlen(value) == 12u),
|
||||
"TC-UIDATA-014e IV timestamp suppressed, marked in value column");
|
||||
|
||||
/* 非元件事件：类型名进名列，值列留空 */
|
||||
s_fake_rec.flags = 0u;
|
||||
s_fake_rec.type = UI_W_SOE_T_CAL_BLOCK;
|
||||
s_fake_rec.elm = UI_W_SOE_ELM_NONE;
|
||||
(void)memset(&inst, 0, sizeof(inst));
|
||||
ui_w_soe_refresh(&inst, 3u, name, value);
|
||||
CHECK((strlen(name) == 12u) && (value[0] == 0), "TC-UIDATA-014f non-element row: type in name column");
|
||||
|
||||
/* 越界记录号：读失败退化为占位，不留脏缓存 */
|
||||
ui_w_soe_refresh(&inst, 998u, name, value);
|
||||
CHECK(strcmp(name, "--") == 0, "TC-UIDATA-014g failed read -> placeholder, no stale cache");
|
||||
ui_w_soe_bind(NULL);
|
||||
}
|
||||
|
||||
/* ===================== main ===================== */
|
||||
|
||||
int main(void)
|
||||
{
|
||||
printf("=== UI Data Snapshot Tests ===\n");
|
||||
|
||||
printf("-- contract index space --\n");
|
||||
tc_contract_indices();
|
||||
printf("-- before first frame --\n");
|
||||
tc_before_first_frame();
|
||||
printf("-- publish and seq --\n");
|
||||
tc_publish_and_seq();
|
||||
printf("-- null guard --\n");
|
||||
tc_null_guard();
|
||||
printf("-- init idempotent --\n");
|
||||
tc_init_idempotent();
|
||||
printf("-- constants --\n");
|
||||
tc_constants();
|
||||
printf("-- yx points --\n");
|
||||
tc_yx_points();
|
||||
printf("-- phasor slots --\n");
|
||||
tc_phasor_slots();
|
||||
printf("-- clock field --\n");
|
||||
tc_clock_field();
|
||||
printf("-- soe codes and names --\n");
|
||||
tc_soe_codes();
|
||||
printf("-- soe elements --\n");
|
||||
tc_soe_elms();
|
||||
printf("-- soe render --\n");
|
||||
tc_soe_render();
|
||||
|
||||
printf("\n=== UI Data Snapshot Tests: %d/%d PASSED (failed=%d) ===\n",
|
||||
s_passed, s_total, s_failed);
|
||||
return (s_failed == 0) ? 0 : 1;
|
||||
}
|
||||
Reference in New Issue
Block a user