Инженерная практика
TDD: тест с выбором ответа
Суть Тест с выбором на синтез по всему юниту — давление на дизайн, правило границ для дублёров, формы property, компромисс по стабильности спеки и mutation score как честная метрика.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на senior-высоте — в орбитеШесть вопросов поперёк всего юнита. Каждый — решение, которое senior принимает под реальными ограничениями: хрупкий набор, незнакомый вендор, зелёный CI поверх 67% mutation score — не определение для заучивания.
Цель
Убедись, что связываешь сквозную линию юнита: тест-сначала как давление на дизайн, правило границ для дублёров, property вместо примеров, когда налог TDD оправдан, и mutation score как метрику, которую покрытие не подделает.
Викторина
Completed
Пишешь тест сначала и обнаруживаешь, что для проверки одного правила отмены заказа нужно сконструировать четырёх коллабораторов — БД, платёж, email, флаги. О чём на самом деле говорит тест?
Heads-up Это глушит именно тот сигнал, который дал TDD. Тест, которому нужно четыре mock, тестирует god-объект; mock'и маскируют проблему дизайна и фиксируют плохую форму. Трение и было смыслом.
Heads-up Сложно тестировать почти всегда значит сложно менять. Объявив код нетестируемым, ты отгружаешь god-объект нетронутым и незащищённым; сложность — это информация о дизайне, а не повод бросить дисциплину.
Heads-up Покрытие — побочный эффект, а не цель. Отличительная ценность тест-сначала — обратная связь по дизайну от использования собственного API как первого вызывающего, которую этот трудносконструируемый объект только что и выдал.
Викторина
Completed
PriceCalculator использует чистый TaxRule, который ты владеешь, и сторонний CurrencyApi по HTTP. Как задублировать каждого для устойчивого unit-теста?
Heads-up Мокать чистый TaxRule, которым ты владеешь — это over-mocking: изолировать нечего, а assertion вызовов пришпиливает тест к внутренней структуре. Хуже того, застабив налоговый результат, ты никогда не проверишь реальную математику — баг в цене уедет зелёным.
Heads-up Живая сетевая граница делает тест медленным, флакающим и зависимым от аптайма третьей стороны и меняющегося курса. Сетевые границы — именно то, что надо дублировать; это теряет детерминизм без выгоды.
Heads-up Это правило границ наизнанку. Ты выбрасываешь математику, которую больше всего хочешь протестировать, и возвращаешь флакость, которую следовало убрать — дублируешь то, чем владеешь, и доверяешь тому, чем нет.
Викторина
Completed
Денежный форматтер имеет 94% покрытия и восемь месяцев зелёного CI, потом дважды списывает с клиента на значении, оканчивающемся на .005. Почему каждый example-тест это пропустил и что бы поймало?
Heads-up Баг жил в покрытых строках: каждая строка прогонялась на круглых числах. Баги прячутся в неперепробованных входах сквозь полностью покрытый код — именно это покрытие увидеть не может.
Heads-up Больше примеров в том же стиле перепроверяют уже вообразимые случаи. Разрыв определяется тем, что никто не подумал набрать, поэтому закрывает его только сгенерированный вход против инварианта.
Heads-up Mutation testing атакует сторону выхода — недостающие assertion — а не сторону входа. Разрыв на .005 — это неперечисленный вход, что и покрывает генерация property.
Викторина
Completed
Senior настаивает на полном TDD для двухдневного spike по оценке незнакомого вендорского API и решения, подписывать ли контракт. Почему это неверное решение?
Heads-up Дело не в скорости. Спека непознаваема заранее, поэтому тест-сначала специфицирует поведение, о котором ты вот-вот узнаешь, что оно неверно — дисциплину применяют к единственной ситуации, которую она наказывает.
Heads-up Его можно тестировать, как только знаешь реальную форму. Дело не в нетестируемости — а в том, что пришпиливать спеку до того, как поймёшь её, — это потраченное front-loading на одноразовом коде.
Heads-up Живые тесты против незнакомой третьей стороны медленны, флакают и рейт-лимитированы, а ты всё ещё не знаешь, какое поведение assert'ить. Ты будешь бороться с инфраструктурой тестов вместо ответа на вопрос подписывать/нет.
Викторина
Completed
Биллинговый модуль показывает 100% покрытия строк, но 67% mutation score, с выжившим граничным мутантом '>' → '>='. Как это читать?
Heads-up Они измеряют разное — исполнение против обнаружения. Строка может прогоняться в каждом тесте, но при этом ни один assertion не падает на неверном результате, так что 100% покрытия и 67% mutation score полностью согласуются.
Heads-up Это выбрасывает единственную метрику, что только что доказала: гейт пустой. Покрытие не видит недостающий граничный assertion; отключать честную метрику ради сохранения вводящей в заблуждение — наоборот.
Heads-up Эквивалентные мутанты делают sub-100% ожидаемым, а прогон по всему репозиторию занимает часы. Цель — убивать значимых выживших на критичных модулях, а не безупречное число везде.
Викторина
Completed
Сквозь весь юнит — какая линия отличает набор тестов-актив от набора-обузы?
Heads-up Покрытие измеряет исполнение, а не обнаружение — можно достичь 100% и всё равно пропустить треть внедрённых багов. Доверенный набор определяется тем, что он assert'ит, а не сколько строк прогоняет.
Heads-up Over-mocking пришпиливает тесты к структуре вызовов: они падают на безобидных рефакторингах и остаются зелёными на реальных багах, потому что застабленные результаты не проверяются. Изоляция ради изоляции производит хрупкость.
Heads-up Косвенность, служащая тесту, а не пользователю — это damage, не добродетель. Навык — внимать давлению, что вскрывает реальную проблему связности, и отвергать церемонию, добавленную лишь чтобы удовлетворить тест.
Итог
Спина юнита — один цикл суждения. Тест-сначала — это давление на дизайн: трудносконструируемый объект и есть дизайн-ревью, а не препятствие для мокания. Правило границ укрощает дублёров: мокай то, что не можешь прогнать, используй реальные объекты для своего кода, проверяй состояние. Example-тесты покрывают лишь воображённые входы, поэтому property генерируют остальное и шринкуют падение до минимального контрпримера. Налог TDD (15–22%) окупается пропорционально стабильности спеки и времени жизни кода — сделай spike по неизвестному, потом перестрой. А mutation score — честная метрика: покрытие доказывает, что строка прогналась, выживший мутант доказывает, что тест баг бы пропустил. Сквозь всё это — привязывайся к поведению, никогда к структуре.