Как стать автором
Обновить
-2
0

Пользователь

Отправить сообщение
Что например?
Не понял. А зачем тогда юнит-тесты нужны?

да, проверяется как код должен работать.


Как вы напишете тесты на функцию сортировки? На какие-нибудь деревья?
а зачем тестировать, то что уже покрыто тестами?

В тесте вы принципиально не можете использовать квантор всеобщности
потому что в реальности у вас нет возможности пройтись по всем значениям в любом случае

Кстати, кто и где использует ваши инструменты для покрытия тестами?
Вы можете реализовывать фичи, а можете писать тесты.
А кто подтвержит, что фича написана правильно?

Посыл статьи — сначала считайте, нужны вам тесты или нет.
в статье нет основы для таких расчетов. Потому как посчитать — также не ясно
С економической точки зрения дешевле передать всю разработку на аутсорс в Индию
Хм
Как попросить гугл (или любую корпорацию) сделать для их либ
разбить на кусочки в 100-200 строк и в каждом из них описать — что он делает и зачем
?
Что значит
Не должно быть ситуации с «неожиданной» кучей кода, которую никто кроме писавшего, не понимает.
?

Ето регулярная ситуация при подключении любой либы

Речь о том что не должно быть хаоса и надежды на юнит тесты, как на единственное спасение.
а на что тогда полагаться?
А есть что-то почитать по теме?
А тем кто не пишет на функциональных языках или языках со статической типизацией?
Вы же понимает, что ето не ответ?
Как делать рефакторинг с помощью функциональных тестов, если наружу у данного блока торчит одна ручка?
И как тимлиду принять в одно лицо столько кода?

И еще: как делать рефакторинг без юнит тестов?
Он не проверяет, что код будет работать так, как нужно, на всём возможном пространстве входов
что не является задачей юнит тестов, а задачей регресионных тестов

Даже если вы проверили, что
такие юнит-тесты никто не пишет

Зависит от конкретного инструмента. В случае того же идриса или кока — пишется код, носящий с собой доказательство корректности в своих типах.
те написание тестов с помощью того инструмента, который вам нравится, ок
То что не нравится неок

Хммм
Те «инженерная культура» в КНР на ваш взгляд еще не сложилась?
А как делать рефакторинг без юнит-тестов?
От функциональных отказываться нельзя никогда

Они всегда покрывают весь проект, тк пишутся по юзкейсам
Проблема с функциональными — они могут просто отдать вам некорректный результат. Но вот сузить область, где именно ошибка лежит они чаще всего не смогут
Тесты гарантируют лишь то, что если вы захотите наговнокодить пару kLOC, по-быстрому вы это сделать уже никак не сможете :)
почему нет?

Изначальный посыл статьи верный
Я не знаю изначальный замысел статьи
Как я вижу, статья пытается, исходя из вымышленных препосылок, что-то утверждать
Потому что проверяются только конкретные частные случаи. .
да, проверяется как код должен работать.
Так как тест, проверяющий корректную работу кода не гарантирует, что код будет работать так как он задуман?

То же использование систем формальной верификации.
Что сие есть?
Как оно делается?
Как оно гарантирует корректность?
А кто сказал, что они не должны пересекаться?
вы

Он отвечает за тот код, который он принял.
Как принять 100k LOC?
Разве
использования неподходящих материалов, непредсказуемое качество изготовления, неравномерная жесткость узлов
такие вещи не фиксятся жесткой приемкой заказчика?

Информация

В рейтинге
Не участвует
Зарегистрирован
Активность