В механизме входа учётная запись блокируется после трёх неудачных попыток, а успешный вход сбрасывает счётчик. Как построить модель состояний и какие последовательности проверок нужны, чтобы не пропустить ошибку в блокировке?

Question

Accepted Answer

Недостаточно выделить только состояния «Активна» и «Заблокирована»: число неудачных попыток меняет результат следующего действия. Модель должна содержать как минимум состояния «0 ошибок», «1 ошибка», «2 ошибки» и «Заблокирована», а успешный вход должен переводить любое активное состояние обратно в «0 ошибок». Проверьте последовательности из одной, двух и трёх ошибочных попыток, затем успешный вход после одной или двух ошибок и повторные попытки после блокировки. Это выявляет преждевременную или запоздалую блокировку, несбросившийся счётчик и возможность войти либо продолжать попытки в заблокированном состоянии.