Что такое Preconditions (Предусловия) и Postconditions (Постусловия)?

Предусловия (Preconditions) — это состояние системы, которое обязано быть истинным, чтобы Use Case вообще мог запуститься.
Пример для UC "Оплата корзины": Пользователь авторизован, в корзине есть минимум 1 товар.

Постусловия (Postconditions) — это гарантии того, в каком состоянии окажется система после успешного завершения Use Case.
Пример: Заказ создан в БД со статусом "Оплачен", корзина очищена, пользователю отправлен email с чеком.

✅ Зачем: Помогает тестировщикам (QA) понять, как настроить тестовую среду до проверки и что проверять в БД после.