Automatic code repair

Abstract

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

Fixing buggs is not only a tedious and time-consuming, but also a repetitive process. Therefore, studies on automatic code repair are developing rapidly. This paper provides a brief overview of the area of automated code repair, followed by a description of the Prophet tool. Prophet can fix a limited, not complete number of error classes, so the purpose of the proposed work is to increase the number of errors that the Prophet can correct. In this paper the following results were obtained: Implemented the patch generation for error classes, which can be corrected by moving the first statement of the function before the calling code. The correct code model has been expanded and re-trained by adding new features to support patches that change 2 places in code and adding new examples to the training set. The most significant features of successful patches were revealed and the impact of new training examples on the parameters of the correct code model was analyzed As a result, the space of generated patches in the Prophet tool has been extended and a bug in the test suite has been fixed.