docs(测试): 601/606/1006 标注真实覆盖状态(2026-10-21 用例清点)
按第 0 步的逐条覆盖核对结果写,不写笼统的「已覆盖」 - TC-NET-601:主路径确实由 602~605 + 701~704 覆盖(PC 侧 ch395f_socket_test.py:344-451 逐字节比对;固件侧 net_test_task.c:152 phase7_cksum 提供 32 位累加和),但「accept 返回同一 fd」的单连接语义与 「仅 Socket 0 状态变化、无其它 Socket 干扰」两点无任何观测 → 标部分覆盖, 不加状态词(既不是未实现也不是已覆盖,留着可见) - TC-NET-606:标未实现。不发 FIN 的静默断开 / KeepAlive 超时后 auto_relisten 能否自动回 LISTEN 无可重复观测;605 走的是干净 close(DISCONNECT 事件), 与 TIMEOUT 路径机制不同,**不算覆盖**——这是本轮最实的一条发现: auto_relisten 是 FTP/对时/远程显示/104 四条链路共同的断连恢复底座, 而现场最常见的恰是拔网线、断电这类不发 FIN 的断开 - TC-NET-1006:标未实现。20 轮快速连接-断开与每轮回 LISTEN 的断言都没有; 单轮断开重连由 605 覆盖 验证:DOC-ONLY 15 → 12、NOTIMPL 1 → 4、BENCH 14 不变、错误级 632 → 626; id-check --strict 通过(未往债务台账塞条目);doc-links --all 143 篇 0 失效; BOM=否、CR=0、U+FFFD=0
This commit is contained in:
@@ -585,7 +585,7 @@ sequenceDiagram
|
||||
|
||||
> Client 主动连接(原 TC-NET-607/608/609,现 701/702/703)已独立为 **阶段 7**,架构与用例见 §8。
|
||||
|
||||
### TC-NET-601: Socket 0 单连接生命周期
|
||||
### TC-NET-601: Socket 0 单连接生命周期(主路径由 TC-NET-602~605 与 TC-NET-701~704 覆盖;「accept 返回同一 fd」的语义与「仅 Socket 0 状态变化、无其它 Socket 干扰」两点无观测,2026-10-21 用例清点)
|
||||
|
||||
| 字段 | 值 |
|
||||
|------|-----|
|
||||
@@ -697,7 +697,7 @@ sequenceDiagram
|
||||
**通过标准**:重连成功且回显正常,0 失败。任一失败 → 标记 FAIL
|
||||
**覆盖原则**:DP-01(DISCONNECT → CLOSED → re-OPEN → LISTEN 单连接恢复) |
|
||||
|
||||
### TC-NET-606: 连接异常恢复(静默断开 / KeepAlive 超时)
|
||||
### TC-NET-606: 连接异常恢复(静默断开 / KeepAlive 超时)(未实现:不发 FIN 的静默断开与 KeepAlive 超时后 `auto_relisten` 能否自动回 LISTEN,**无任何可重复观测**——PC 侧 TC-NET-605 走的是干净 close(DISCONNECT 事件),与本条要求的 TIMEOUT 路径机制不同,不算覆盖;断连恢复语义见 docs/网络/网络自愈架构设计.md,2026-10-21 用例清点)
|
||||
|
||||
| 字段 | 值 |
|
||||
|------|-----|
|
||||
@@ -1063,7 +1063,7 @@ IDLE → ACCEPT → [SEND: 分块发 → DONE] / [RECV: 分块收+校验 → DON
|
||||
| **测试步骤** | 循环 20 次:`net_send_sock(sk, buf, 100)`,间隔 1ms |
|
||||
| **通过标准** | 20/20 成功,回显 2000B 完全匹配 |
|
||||
|
||||
### TC-NET-1006: 快速连接-断开 ×20 轮
|
||||
### TC-NET-1006: 快速连接-断开 ×20 轮(未实现:20 轮「连上立即断开」压力与每轮回到 LISTEN 的断言都没有;单轮断开重连由 TC-NET-605 覆盖,2026-10-21 用例清点)
|
||||
|
||||
| 字段 | 值 |
|
||||
|------|-----|
|
||||
|
||||
Reference in New Issue
Block a user