КурсБесплатноЧасть практики восстанавливается

Testing и contract verification

Production-oriented testing: deterministic domain unit tests, Fastify inject HTTP contracts, PostgreSQL concurrency verification and wrong-solution certification.

Открыть первый урок

Часть практики восстанавливается. Теория и опубликованные уроки доступны уже сейчас. Если для отдельного шага ещё нет задания или теста, он откроется для чтения и не будет ошибочно засчитан как пройденный.

Пройдено0 / 20

Примерное время6 ч

Модули4

Уроки20

Уроки курса

Откройте любой опубликованный урок. Порядок программы влияет на зачёт прогресса, но не скрывает учебный материал.

1Unit tests для domain и policy5 уроки0 / 5

Модель: behavior oracle без infrastructureОткрыть

Управляемая практика: call trace и oracleОткрыть

Извлечение без подсказкиОткрыть

Независимая сборка: verifier matrixОткрыть

Fresh re-entry: Refund Policy verifierОткрыть

2Fastify inject и HTTP contract5 уроки0 / 5

Модель: HTTP lifecycle без network listenerОткрыть

Управляемая практика: trace запроса и эффектаОткрыть

Извлечение без подсказки: HTTP oracleОткрыть

Самостоятельная сборка: Work Items inject contractОткрыть

Maintenance transfer: Device Enrollment APIОткрыть

3PostgreSQL integration и concurrency tests5 уроки0 / 5

Модель: настоящий PostgreSQL concurrency oracleОткрыть

Guided trace: две sessions, один logical createОткрыть

Closed-book retrieval: concurrency evidenceОткрыть

Самостоятельная сборка: PostgreSQL concurrency probeОткрыть

Maintenance transfer: Seat Reservation raceОткрыть

4Contract tests и wrong-solution suite5 уроки0 / 5

Модель: validator тоже является системой под тестомОткрыть

Guided trace: certifier против overfit и weak validatorsОткрыть

Closed-book retrieval: сила validatorОткрыть

Independent build: wrong-solution certifierОткрыть

Fresh re-entry: Password Reset validator certificationОткрыть