Исходное сообщение
"Amazon и Google открыли код систем fuzzing-тестирования Snap..." Отправлено Quad Romb, 16-Май-23 01:37
Фаззинг не заменяет тестов. Тесты не заменяют формальных методов. Формальные методы не заменяют фаззинга, потому что одно относится к модели, а другое - к реализации. Как-то это всё вместе могли бы склеить исполняемые и формально верифицируемые спецификации. Может быть. Но, тут дело упирается в то, что люди небезосновательно опасаются увязнуть в этом с головой - а работающего результата всё равно не получить. Потому что этому толком не учат, а листая чужие решения по запросам в поисковике - въехать в это очень малореально. Никто не удивляется, что для того, чтобы построить надёжную систему, нужно использовать несколько инструментов. А то, что время от времени начинают превозносить какой-то один из них - издержки продвижения. Люди так устроены, что нужно обращать их внимание на некий объект, чтобы они запомнили хотя бы существование этого объекта. Пыль осядет и у кого голова есть - будут выбирать для каждого конкретного проекта конкретную комбинацию из этих инструментов. Впрочем, те у кого в голове не молоко, но масло - ещё вчера это делали.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: