test_firmware_runner

Модуль под тестом

firmware/test/src/test_runner.c — state machine выполнения реестра тестовых модулей.

Категория

B — зависит от bsp_tick_get_ms, bsp_delay, bsp_usb_cdc_poll, cli_process, protocol_send_*, подменяемых через fff.

Моки

bsp_tick_get_ms, bsp_delay, bsp_usb_cdc_poll, cli_process, protocol_send_test_begin, protocol_send_test_result, protocol_send_summary, protocol_send_confirm_request, protocol_send_error, protocol_send_pong, protocol_send_session_start, protocol_send_test_list. UNIT_TEST seam: реестр тестовых модулей (g_unit_test_registry / g_unit_test_registry_size) подставляется этим тестовым файлом вместо реального реестра прошивки — set_registry() меняет состав между тестами (сборка выполняется с -DUNIT_TEST). Кастомный custom_fake capture_test_result копирует test_result_t по значению, т.к. protocol_send_test_result получает указатель на стековую переменную execute_test().

Что проверяется

Базовое состояние — runner не занят изначально; run_all на пустом реестре сразу шлёт summary с нулевыми счётчиками; run_single с неизвестным id шлёт UNKNOWN_TEST.
Одиночный запуск — успешный тест шлёт test_begin + test_result и освобождает runner; проваленный тест шлёт результат со статусом FAIL.
run_all — несколько успешных тестов дают верный summary; критический (critical=true) провал прерывает выполнение — оставшиеся тесты получают статус SKIP, а summary отражает pass/fail/skip и итоговый overall.
pre_confirm state machine — модуль с pre_confirm_prompt переводит runner в состояние ожидания (busy) и шлёт confirm_request, не запуская тест; повторный запуск во время ожидания получает ошибку BUSY; on_confirm(id, true) выполняет тест; on_confirm(id, false) помечает тест как SKIP; истечение PROTOCOL_CONFIRM_TIMEOUT_MS без ответа тоже даёт SKIP; подтверждение с чужим id игнорируется как устаревшее (stale).

Гарантии

Критический провал теста в run_all прерывает выполнение остальных — они получают статус SKIP, а не PASS/FAIL.
Runner не принимает новый запуск, пока занят (BUSY), в частности во время ожидания pre-confirm.
Тест с pre-confirm не выполняется без явного положительного подтверждения: отказ, таймаут ожидания или подтверждение с чужим id не приводят к выполнению теста.
summary всегда отражает фактические счётчики passed/failed/skipped и корректный итоговый overall.

Запуск

ctest --preset host-debug-test -R test_firmware_runner -V

3.6 KiB Raw Permalink Blame History Unescape Escape