State transition проверяет корректность смены состояний объекта и допустимых/недопустимых переходов (заказ, тикет, сессия, платёж).
Разбор
- Строят диаграмму/таблицу состояний и событий.
- Покрывают валидные переходы, невалидные события, граничные циклы.
- Частые баги: «застрял» статус, двойной переход, пропуск уведомления.
- Хорошо автоматизируется как модель с явными preconditions.
Итог
Техника критична для workflow-систем: покрытие переходов важнее набора разрозненных UI-кликов.