metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2012-09-25 12:17 pm

О TDD, ретроградстве и варении в собственном соку

По мотивам предыдущего поста про taucraft: решарпер там или не решарпер, но Test-Driven-Development штука (вроде бы) объективно полезная.

При этом я почти уверен, что я TDD не использую, т.к. уже 15 лет занимаюсь всякой хренью в экстренном темпе, тесты у меня все заключаются в "проверить 10 раз чтобы миграция 30 Гб БД прошла успешно" и "отчетность видна от имени пользователя, который ей будет пользоваться".

Правильность же реализации/рефакторинга/замены всего с нуля проверяется за счет двойной записи бухгалтерии, наличия нескольких путей расчета одной и той же цифры и статических гарантий (т.е., например, я никогда не стану делать отчет отдельными запросами по списку аналитических кодов, если его можно сделать одним select/group by, при этом в него нужная аналитика попадет гарантированно). Плюс функциональщина, статические типы, кодогенерация - ну невозможно ошибится в коде, если у тебя источник информации для кода всегда один. А ошибки вида "не так спроектировали" - тестами не лечатся.

Еще я не использую разного рода современные инструменты, версии студии меняю через 2-3 года после их выхода, склонен использовать самодельные компоненты вместо готовых и вообще страдаю ретроградством.

Проблема в том, что у меня совершенно нет критериев оценки, где я прав и пропускаю ненужные buzz-words мимо ушей, а где не прав, и упускаю полезные инструменты. Потому что на всех работах инструменты/платформы/методики работы выбираю я и обсудить этот выбор на адекватном уровне не с кем.
Раньше хотя бы был вменяемый критерий "успеем проект сдать вовремя или не сделаем вообще", а сейчас и он смысл потерял - это вообще перестало зависеть от используемых технологий, а стало зависеть от наличия бабла у клиентов и правильной организации труда.

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

[identity profile] miserakl.livejournal.com 2012-09-26 01:08 pm (UTC)(link)
Не обязательно закономерность, хотя бы примеры :)

[identity profile] nivanych.livejournal.com 2012-09-26 01:20 pm (UTC)(link)
"Будет ли f x всегда размера не более столько-то", например.

[identity profile] perepertoz.livejournal.com 2012-10-11 12:43 am (UTC)(link)
ну например вместо череды
TEST_NOTNULL(f(a1)) для граничного а1
...
TEST_NOTNULL(f(an)) для граничного an
что-типа
PROVE_NOTNULL(f(x)) для любого х из области определения f
(ваш КО)
Edited 2012-10-11 00:44 (UTC)

[identity profile] miserakl.livejournal.com 2012-10-12 12:53 pm (UTC)(link)
NOTNULL проверяется системой типов.

[identity profile] perepertoz.livejournal.com 2012-10-12 01:40 pm (UTC)(link)
идею, я думаю вы всё-таки поняли :)

[identity profile] miserakl.livejournal.com 2012-10-12 01:57 pm (UTC)(link)
Talk is cheap, show me the code.

[identity profile] perepertoz.livejournal.com 2012-10-12 02:28 pm (UTC)(link)
увы, я только учусь, еще не волшебник Ж)
Edited 2012-10-12 14:29 (UTC)

[identity profile] miserakl.livejournal.com 2012-10-12 02:55 pm (UTC)(link)
Учитесь — то есть всё-таки собираетесь использовать доказательства на практике?

[identity profile] perepertoz.livejournal.com 2012-10-12 05:17 pm (UTC)(link)
разумеется да.

[identity profile] miserakl.livejournal.com 2012-10-13 12:21 pm (UTC)(link)
А не расскажете подробней? Для какого проекта, на каком языке, какими инструментами, есть ли уже примеры..?