Здравствуйте, Doom100500, Вы писали:

D>Это самые значимые вопросы. Это архитектура. TDD — это когда архитектура уже есть, а не способ её разработки.

Выше чел. правильно написал:

Решением такой задачи является некоторая state machine. Сначала мы формально доказываем, что дизайн state machine соответствует требованиям (сохраняет инварианты); затем просто аккуратно проверяем, что реализация машины соответствует дизайну.

Т.е. по сути авто-тесты — вряд ли возможны.

На каком ЯП вам привести пример, чтобы вы поняли свою ошибку?