Соер, если человек уже 10 лет в айти, последние 5 из них кодит. Но базы не было. Как получить эту базу самому? Типа посмотреть cs50 а дальше? Или только вариант пойти в магистратуру на ивт? Как поднять квалификацию тому, кто уже давно работает, но базы, что получают люди в универах - нет.
Я считаю, что если написаный код соответствует юзер стори и поставленной задаче - значит он корректный. А если захотеть, то найти "баг" всегда можно. Для того, чтобы не было багов нужо писать корректные требования и правильно ставить и контролировать выполение задачи
0:52 мой софт говно =) потому что я джун, а на меня накидывают сеньерские задачи, но спасибо менторам. мой код выглядит лучше и возможно поддерживать в отличии от тех же синьоров с которыми я работаю =)
Тестирование (в Советское вемя называлось испытание): важнейшая задача телеметристов. Кстати, кто в теме, продолжите фразу : "Увидел телеметриста - ..." . И главное - почему?
Чтобы расставить точки в столь неочевидном состоянии программы, как ее корректность, можно с уверенностью заявить, что любой программист может считать программу корректной, пока не доказано обратного
@@infdox9051 вне зависимости. Сам факт некорректности должен быть подтвержден, в противном случае, можно всегда обделываться со страху и ничего никогда не написать. Ведь, какие бы вы методики тестирования не использовали, всегда остается доля вероятности, допуская которую можно обделаться.
корректность не всегда достигается тестированием, есть еще формальные методы верификации - proofs or model checking, об этом вы упомянули частично
Соер, если человек уже 10 лет в айти, последние 5 из них кодит. Но базы не было. Как получить эту базу самому? Типа посмотреть cs50 а дальше? Или только вариант пойти в магистратуру на ивт? Как поднять квалификацию тому, кто уже давно работает, но базы, что получают люди в универах - нет.
Я считаю, что если написаный код соответствует юзер стори и поставленной задаче - значит он корректный. А если захотеть, то найти "баг" всегда можно. Для того, чтобы не было багов нужо писать корректные требования и правильно ставить и контролировать выполение задачи
Спасибо
Спасибо!
А куда Соер то пропал? 4 месяца уже не слышно
0:52 мой софт говно =) потому что я джун, а на меня накидывают сеньерские задачи, но спасибо менторам. мой код выглядит лучше и возможно поддерживать в отличии от тех же синьоров с которыми я работаю =)
Люблю тебя❤️❤️❤️
Саш, ты чего..
@@stanislawgupaliuk3771 тебя тоже 💋
@@AlexGold дурашка, я тебя тоже
6:59 но при работе с нейронками это необходимо
Здравствуйте,а посоветуйте с нуля какой язык проще изучить " Питон" или С ++?
python
Ссылка на ВК не работает почему то
"Доказательство корректности программы через формальные модели" - интересно было бы послушать про это...
Тестирование (в Советское вемя называлось испытание): важнейшая задача телеметристов. Кстати, кто в теме, продолжите фразу : "Увидел телеметриста - ..." . И главное - почему?
ну так то да, но по 105й чирибасик не особо как-то =)
Увидел телеметриста, убей его.
А разве "корректность" в том смысле, в котором это слово тут употребляется не равно "верификации"?
Чтобы расставить точки в столь неочевидном состоянии программы, как ее корректность, можно с уверенностью заявить, что любой программист может считать программу корректной, пока не доказано обратного
в зависимости от последствий
@@infdox9051 вне зависимости. Сам факт некорректности должен быть подтвержден, в противном случае, можно всегда обделываться со страху и ничего никогда не написать. Ведь, какие бы вы методики тестирования не использовали, всегда остается доля вероятности, допуская которую можно обделаться.
@@ALFATAVR Например, получить радиации на аппарате в тысячу раз больше чем положено
@@infdox9051 Не ведите разработку на продуктивной системе и перед деплоем на продуктив используйте тестовый контур, иначе - это премия Дарвина :)))
@@ALFATAVR Дарвин относится к физическому здоровью, а не к смекалке
я признаюсь
ну и не идеалистами, а интуиционистами или формалистами, это они топят за конструктивную математику и пруфы
Смотря подобные ролики на ютубе никогда не научишься программировать.