Re[22]: Долгая компиляция на с++ - смерть для больших проект
От: __kot2  
Дата: 04.05.16 01:53
Оценка:
Здравствуйте, _hum_, Вы писали:
__> "Сценарии покрыты на 100%"
__>это примерно как заявить — код написан на 100% без ошибок. "ваши доказательства?"
ну кодом же вы как-то покрываете сценарии исполнения?

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

вот есть Вася и Петя. и дали им задачу — написать автоисправление русского текста. задачи хитрая и четкого решения не имеющая.

Вася что-то написал, приносит код, мы открываем папочку с тестами и видим
чяща -> чаща
жыр -> жир
несделал -> не сделал

думаем, какой Вася молодец. вот мы сразу поняли, что кодом поддерживается, нам даже лезть в него не надо

Петя отдает код и говорит "ну и задачку же вы мне подсунули". короче, говорит, я там что-то написал, я проверил у себя на компе там, я ему тест создал, просто опечаток понараскидал, он нашел 70%. улучшить можно, но пока не знаю как.

вы можете выбрать какой код развивать. и какой будете — Васин, который понятно что делает или Петин, который вообще непонятно что делает?

при этом, понимаете, Вася создал огромную ценность в виде минимальных некорректных примеров разных классов, а Петя просто проторчал в дебагере, выискивая какие-то опечатки, по всей видимости, еще и не все найденные. есть желание заниматься поиском его опечаток?
Отредактировано 04.05.2016 2:12 __kot2 . Предыдущая версия .
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.