test(NET): net_pending 模块(43 条,覆盖 87.1%),钉住通知值回传契约
假 CH395F 的第二批消费者。新增 test/host/net_pending/,net_pending.c 覆盖 169/194 = 87.1%。共享假芯片补了**缓冲尺寸宏链的同构转抄**(RAM_BLOCK 512 / SEND_BLOCKS 2 → SEND_BUF 1024;RECV_BLOCKS 4 → RECV_BUF 2048 → SPI_DMA_BUF 2052 → SPI_DMA_MAX_PAYLOAD 2048),于是 net_pending.h 里的 NET_SEND_CHUNK_MAX 是**真值 1024**,分块断言测的是芯片上界而不是假件自己发明的数字。 本模块的核心契约是跨上下文回传:AGENTS 模块约定写着 net_* 的错误码经**任务通知值** 回传(net_msg_t 按值拷入队列,netTask 改的是自己那份副本,调用方永远看不到;也勿给 net_msg_t 加回传字段,否则调用方读到栈垃圾)。台架读不到通知值,所以把 xTaskNotify 做成可观测假件(记目标句柄与通知值)之后,这条契约才第一次被真正验证。 钉住的契约: - 注册闸门:越界 fd 报 BADF;同 fd 已有挂起报 BUSY;caller 为空报 BUSY;**属主任务 自己发起被拒**(自己等自己等于死锁 netTask);to_ms=0 记为无限等(不置 deadline)。 - 到达与截断:读量钳在调用方缓冲内(绝不越界写别人的 buf);readable 但芯片没数据时 只清标志继续等,不误交 0 字节。 - 收尾四条分支:还有残留先把最后一包读走再收尾(**不丢尾包**);干净结束报 0 并按 auto_relisten 请求重开监听(不自动重开的不被偷偷要求重建);released_abnormal 报 CONNRESET 而不是 0(调用方要能分辨好坏收尾);session_dead 与 CLOSED 同路。 - settle_close:没挂起时直接返回不打扰芯片;有残留交还字节数;无残留报 CONNRESET。 - 挂起发送:参数校验(buf 空 / len<=0 / sent<0 / sent>=len 报 INVAL);单次写入钳在 NET_SEND_CHUNK_MAX;**deadline 每写一轮就续期**(还在推进就不该被 1000ms 掐死, FTP 上传大文件最容易撞这条);停滞不前进才报 TIMEDOUT;槽位消失或会话塌掉都**交还 已发字节数**(不是错误码,调用方据此算进度);cancel 留痕且幂等;**clear 不发通知** (与 recv 侧同一条纪律,不给调用方假答复)。 自查:42/43 首跑,唯一红的是**我的测试构造缺陷**——无限等那条没先把槽位置成在用, 被 in_use==0 兜底分支提前收口,测不到时间轴;补 mk_sock 后 43/43。reset_all 从上一 批的教训直接带过来(连被测模块的 static 挂起表与属主句柄一起复位),这次没再红。 覆盖率与台账:套件 23 → 24 全绿;files_tested 27 → 28;未触及 .c 39 → 38;分母 3,572 → 3,766 行;line=3297/3766(87.5%)、func=255/282(90.4%)。恒等式 38 = 4(P1 剩) + 5(P2) + 29(P3) 仍咬合。编号补建 TC-HOST-NETPEND(游标 040), 族数 17 → 18;注册表仍只做增量插入。 自查门禁:test-cppcheck Passed;check_ids --strict 通过;doc-links 35 处(= 存量); 12 个新增/改动文件 BOM/CR/U+FFFD/行尾逐项净。零生产代码改动,未跑 @build。 --all-files 仍只有 mem-numbers / mem-budget(.map 台账漂移,等 Lead 合并后统一回填) 与 ui-golden(ref/*.bin 不入库)三条失败,与本分支改动无关。
This commit is contained in:
@@ -192,6 +192,14 @@
|
||||
"lines_covered": 125,
|
||||
"lines_valid": 126
|
||||
},
|
||||
"Drivers/BSP/NET/net_pending.c": {
|
||||
"func_rate": 0.75,
|
||||
"funcs_covered": 12,
|
||||
"funcs_valid": 16,
|
||||
"line_rate": 0.8711,
|
||||
"lines_covered": 169,
|
||||
"lines_valid": 194
|
||||
},
|
||||
"Drivers/BSP/NET/net_select.c": {
|
||||
"func_rate": 1.0,
|
||||
"funcs_covered": 5,
|
||||
@@ -307,6 +315,13 @@
|
||||
"lines_total": 126,
|
||||
"ok": true
|
||||
},
|
||||
"net_pending": {
|
||||
"files": {
|
||||
"Drivers/BSP/NET/net_pending.c": 194
|
||||
},
|
||||
"lines_total": 194,
|
||||
"ok": true
|
||||
},
|
||||
"net_select": {
|
||||
"files": {
|
||||
"Drivers/BSP/NET/net_select.c": 117
|
||||
@@ -426,22 +441,23 @@
|
||||
"Drivers/BSP/NET/lftpd/lftpd_io.c",
|
||||
"Drivers/BSP/NET/lftpd/lftpd_string.c",
|
||||
"Drivers/BSP/NET/net_listener.c",
|
||||
"Drivers/BSP/NET/net_pending.c",
|
||||
"Drivers/BSP/NET/net_select.c",
|
||||
"Drivers/BSP/NETCFG/ftp_cfg.c",
|
||||
"Drivers/BSP/NETCFG/net_cfg.c"
|
||||
],
|
||||
"totals": {
|
||||
"files_generated_excluded": 5,
|
||||
"files_tested": 27,
|
||||
"files_untested": 117,
|
||||
"func_rate": 0.9135,
|
||||
"funcs_covered": 243,
|
||||
"funcs_valid": 266,
|
||||
"line_rate": 0.8757,
|
||||
"lines_covered": 3128,
|
||||
"lines_valid": 3572,
|
||||
"modules_ok": 23,
|
||||
"modules_total": 23
|
||||
"files_tested": 28,
|
||||
"files_untested": 116,
|
||||
"func_rate": 0.9043,
|
||||
"funcs_covered": 255,
|
||||
"funcs_valid": 282,
|
||||
"line_rate": 0.8755,
|
||||
"lines_covered": 3297,
|
||||
"lines_valid": 3766,
|
||||
"modules_ok": 24,
|
||||
"modules_total": 24
|
||||
},
|
||||
"untested_sources": [
|
||||
{
|
||||
@@ -476,10 +492,6 @@
|
||||
"code_lines": 300,
|
||||
"path": "Drivers/BSP/UI/ui_content_page.c"
|
||||
},
|
||||
{
|
||||
"code_lines": 287,
|
||||
"path": "Drivers/BSP/NET/net_pending.c"
|
||||
},
|
||||
{
|
||||
"code_lines": 281,
|
||||
"path": "App/task/default_task.c"
|
||||
|
||||
Reference in New Issue
Block a user