0f7b5a87fb
登记簿、文档与代码注释里的存量字母加数字编号(N-x / S-x / T-x / E-x / A-x / 卡号) 一律改写为语义短语,净删 2,028 处引用;删除基线与待确认、并行分道方案、排期详述、 采集保护收尾 4 篇(内容已并入 docs/任务规划/README 与登记簿)。 门禁机器与三张账同批重打:check_ids.py 新增变更记录行豁免与第二根护栏 undecidable_total_ceiling;check_test_traceability.py 只加 stdout/stderr UTF-8 reconfigure(TC_RE 未动);check_cubemx_survival.py 的 --write 固定 newline=LF; id_registry / id_aliases(+19 条 retired-to-phrase)/ id_known_backlog 重打。 test/ 56 个文件同步 TC 标签语义化,其中 18 个 TU 改了 CHECK / printf 里的标签文字, 是本批唯一改变构建产物的文件集合。 为什么合成一笔、不拆四笔(实测撞闸,非偏好):pre-commit 跑钩子前会 stash 未 staged 部分,拆开后中间提交必然是「新规则 + 旧语料」——实跑可判定 85.15% < 基线 86.00%、 不可判定 1,453 > 上限 1,166,编号门禁直接拦下。编号识别面与它描述的语料只能同码移动。 实跑基线(工作区全量):754 文件 / 8,230 处编号字面量 / 可判定 7,079 = 86.01% (基线 86.0%,容差 0.1pp)/ 不可判定绝对数 1,151(上限 1,166)/ 校验 1-6 错误级 0 / 告警 = 悬空 2(App/algo/freq.c 的 S2,属 §4.4 同号不同义)+ 孤儿 50。 基线从 84.0 抬到 86.0 的理由见 docs/门禁说明/id-check.md §7.6:本批真删了 2,028 处 引用,可判定面随真实内容上升,不是把分母做小。同批新增排除 docs/硬件平台/ 语料,使 识别面少 264 处——芯片手册位号与网表料号不属编号空间(registry 有 excluded_paths_note)。 ⚠ 余量只剩 0.11pp(约 10 处)与绝对数 15 处:把「可判定的引用」改成散文会立刻撞第二 根护栏。另遗留一项:id_aliases 里 retired 的 N / S / T / A 别名没有 scope(U1~U5 有), 今后有人新写一个 A-4,校验 3 不会响,只能靠人,建议下批补 scope。 固件不变证据:115 个 .c/.h 剥注释并归一字符串后与 HEAD 逐字节全等,残留代码差异 0; App / Src / Drivers 的字符串字面量零改动。@build 0 错误 0 警告;40/40 主机套件、2,889 断言全通过;覆盖率 line 89.2% / func 92.6%;pre-commit 48 钩子 --all-files 全绿; check_doc_links --all 通过(176 文档,章节引用无法判定 0);逐字节卫生核过:14 个带 BOM 文件与 HEAD 一致、0 个 CR、0 个 U+FFFD,字符串字面量纯 ASCII。 .cubemx_survival_baseline.json 的 watchdog-module 哈希 56bf27 变 2bb051 属合法: Src/freertos.c 的 USER CODE 区内只有注释文字随编号改写,代码未变。 同批带上体积同码凭证与 RAM 台账行(@build 之后盖戳):RW_IRAM1 79,008 B / 60.3%, RW_CCM 57,376 B / 87.9%,阈值 92%。
193 lines
6.3 KiB
C
193 lines
6.3 KiB
C
/*
|
||
* 模块名称:SHA-256 主机侧单元测试
|
||
* 模块功能:在 PC 上对 App/util/sha256.c 做离线验证(FIPS 180-4 标准向量 +
|
||
* 流式等价 + sha256_hex_eq 边界)。
|
||
*
|
||
* 被测对象:真实源文件 ../../../App/util/sha256.c(以 #include 原样纳入,
|
||
* 保证测的是生产代码而非副本;本模块零平台依赖,无需任何桩)。
|
||
*
|
||
* 为什么要主机侧单测(而不是只靠台架):
|
||
* sha256 是 FTP 鉴权的 pwd_hash 校验地基——哈希算错的后果是
|
||
* "正确口令被拒 / 错误口令放行"这类静默语义错误,板端只看到 530/230,
|
||
* 看不出哪一步坏;标准向量在主机侧毫秒级钉死。
|
||
*
|
||
* 覆盖点:
|
||
* TC-SHA256-001 FIPS 180-4 向量:空串
|
||
* TC-SHA256-002 FIPS 180-4 向量:"abc"
|
||
* TC-SHA256-003 FIPS 180-4 向量:56 字节(补位跨分组边界)
|
||
* TC-SHA256-004 FIPS 180-4 向量:1,000,000 × 'a'(流式,长度字段进第二分组)
|
||
* TC-SHA256-005 流式任意切分与一次性计算等价(逐字节喂入)
|
||
* TC-SHA256-006 hex_eq:小写匹配 / 大写匹配
|
||
* TC-SHA256-007 hex_eq:内容不等 / 非法字符 / 长度 63/65 / NULL → 全 0
|
||
* TC-SHA256-008 默认口令哈希钉值:SHA256("adminadmin") = FTP_CFG_DEF_HASH 同源值
|
||
*
|
||
* 通过:全部 TC PASS(main 返回 0)。
|
||
* 入口:int main(void),返回 0=PASS / 1=FAIL(由 run 脚本判读)。
|
||
*
|
||
* 创建日期:2026-10-11
|
||
*/
|
||
|
||
#include <stdio.h>
|
||
#include <string.h>
|
||
|
||
/* 生产源文件原样纳入(零平台依赖,直接编) */
|
||
#include "sha256.c"
|
||
|
||
/* ===================== 断言框架 ===================== */
|
||
|
||
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)
|
||
|
||
/* 摘要 → hex 小写串(仅测试用,允许栈上 sprintf) */
|
||
static void digest_to_hex(const uint8_t d[SHA256_DIGEST_SIZE], char out[65])
|
||
{
|
||
static const char hexd[] = "0123456789abcdef";
|
||
|
||
for (int i = 0; i < 32; i++) {
|
||
out[2 * i] = hexd[(d[i] >> 4) & 0xF];
|
||
out[2 * i + 1] = hexd[d[i] & 0xF];
|
||
}
|
||
out[64] = '\0';
|
||
}
|
||
|
||
static int hex_eq_vector(const uint8_t d[SHA256_DIGEST_SIZE], const char *want)
|
||
{
|
||
char got[65];
|
||
|
||
digest_to_hex(d, got);
|
||
return strcmp(got, want) == 0;
|
||
}
|
||
|
||
/* ===================== TC-SHA256-001..004:标准向量 ===================== */
|
||
|
||
static void tc_vectors(void)
|
||
{
|
||
uint8_t d[SHA256_DIGEST_SIZE];
|
||
|
||
sha256_calc("", 0u, d);
|
||
CHECK(hex_eq_vector(d, "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"),
|
||
"TC-SHA256-001 empty-string vector");
|
||
|
||
sha256_calc("abc", 3u, d);
|
||
CHECK(hex_eq_vector(d, "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"),
|
||
"TC-SHA256-002 \"abc\" vector");
|
||
|
||
sha256_calc("abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq", 56u, d);
|
||
CHECK(hex_eq_vector(d, "248d6a61d20638b8e5c026930c3e6039a33ce45964ff2167f6ecedd419db06c1"),
|
||
"TC-SHA256-003 56-byte vector (padding crosses block)");
|
||
|
||
{
|
||
sha256_ctx_t ctx;
|
||
|
||
sha256_init(&ctx);
|
||
for (int i = 0; i < 1000000; i++) {
|
||
sha256_update(&ctx, "a", 1u);
|
||
}
|
||
sha256_final(&ctx, d);
|
||
}
|
||
CHECK(hex_eq_vector(d, "cdc76e5c9914fb9281a1c7e284d73e67f1809a48a497200e046d39ccc7112cd0"),
|
||
"TC-SHA256-004 1e6 x 'a' vector (streaming)");
|
||
}
|
||
|
||
/* ===================== TC-SHA256-005:流式等价 ===================== */
|
||
|
||
static void tc_stream_equiv(void)
|
||
{
|
||
static const char msg[] = "the quick brown fox jumps over the lazy dog";
|
||
uint8_t d1[SHA256_DIGEST_SIZE];
|
||
uint8_t d2[SHA256_DIGEST_SIZE];
|
||
sha256_ctx_t ctx;
|
||
|
||
sha256_calc(msg, strlen(msg), d1);
|
||
sha256_init(&ctx);
|
||
for (size_t i = 0; i < strlen(msg); i++) {
|
||
sha256_update(&ctx, &msg[i], 1u);
|
||
}
|
||
sha256_final(&ctx, d2);
|
||
CHECK(memcmp(d1, d2, sizeof(d1)) == 0, "TC-SHA256-005 byte-by-byte feed equals one-shot");
|
||
}
|
||
|
||
/* ===================== TC-SHA256-006..007:hex_eq ===================== */
|
||
|
||
static void tc_hex_eq(void)
|
||
{
|
||
uint8_t d[SHA256_DIGEST_SIZE];
|
||
char lower[65];
|
||
char upper[65];
|
||
char shortv[65];
|
||
char longv[66];
|
||
|
||
sha256_calc("adminadmin", 10u, d);
|
||
digest_to_hex(d, lower);
|
||
for (int i = 0; i < 64; i++) {
|
||
upper[i] = (char)((lower[i] >= 'a') ? (lower[i] - 32) : lower[i]);
|
||
}
|
||
upper[64] = '\0';
|
||
|
||
CHECK(sha256_hex_eq(d, lower) == 1, "TC-SHA256-006a lowercase hex matches");
|
||
CHECK(sha256_hex_eq(d, upper) == 1, "TC-SHA256-006b uppercase hex matches (case-insensitive)");
|
||
|
||
lower[63] = (char)((lower[63] == '0') ? '1' : '0');
|
||
CHECK(sha256_hex_eq(d, lower) == 0, "TC-SHA256-007a content mismatch -> 0");
|
||
lower[63] = (char)((lower[63] == '0') ? '1' : '0'); /* 还原 */
|
||
|
||
{
|
||
char bad[65];
|
||
|
||
memcpy(bad, lower, 64);
|
||
bad[64] = '\0';
|
||
bad[10] = 'g';
|
||
CHECK(sha256_hex_eq(d, bad) == 0, "TC-SHA256-007b invalid hex char -> 0");
|
||
}
|
||
|
||
memcpy(shortv, lower, 63);
|
||
shortv[63] = '\0';
|
||
CHECK(sha256_hex_eq(d, shortv) == 0, "TC-SHA256-007c length 63 -> 0");
|
||
|
||
memcpy(longv, lower, 64);
|
||
longv[64] = 'a';
|
||
longv[65] = '\0';
|
||
CHECK(sha256_hex_eq(d, longv) == 0, "TC-SHA256-007d length 65 -> 0");
|
||
|
||
CHECK(sha256_hex_eq(d, NULL) == 0, "TC-SHA256-007e NULL -> 0");
|
||
}
|
||
|
||
/* ===================== TC-SHA256-008:默认口令哈希钉值 ===================== */
|
||
|
||
static void tc_default_hash(void)
|
||
{
|
||
uint8_t d[SHA256_DIGEST_SIZE];
|
||
|
||
/* 与 ftp_cfg.h FTP_CFG_DEF_HASH 同源钉值(两处若漂移本测试立刻红) */
|
||
sha256_calc("adminadmin", 10u, d);
|
||
CHECK(sha256_hex_eq(d, "d82494f05d6917ba02f7aaa29689ccb444bb73f20380876cb05d1f37537b7892") == 1,
|
||
"TC-SHA256-008 SHA256(\"adminadmin\") = factory default pwd_hash");
|
||
}
|
||
|
||
/* ===================== main ===================== */
|
||
|
||
int main(void)
|
||
{
|
||
printf("=== SHA-256 Tests ===\n");
|
||
|
||
printf("-- FIPS 180-4 vectors --\n");
|
||
tc_vectors();
|
||
printf("-- streaming equivalence --\n");
|
||
tc_stream_equiv();
|
||
printf("-- hex_eq --\n");
|
||
tc_hex_eq();
|
||
printf("-- default password hash --\n");
|
||
tc_default_hash();
|
||
|
||
printf("\n=== SHA-256 Tests: %d/%d PASSED (failed=%d) ===\n",
|
||
s_passed, s_total, s_failed);
|
||
return (s_failed == 0) ? 0 : 1;
|
||
}
|