Курсовая работа: Автоматическое исправление ошибок в программном коде

Оглавление



















3

Введение

На текущий момент исследования, изучающие исправление ошибок

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

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

– исправляющие определенный класс ошибок;

– использующие символьное исполнение;

– системы генерации и валидации исправлений (generate-and-validate systems).

Многие эти системы имеют проблему масштабируемости: инстру-менты, хорошо работающие на маленьких примерах, плохо работают на реальных больших проектах (около 100 тыс. строк кода). Одним из немногих инструментов, решающих данную проблему, является Prophet[10].

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