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

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

L>>>Еще раз напомню — с вопросами веры в другой форум.

__>>при чем тут вера, если это чисто математический факт: из теоремы райса вытекает, что не существует даже алгоритма, позволяющего проверить, покрывают ваши тесты 100% сценариев ошибок или нет, не говоря уже об автоматической генерации таких тестов.

L>Ээээ, ты опять не понял смысла юнит-тестирования и TDD в частности.
L>Юнит-тесты не являются black-box тестами и в общем случае они не верифицируют правильность алгоритма.
L>Юнит-тесты верифицируют, что поведение юнита соответствует ожидаемому в определенных условиях. Хорошие юнит тесты покрывают все возможные типы условий. Когда все граничные (все виды граничных) условий покрыты, а у хорошего тестируемого кода этих видов крайне мало, то верификация алгоритма может быть проведена по индукции на основании прохождения тестов на ограниченном наборе данных.
L>На практике это означает, что достаточно того, что написаны тесты, которые проверяют поведение вокруг всех ветвлений, переполнения и т.п., и на некоем ограниченном наборе валидных данных.

L>И еще немаловажная вещь — программист должен очень хорошо понимать, что именно он делает, для того, чтобы написать хороший код и тесты к нему.

ну, раз так (если тес ты — не для поиска ошибок, а для проверки соответствия функциональным требованиям), тогда зачем же вы тут дружно с __kot2 пытаетесь нас заставить отказаться от дебагера?