В чем разница между качеством и корректностью программы
Вставка
- Опубліковано 27 вер 2024
- #soer #itubeteam
Основной канал для общения и публикации новых видео - Телегарм - t.me/softwaree...
Спонсорство - donate.s0er.ru
Сайт платным контентом - soer.pro
Зеркало для видео Дзен Видео - zen.yandex.ru/...
GitHub - github.com/soe...
Чат для программистов - / discord
Группа ВК - codeart...
Соер, если человек уже 10 лет в айти, последние 5 из них кодит. Но базы не было. Как получить эту базу самому? Типа посмотреть cs50 а дальше? Или только вариант пойти в магистратуру на ивт? Как поднять квалификацию тому, кто уже давно работает, но базы, что получают люди в универах - нет.
ну и не идеалистами, а интуиционистами или формалистами, это они топят за конструктивную математику и пруфы
6:59 но при работе с нейронками это необходимо
Спасибо!
Здравствуйте,а посоветуйте с нуля какой язык проще изучить " Питон" или С ++?
python
Ссылка на ВК не работает почему то
А разве "корректность" в том смысле, в котором это слово тут употребляется не равно "верификации"?
Люблю тебя❤️❤️❤️
Саш, ты чего..
@@stanislawgupaliuk3771 тебя тоже 💋
@@AlexGold дурашка, я тебя тоже
Тестирование (в Советское вемя называлось испытание): важнейшая задача телеметристов. Кстати, кто в теме, продолжите фразу : "Увидел телеметриста - ..." . И главное - почему?
ну так то да, но по 105й чирибасик не особо как-то =)
Увидел телеметриста, убей его.
я признаюсь
корректность не всегда достигается тестированием, есть еще формальные методы верификации - proofs or model checking, об этом вы упомянули частично
0:52 мой софт говно =) потому что я джун, а на меня накидывают сеньерские задачи, но спасибо менторам. мой код выглядит лучше и возможно поддерживать в отличии от тех же синьоров с которыми я работаю =)
А куда Соер то пропал? 4 месяца уже не слышно
Смотря подобные ролики на ютубе никогда не научишься программировать.
Я считаю, что если написаный код соответствует юзер стори и поставленной задаче - значит он корректный. А если захотеть, то найти "баг" всегда можно. Для того, чтобы не было багов нужо писать корректные требования и правильно ставить и контролировать выполение задачи
Чтобы расставить точки в столь неочевидном состоянии программы, как ее корректность, можно с уверенностью заявить, что любой программист может считать программу корректной, пока не доказано обратного
в зависимости от последствий
@@infdox9051 вне зависимости. Сам факт некорректности должен быть подтвержден, в противном случае, можно всегда обделываться со страху и ничего никогда не написать. Ведь, какие бы вы методики тестирования не использовали, всегда остается доля вероятности, допуская которую можно обделаться.
@@ALFATAVR Например, получить радиации на аппарате в тысячу раз больше чем положено
@@infdox9051 Не ведите разработку на продуктивной системе и перед деплоем на продуктив используйте тестовый контур, иначе - это премия Дарвина :)))
@@ALFATAVR Дарвин относится к физическому здоровью, а не к смекалке
Спасибо
"Доказательство корректности программы через формальные модели" - интересно было бы послушать про это...