Состояния и переходы

жизненный цикл заказа:
  состояний 7, событий 6
  матрица состояние x событие: 7 x 6 = 42 ячейки
  разрешённых переходов:        8
  НЕразрешённых сочетаний:     34

  покрытие каждого перехода:     8 тестов
  покрытие пар переходов:        6 тестов

Проверьте себя

Пять вопросов из банка по этой подтеме. Всего их 13, остальные разбираются в тренажёре.

1. #state_transition1 / 5
   Что моделирует техника «диаграмма состояний-переходов» (state transition)?

   A)Состояния системы, события и переходы между ними

   B)Комбинации входных условий и соответствующих им действий в бизнес-правиле

   C)Границы допустимых диапазонов входных полей и значения вокруг них

   D)Порядок выполнения шагов в одном линейном тест-сценарии от начала до конца

   показать ответ и разбор

   +A)Состояния системы, события и переходы между ними

   // разбор: State-transition-тестирование описывает объект как набор состояний (например, заказ: создан → оплачен → отправлен → доставлен), события, вызывающие смену состояния (оплатить, отменить), и допустимые переходы между ними. Техника нужна там, где реакция системы зависит не только от входа, но и от того, в каком состоянии она сейчас: «отменить» работает для созданного заказа, но не для доставленного. Из диаграммы выводят тесты: пройти валидные пути, проверить запрещённые переходы, покрыть все переходы и/или их пары.

2. #state_transition2 / 5
   В каком случае уместно применять тестирование по состояниям и переходам?

   A)Когда у входного поля много допустимых значений и нужно покрыть их представителями

   B)Когда поведение зависит от текущего состояния

   C)Когда результат зависит от комбинации нескольких независимых условий одновременно

   D)Когда нужно оценить, выдержит ли система заданное число одновременных пользователей

   показать ответ и разбор

   +B)Когда поведение зависит от текущего состояния

   // разбор: Признак, что нужна эта техника, — наличие у объекта «памяти»: результат действия определяется не только его параметрами, но и предысторией, свёрнутой в текущее состояние. Кнопка «отправить» переводит заказ из «оплачен» в «отправлен», но в состоянии «отменён» то же действие должно отклоняться. Такие объекты — заказы, платежи, пользовательские сессии, автоматы (банкомат, турникет), подписки. Для полей без состояния (валидация одного числа) техника избыточна — там хватает классов и границ. Сигнал к применению: «что можно сделать» зависит от «что было раньше».

3. #state_transition3 / 5
   Почему при тестировании по состояниям проверяют не только разрешённые, но и запрещённые переходы?

   A)Запрещённые переходы проверяют в системах безопасности, а в остальных это лишняя работа

   B)Их проверяют, чтобы измерить, насколько быстро система отклоняет некорректные события

   C)Частый баг — система принимает событие в состоянии, где оно недопустимо

   D)Запрещённые переходы проверяют вместо разрешённых, если разрешённых слишком много

   показать ответ и разбор

   +C)Частый баг — система принимает событие в состоянии, где оно недопустимо

   // разбор: Разрешённые переходы подтверждают, что система корректно движется по «счастливому пути». Но не менее важно, что она отвергает недопустимые действия: отменить уже доставленный заказ, снять деньги с закрытого счёта, залогиниться в заблокированной сессии. Реальные дефекты часто именно здесь — код обрабатывает ожидаемые события, но забывает заблокировать неожиданные, и система переходит в некорректное состояние или выполняет запретную операцию. Поэтому тесты покрывают и «что должно произойти», и «что должно быть отклонено» для событий, недопустимых в данном состоянии.

4. #state_transition4 / 5
   Что покрывает базовое (0-switch) покрытие переходов и что добавляет 1-switch?

   A)0-switch покрывает состояния, а 1-switch — события; вместе они дают полную диаграмму

   B)0-switch проверяет валидные переходы, а 1-switch — запрещённые переходы системы

   C)1-switch означает один тест на всю диаграмму, а 0-switch — ни одного

   D)0-switch — каждый переход хотя бы раз; 1-switch дополнительно покрывает пары последовательных переходов

   показать ответ и разбор

   +D)0-switch — каждый переход хотя бы раз; 1-switch дополнительно покрывает пары последовательных переходов

   // разбор: Покрытие переходов измеряет полноту тестов по диаграмме. 0-switch (покрытие всех переходов) требует, чтобы каждый допустимый переход сработал в тестах хотя бы раз — базовый уровень, ловит переходы, которые вообще не работают. 1-switch идёт дальше: покрывает все пары последовательных переходов (переход A, затем сразу B), вскрывая дефекты, зависящие от того, каким переходом система попала в текущее состояние. Каждый следующий уровень (n-switch) покрывает более длинные цепочки ценой роста числа тестов. На практике чаще ограничиваются 0- или 1-switch по риску.

5. #state_transition5 / 5
   Банкомат блокирует карту после 3 неверных PIN. Как это тестируют по состояниям?

   A)Моделируют состояния по числу попыток; событие «неверный PIN» ведёт к блокировке на 3-й

   B)Проверяют лишь, что при верном PIN карта разблокируется — путь к блокировке несуществен

   C)Достаточно одного теста с тремя неверными PIN подряд без учёта промежуточных состояний

   D)Моделируют состояния по времени суток, так как блокировка зависит от часа операции

   показать ответ и разбор

   +A)Моделируют состояния по числу попыток; событие «неверный PIN» ведёт к блокировке на 3-й

   // разбор: Систему описывают состояниями: 0 ошибок → 1 → 2 → заблокирован. Событие «неверный PIN» инкрементирует счётчик, а на третьем срабатывании выполняет переход в «заблокирован». Тесты: пройти путь 1-я, 2-я, 3-я ошибка и убедиться, что блокировка наступает ровно на третьей, а не на второй или четвёртой (граница счётчика). Отдельно — что верный PIN на 1-й/2-й ошибке сбрасывает счётчик (переход назад), и что в состоянии «заблокирован» дальнейшие попытки отклоняются. Это сочетает state-transition с граничной проверкой порога.