AskaEth
133f14ba0b
test(presenter): 坏清单用例按错误分类区分「JSON 坏」与「签名被拒」
台账 §10 第 7 条 / M199 复审 P3-2:原来只断言「结果是 Failed」,而它喂的每一份清单都签对了
——验签一旦 fail-open 或签名错误被误分类,这条用例照样绿。
现在两组各钉自己的分类:
- 内容坏(5 个变体,签名都对):kind 必须是 invalid_manifest / invalid_version;
- 字节好、只有签名对不上(放行就会报「有更新 0.9.0」):kind 必须是 signature_invalid 且不可重试。
变异证明(只改实现侧,跑完已还原):
- A core::update::signature::verify_manifest fail-open → ② 分支红,实际 Available(0.9.0);
- B core::update::manifest::from_json 把解析失败误分类成 SignatureInvalid → ① 分支红,
「not json:坏内容分类是 signature_invalid」。
两个变异各只打红对应分支,说明两类坏输入确实各走各的分类。
文件仍在 400 行红线内(394 行)。
2026-11-09 09:32:58 +08:00
..
2026-11-08 16:20:34 +08:00
2026-11-05 14:08:37 +08:00
2026-11-09 06:46:29 +08:00
2026-11-09 05:06:52 +08:00
2026-11-09 08:19:04 +08:00
2026-11-08 14:50:15 +08:00
2026-11-09 06:46:29 +08:00
2026-11-07 18:56:01 +08:00
2026-11-09 09:32:58 +08:00