wandering1
59e6d77224
假 CH395F 的第三批、也是 NET 域最后一块。net_events.c 覆盖 175/179 = 97.8%。共享 假芯片本批补齐**对端六元组**（get_remot_ipp 的 6 字节）与**链路变更计数**（ link_change_count / link_up_cached 改为可预置，原来硬编码 0/1）。 钉住的契约（都是真机上会发生、却不能按需复现的那类）： - 对端六元组解析：remote_ip 是**低字节在前**拼的（192.168.1.50 -> 0x3201A8C0，与 网络序相反）。钉住它是防止有人"顺手改成大端"，让所有按 IP 比对/白名单静默错位。 - 陈旧中断防误判：芯片说 TCP 还 ESTABLISHED 时，迟到的 DISCONNECT 一律忽略并报 ERROR（拆活会话的代价是 104 主站看到莫名掉线）；一条数据都没收就报断且芯片接收区 还有字节，判为疑似误报、只置 lost_conn_seen 延后交给对账器。 - 正常断开：优雅级沉降 + session_dead + last_peer_port 记旧端口 + 转 CLOSED + 发事件。 - 超时：ESTABLISHED 走隔离级沉降并置 released_abnormal —— 这正是 net_pending 收尾时 把挂起 recv 报成 CONNRESET 而不是 0 的那条输入（TC-NETPEND-014），**跨文件因果** 只有两边都能离线跑才可测。 - 丢中断自愈：芯片已连上而软件还写着 LISTENING 时补一次 accept；若软件已 CLOSED 则 只留痕不凭空造会话（TC-NETEV-042b 记现状）。 - 对账器：100ms 周期闸门（同一时刻不重复查芯片）；链路计数**基线那趟不打日志** （0xFFFF 哨兵，否则每次上电都冒一条假"link up"）、变化即留痕；五种不一致形态的 稳定计数分三档（会话死亡要连观 4 次、芯片偷重开监听 2 次、丢 CONNECT 自接 1 次）； 动作后 1000ms 冷却内不重复折腾；U11 重同步（软件 CLOSED 而芯片在 LISTEN -> 直接跟 芯片，不做多余重建）；不在用的槽位直接跳过。 三条初判失败的复盘（都是**我的期望值/场景写错**，实现是对的）：① remote_ip 字节序 我按网络序写了期望；② 自愈场景我用了 CLOSED 态，而 accept 分支只认 LISTENING/ CONNECTING，改场景并补一条现状断言；③ 链路"基线不打日志"我测在非基线场景（s_ link_last 是函数内 static，跨场景本就延续）。对账器的 s_last/s_bad[]/s_cool[] 都是 函数内 static（外部够不着），因此每个形态**各占一个 fd**、时基单调前进，互不串扰。 覆盖率与台账：套件 24 → 25 全绿；files_tested 28 → 29；未触及 .c 38 → 37；分母 3,766 → 3,945 行；line=3472/3945（**88.0%**，连涨两批）、func=263/290（90.7%）。 恒等式 37 = 3(P1 剩) + 5(P2) + 29(P3) 仍咬合。编号补建 TC-HOST-NETEV（游标 058）， 族数 18 → 19。 自查：test-cppcheck Passed（含补齐后的假芯片）；check_ids --strict 通过；doc-links 35 处（= 存量）；16 个新增/改动文件 BOM/CR/U+FFFD/行尾逐项净。零生产代码改动，未跑 @build。--all-files 仍只有 mem-numbers / mem-budget（.map 台账漂移，等 Lead 合并后 统一 --write 回填）与 ui-golden（simulator/tests/ref/*.bin 不入库，新 worktree 没有 黄金参考）三条失败，与本分支改动无关；提交按并行分支约定走 --no-verify。
147 lines
7.4 KiB
C
147 lines
7.4 KiB
C
/*
|
||
* 模块名称：假 CH395F 芯片（NET 域主机侧单测共享件）
|
||
* 模块功能：给 NET 域的主机侧单测一个**可脚本化的假芯片**。真实 ch395f.h 拉 HAL 与
|
||
* SPI 寄存器定义，PC 上编不动；而 net_listener / net_pending / net_events
|
||
* 的行为恰恰完全由"芯片此刻报什么状态"决定，必须有假件才能测。
|
||
*
|
||
* ⚠ 仅供 test/host/** 使用，不参与 MCU 构建。
|
||
*
|
||
* 为什么值得共享一份（而不是每模块自带桩）：三份假芯片各自漂移时，"假件与被测代码
|
||
* 同时错"这类问题再也不会报出来。各模块的 stub/ch395f.h 只做一件事——include 本文件，
|
||
* 于是签名与常量只有一份定义。
|
||
*
|
||
* 常量与类型必须与 Drivers/BSP/CH395F/ch395f.h 逐字一致（2026-10-23 从真实头抄录）：
|
||
* CH395F_ERR_SUCCESS 0x00 / CH395F_PROTO_TYPE_TCP 0x03 / CH395F_SOCKET_CLOSED 0x00
|
||
* CH395F_TCP_CLOSED 0x00 / CH395F_TCP_LISTEN 0x01；ch395f_sock_state_t 为
|
||
* { uint8_t open; uint8_t tcp_state; } 两字节。
|
||
*
|
||
* 必须复刻的两条芯片怪癖（不复刻就等于把被测代码的坑假件掉）：
|
||
* 1. ch395f_get_sock_int_status() 是**整体读即清**、芯片没有按位清除手段。本假件
|
||
* 返回该 socket 的挂起位图并同步清零。AGENTS 模块约定里 B3 的实证坑（"顺手
|
||
* 全量清一遍"把别的在用 Socket 的门焊死）靠这条才照得出来。
|
||
* 2. *_cached 系列返回的是**缓存值**而不是现场值：open 状态与 TCP 状态分开、且
|
||
* "监听还活着"的判据是 (open != CLOSED && tcp_state == LISTEN)。测试据此能构造
|
||
* "缓存陈旧"的形态。
|
||
*
|
||
* 脚本化模型（沿用本仓既有假件风格：nand_port 的真头+假 diskio、lftpd_io 的可注入假堆）：
|
||
* - 每个读函数一条按调用序号取的返回队列，队列耗尽后回落到**最后一个值**（便于
|
||
* 写"一直可读""一直关不掉"这类持续状态）；
|
||
* - 每个写/控制函数一条调用记录（次数 + 最近一次入参），另给逐函数调用计数，
|
||
* 让"这一轮根本不该碰芯片"成为可断言的事；
|
||
* - g_chip.log[] 记录**调用顺序**（短名），用于断言"先清接收、再关、再读即清"这类
|
||
* 时序契约；
|
||
* - ch395f_fake_reset() 一次全清。
|
||
*
|
||
* 创建日期：2026-10-23
|
||
*/
|
||
|
||
#ifndef CH395F_FAKE_H
|
||
#define CH395F_FAKE_H
|
||
|
||
#include <stdint.h>
|
||
|
||
/* —— 与真实 ch395f.h 逐字一致的常量（值抄自真实头，勿"顺手改"）—— */
|
||
#define CH395F_ERR_SUCCESS 0x00U
|
||
#define CH395F_PROTO_TYPE_TCP 0x03U
|
||
#define CH395F_SOCKET_CLOSED 0x00U
|
||
#define CH395F_SOCKET_OPEN 0x01U
|
||
#define CH395F_TCP_CLOSED 0x00U
|
||
#define CH395F_TCP_LISTEN 0x01U
|
||
#define CH395F_TCP_ESTABLISHED 0x05U
|
||
|
||
/* 发送/接收缓冲尺寸宏链：**与真实 ch395f.h 同构转抄**（2026-10-23 逐条核对）。
|
||
* net_pending.h 里的 NET_SEND_CHUNK_MAX 由这两个宏推导，是"一次最多往芯片写多少"
|
||
* 的真实上界，假件不能自己发明数字（否则分块测试就是在测假件的常量）：
|
||
* RAM_BLOCK_SIZE 512 / SEND_BLOCKS 2 → SEND_BUF 1024
|
||
* RECV_BLOCKS 4 → RECV_BUF 2048 → SPI_DMA_BUF 2052 → SPI_DMA_MAX_PAYLOAD 2048
|
||
* ⇒ NET_SEND_CHUNK_MAX = min(1024, 2048) = 1024 */
|
||
#define CH395F_RAM_BLOCK_SIZE 512U
|
||
#define CH395F_SEND_BLOCKS 2U
|
||
#define CH395F_SEND_BUF_SIZE_BYTES (CH395F_SEND_BLOCKS * CH395F_RAM_BLOCK_SIZE)
|
||
#define CH395F_RECV_BLOCKS 4U
|
||
#define CH395F_RECV_BUF_SIZE_BYTES (CH395F_RECV_BLOCKS * CH395F_RAM_BLOCK_SIZE)
|
||
#define CH395F_SPI_DMA_BUF_SIZE (CH395F_RECV_BUF_SIZE_BYTES + 4U)
|
||
#define CH395F_SPI_DMA_MAX_PAYLOAD (CH395F_SPI_DMA_BUF_SIZE - 4U)
|
||
|
||
#define CH395F_FAKE_SOCK_MAX 8 /* 与 NET_MAX_SOCKETS 同量级，测试自用 */
|
||
#define CH395F_FAKE_QUEUE_LEN 24
|
||
#define CH395F_FAKE_LOG_LEN 96
|
||
|
||
typedef struct {
|
||
uint8_t open;
|
||
uint8_t tcp_state;
|
||
} ch395f_sock_state_t;
|
||
|
||
/* —— 可预置的芯片侧世界 —— */
|
||
typedef struct {
|
||
uint8_t cached_open[CH395F_FAKE_SOCK_MAX]; /* sock_state_cached().open */
|
||
uint8_t cached_tcp[CH395F_FAKE_SOCK_MAX]; /* sock_state_cached().tcp_state */
|
||
uint8_t status_byte0[CH395F_FAKE_SOCK_MAX]; /* get_socket_status 的 sock 状态 */
|
||
uint8_t status_byte1[CH395F_FAKE_SOCK_MAX]; /* get_socket_status 的 TCP 状态 */
|
||
uint8_t int_status[CH395F_FAKE_SOCK_MAX]; /* 读即清的挂起位图 */
|
||
uint16_t recv_len_q[CH395F_FAKE_SOCK_MAX][CH395F_FAKE_QUEUE_LEN];
|
||
int recv_len_n[CH395F_FAKE_SOCK_MAX];
|
||
int recv_len_i[CH395F_FAKE_SOCK_MAX];
|
||
uint8_t remote[CH395F_FAKE_SOCK_MAX][6]; /* get_remot_ipp 的 6 字节：ip[4]+port(小端) */
|
||
uint16_t link_change; /* link_change_count（链路变更计数） */
|
||
uint8_t link_up; /* link_up_cached */
|
||
uint8_t open_rc[CH395F_FAKE_SOCK_MAX]; /* open_socket 返回码 */
|
||
uint8_t listen_rc[CH395F_FAKE_SOCK_MAX]; /* tcp_listen 返回码 */
|
||
} ch395f_fake_world_t;
|
||
|
||
typedef struct {
|
||
/* 调用计数（"不该碰芯片"的断言面） */
|
||
int open_calls;
|
||
int close_calls;
|
||
int listen_calls;
|
||
int int_status_calls;
|
||
int get_status_calls;
|
||
int read_calls;
|
||
int write_calls;
|
||
int set_proto_calls;
|
||
int set_port_calls;
|
||
int cached_calls;
|
||
/* 最近一次入参 */
|
||
uint8_t last_sock;
|
||
uint16_t last_read_len;
|
||
uint16_t last_port;
|
||
uint8_t last_proto;
|
||
uint8_t last_keepalive;
|
||
int keepalive_calls;
|
||
/* 调用顺序日志（短名首字母）：
|
||
* 'c'=close 'i'=int_status(读即清) 's'=get_socket_status 'r'=read_recv_buf
|
||
* 'R'=get_recv_len 'o'=open_socket 'l'=tcp_listen 'p'=set_sour_port
|
||
* 'P'=set_proto_type */
|
||
char log[CH395F_FAKE_LOG_LEN];
|
||
int log_n;
|
||
} ch395f_fake_obs_t;
|
||
|
||
extern ch395f_fake_world_t g_fake;
|
||
extern ch395f_fake_obs_t g_chip;
|
||
|
||
void ch395f_fake_reset(void); /* 全清并把所有 socket 设为"已关闭" */
|
||
void ch395f_fake_push_recv_len(uint8_t sock, uint16_t v);
|
||
void ch395f_fake_set_listening(uint8_t sock);
|
||
void ch395f_fake_set_peer(uint8_t sock, uint8_t b0, uint8_t b1, uint8_t b2,
|
||
uint8_t b3, uint16_t peer_port); /* 预置对端六元组 */ /* 缓存：open!=CLOSED 且 tcp=LISTEN */
|
||
|
||
/* —— 假芯片实现（签名与真实 ch395f.h 一字不改）—— */
|
||
ch395f_sock_state_t ch395f_sock_state_cached(uint8_t sn);
|
||
ch395f_sock_state_t ch395f_get_sock_state(uint8_t sn);
|
||
void ch395f_get_socket_status(uint8_t sock, uint8_t *status);
|
||
uint8_t ch395f_get_sock_int_status(uint8_t sock);
|
||
uint16_t ch395f_get_recv_len(uint8_t sock);
|
||
void ch395f_read_recv_buf(uint8_t sock, uint8_t *p_data, uint16_t len);
|
||
void ch395f_write_send_buf(uint8_t sock, uint8_t *p_data, uint16_t len);
|
||
uint8_t ch395f_open_socket(uint8_t sock);
|
||
uint8_t ch395f_close_socket(uint8_t sock);
|
||
uint8_t ch395f_tcp_listen(uint8_t sock);
|
||
void ch395f_set_proto_type(uint8_t sock, uint8_t proto);
|
||
void ch395f_set_sour_port(uint8_t sock, uint16_t port);
|
||
void ch395f_get_remot_ipp(uint8_t sock, uint8_t *p_buf);
|
||
void ch395f_set_keepalive_enable(uint8_t sock, uint8_t enable);
|
||
uint8_t ch395f_link_up_cached(void);
|
||
uint16_t ch395f_link_change_count(void);
|
||
|
||
#endif /* CH395F_FAKE_H */
|