Автоматическое тестирование и поиск ошибок | Вадим Володин

Когда программы могут повлиять на безопасность и человеческие жизни, важно уделять максимальное внимание их тестированию и поиску ошибок. На данный момент активно развиваются методы, позволяющие значительно упростить написание тестов и повысить качество продукта. В докладе будет рассказано о методах, которые уже хорошо показали себя в этой сфере, таких как фаззинг, символьное исполнение и верификация. Пятый доклад «Le конференции 2021», .