wandering1
a2f5d1397a
- vol_lock（App/fs/vol_lock.c）：33 用例。核心不变量是 fail-open—— 互斥量创建失败时 vol_lock_wait() 必须返回 1 且绝不阻塞，因为调用者 defaultTask 是看门狗喂狗点；板端该路径只在内存耗尽时才可能走到。 - time_sync（App/sync/time_sync.c）：80 用例。本模块是 N-17 看门狗风险的 全部逻辑贡献者，用例钉死分片喂狗节奏、监听退避、报文重组（半包/粘连/ EOF/真错/预算耗尽/tick 回绕）、重听门控；用 longjmp 跳出 for(;;) 任务循环。 - 两套均为纯逻辑主机侧测试，MSVC 离线编译真实源文件（#include 纳入）。 - 新增钩子 vol-lock-unit-test、time-sync-unit-test（7f/7g）。 - 全量主机单测：watchdog 39 + sys_clock 100 + cfg_file 149 + phasor 57 + adc_input 70 + vol_lock 33 + time_sync 80 = 528 项，全绿。
30 lines
703 B
C
30 lines
703 B
C
/*
|
|
* 主机侧单测桩：task.h
|
|
* 模块功能：为 App/sync/time_sync.c 提供主机可编译的 FreeRTOS 任务时基接口声明。
|
|
*
|
|
* ⚠ 仅供 test/host/time_sync/ 使用，不参与 MCU 构建。
|
|
*
|
|
* 两个接口由测试单元给强符号桩：vTaskDelay 记录每片睡眠时长（断言"≤50ms 分片"），
|
|
* xTaskGetTickCount 由测试单元提供可控时钟（驱动 30s 预算耗尽与 32 位回绕用例）。
|
|
*
|
|
* 创建日期：2026-10-10
|
|
*/
|
|
|
|
#ifndef TASK_H
|
|
#define TASK_H
|
|
|
|
#include "FreeRTOS.h"
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
void vTaskDelay(TickType_t xTicksToDelay);
|
|
TickType_t xTaskGetTickCount(void);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif /* TASK_H */
|