Методы машинного обучения в области программной инженерии

В настоящее время автоматизация поиска ошибок в программах осуществляется при помощи статических анализаторов кода. Первой проблемой такого подхода является сложность добавления поддержки новых видов багов. Для каждого нужно сделать описание с точки зрения анализатора и затем уменьшить количество ложных сигналов при помощи разнообразных эвристик.

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

Автор статьи сделал фреймворк для написания баг-детекторов, основывающийся на машинном обучении и нацеленный на решение обеих проблем. В докладе будет разобрано его устройство, опыт добавления в него поддержки нового языка и реализация инспекции для PyCharm на его основе.

Докладчики: Егор Богомолов.

Язык доклада: русский.

Дата и время: 26 сентября, 20:00-21:30.

Место: Таймс, 204.