Семинар по эффективному поиску в пространстве патчей для автоматического исправления программ

Семинар по эффективному поиску в пространстве патчей для автоматического исправления программ

Целью автоматического исправления программ является снижение затрат на отладку с помощью автоматического предложения патчей для программных ошибок. Несмотря на то, что современные подходы продемонстрировали возможность автоматического исправления ошибок в больших проектах, таких как PHP, Python и Wireshark, у настоящих подходов есть существенные ограничения. Первая проблема автоматического исправления программ заключается в масштабируемости, т. к. таким системам необходимо производить поиск в больших пространствах патчей, для того чтобы иметь возможность решить различные типы проблем. Вторая проблема заключается в точности, т.к. из-за того что большинство систем используют тесты в качестве критерия корректности, автоматически сгенерированные патчи подвержены переобучению.

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

Докладчик: Сергей Мечтаев, Национальный Университет Сингапура.

06.03.2017, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28