tests-host: покадровый харнесс сценариев Кида (физика + зацеп)
Проверять физику Кида глазами в MAME дорого и ненадёжно: ошибка почти всегда не в одной функции, а в РАСХОЖДЕНИИ ТРАЕКТОРИИ через несколько кадров. Харнесс гоняет тот же кадр, что и главный цикл (pop_ctrl_tick -> kid_tick -> pop_phys_tick -> pop_loose_tick), и сравнивает трассу состояния с эталоном. - scene.c/.h — раннер: комната + стартовая поза + скрипт ввода -> трасса; sc_kid_at_x задаёт точный X (исход часто зависит от фазы внутри тайла). - stubs.c/.h — libc/libbgi/соседние модули; read() реально отдаёт kid_data.bin (иначе kdat_ok=0 и play_seq молчит — трасса замирает). - t_phys.c — 9 характеризующих сценариев, 1723 сверки (golden/). - t_grab.c — окно зацепа: существует, достижимо коротким шагом, не зависит от рисунка нажатий. - record_golden.py — снятие эталона по одному сценарию за прогон. - testkit/host-tests.mk — CODE_LOC настраиваемый, EXTRA_INC/EXTRA_CFLAGS. Именно харнесс дал доказательство, что физика зацепа у нас верна, и тем самым перевёл поиск BUG-GRAB-1 на клавиатуру. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
Александр Петров
@@ -14,6 +14,7 @@ make -C applications/PoP/roomtest/tests-host t_geom
|
||||
| набор | модуль | что проверяет |
|
||||
|-------|--------|---------------|
|
||||
| `t_geom` | `pop_geom.c` | геометрия комнаты (`x_bump`, `y_land`, `y_to_row`) и PRNG оригинала |
|
||||
| `t_phys` | `pop_map.c` + `pop_kid.c` + `pop_ctrl.c` | покадровые трассы физики Кида: стойка, бег, шаг с Shift, разворот, присед, прыжок вверх, падение с кромки, loose-плита, разбег-прыжок через провал |
|
||||
|
||||
Главный тест в `t_geom` — `geom_lcg_matches_reference`. LCG оригинала
|
||||
(`s = s*214013 + 2531011`) написан в `pop_geom.c` на ассемблере по схеме
|
||||
@@ -22,25 +23,83 @@ make -C applications/PoP/roomtest/tests-host t_geom
|
||||
asm с наивной 32-битной формулой на 128 шагах — и по возвращаемому
|
||||
значению, и по обеим половинам сида.
|
||||
|
||||
## t_phys: характеризация, а не проверка правильности
|
||||
|
||||
Набор существует ради **страховки под рефакторинг**. Эталоны сняты с
|
||||
текущего билда, то есть консервируют и текущие баги — правильность
|
||||
по-прежнему проверяется сверкой с `SDLPoP/src/`. Ценность в другом:
|
||||
ближайший крупный шаг (перенос физики с `Kid.` на `Char.`, чтобы её мог
|
||||
переиспользовать страж) обязан быть **поведение-сохраняющим**, и «трасса до
|
||||
== трасса после» ловит ровно тот класс ошибок, который там возможен.
|
||||
|
||||
Поэтому эталон **переснимается только осознанно**, и в коммите должно быть
|
||||
написано, что и почему поменялось. Молча обновлённый эталон обесценивает
|
||||
весь набор.
|
||||
|
||||
```
|
||||
python3 record_golden.py # переснять все трассы
|
||||
python3 record_golden.py 7 9 # только сценарии 7 и 9
|
||||
```
|
||||
|
||||
Трасса — по одной записи на кадр: `frame, x, y, dir, col, row, action` и
|
||||
смещение `curr_seq` от `SEQTBL_BASE`. Кадр гоняется ровно в том порядке,
|
||||
что и в главном цикле `roomtest.c`:
|
||||
|
||||
```
|
||||
pop_ctrl_tick(); // ввод -> control(): смена последовательности
|
||||
kid_tick(); // play_seq: следующий кадр
|
||||
pop_phys_tick(); // падение/приземление/стена
|
||||
pop_loose_tick(); // досчёт тряски и снятие провалившейся плиты
|
||||
```
|
||||
|
||||
Покадровость здесь принципиальна: порт seg005/seg006 — конечный автомат, и
|
||||
ошибка почти всегда проявляется не в одной функции, а в расхождении
|
||||
траектории через несколько кадров. Плюс главный риск переноса на `Char` —
|
||||
не арифметика, а то, **кто владеет окном `Char` внутри кадра**; поймать это
|
||||
можно только прогоном полного кадра.
|
||||
|
||||
Проверка, что харнесс воспроизводит устройство: сценарий `stand` даёт
|
||||
`frame=15, x=114, y=118, curr_seq=0x19A3` — те же значения, что читаются из
|
||||
`_Kid` в живом MAME.
|
||||
|
||||
### Как это заработало под ucsim
|
||||
|
||||
Три шва, каждый закрыт без правок продуктового кода:
|
||||
|
||||
1. **Таблицы анимации.** `pop_kid.c` ходит по ним абсолютными адресами от
|
||||
`KD_DATA_OFF` (0x100) — там, куда на устройстве их приводит маппинг W0.
|
||||
В тесте `kid_data.bin` просто кладётся по 0x100 (`gen_kid_blob.py`), а
|
||||
`gfx_w0_map` заглушен. Следствие: код набора линкуется с
|
||||
`--code-loc 0x1000` (`CODE_LOC` в Makefile), чтобы не налезть на блоб.
|
||||
2. **Окружение.** `stubs.c` — libc/libbgi (графика, память, файлы), соседние
|
||||
модули (`pop_bg`/`pop_trob`/`pop_level`/`pop_redraw`) и состояние стража.
|
||||
Заглушки не пустые там, где это меняет смысл: файловое чтение реально
|
||||
отдаёт `kid_data.bin` (иначе `pop_kid_data_load` тихо сдаётся, `kdat_ok`
|
||||
остаётся нулём и `play_seq` не делает ничего — трасса выходит из одного
|
||||
застывшего кадра), клавиатура отвечает по набору «нажатых» скан-кодов
|
||||
(так под тест попадают `read_input` и `read_user_control`, а не только
|
||||
диспетчер), а обращения к соседям **журналируются** (`tk_log`) — можно
|
||||
проверять «плита отвалилась и попросила перерисовку», а не только
|
||||
координаты.
|
||||
3. **`__banked`.** Модули физики помечены как банковые, SDCC генерирует на
|
||||
них трамплин `___sdcc_bcall_ehl`, которому нужны `set_bank`/`get_bank`.
|
||||
В тесте память плоская — `bank_stub.s` отдаёт нулевой банк и пустое
|
||||
переключение, соблюдая контракт по регистрам.
|
||||
|
||||
Что харнесс НЕ покрывает и остаётся за MAME: отрисовка и окклюзия, реальные
|
||||
переключения банков, тайминги кадра, настоящая клавиатура.
|
||||
|
||||
## Что нужно, чтобы двинуться дальше
|
||||
|
||||
Следующие на очереди модули (`pop_trob`, `pop_level`, `pop_map`, логика
|
||||
падающих плит) упираются в два шва, и оба затрагивают продукт:
|
||||
|
||||
1. **Доступ к странице уровня.** `pop_level.c` ходит по абсолютным адресам
|
||||
(`(uint8_t *)(LVL_DATA_OFF + …)` после `gfx_w0_map`) — в тестах это
|
||||
обращение в никуда. Нужен макрос вида `W0PTR(off)`: на таргете как
|
||||
сейчас, в тестах — смещение в обычном массиве.
|
||||
2. **Журналирующий рендерер** вместо `pop_bg`/`pop_gdraw` — не заглушка, а
|
||||
запись вызовов, чтобы проверять «какой тайл помечен к перерисовке, каким
|
||||
кодом, с каким счётчиком страниц». `BUG-GATE-ANIM-1` был ровно такой
|
||||
формы.
|
||||
|
||||
После этого `bug_closed.md` превращается в готовый список регрессионных
|
||||
кейсов: у каждой записи там есть симптом и ожидаемое поведение.
|
||||
|
||||
Отдельно стоит завести тест на `BUG-LOOSE-2` — он до сих пор помечен в
|
||||
`bug_list.md` как непроверенный именно потому, что гонку «уйти из комнаты
|
||||
раньше, чем долетит плита» через мост MAME воспроизвести не удалось. На
|
||||
уровне логики это несколько строк: заспавнить кусок, сменить комнату,
|
||||
тикать до приземления, проверить щебень в данных уровня.
|
||||
- **Доступ к странице уровня.** `pop_level.c` ходит по абсолютным адресам
|
||||
(`(uint8_t *)(LVL_DATA_OFF + …)` после `gfx_w0_map`). Для `pop_map` это не
|
||||
потребовалось — карту комнаты в него ИНЪЕКТИРУЮТ через `pop_map_set`, —
|
||||
но набор на сам `pop_level`/`pop_trob` в это упрётся. Решение то же, что
|
||||
для `kid_data`: положить страницу по нужному адресу и поднять `CODE_LOC`.
|
||||
- **Сценарии из `bug_closed.md`.** У каждой закрытой записи есть симптом и
|
||||
ожидаемое поведение — готовый список регрессионных кейсов, который стоит
|
||||
переносить в `t_phys` по мере надобности.
|
||||
- **BUG-LOOSE-2** (гонка «уйти из комнаты раньше, чем долетит плита») —
|
||||
через мост MAME воспроизвести не удалось, а на уровне логики это
|
||||
несколько строк: заспавнить кусок, сменить комнату, тикать до
|
||||
приземления, проверить щебень.
|
||||
|
||||
Reference in New Issue
Block a user