Автоматик коде. СанктПетербургский государственный
 Скачать 0.58 Mb.
|
|
Санкт-Петербургский государственный университет Программная инженерия Кафедра Системного Программирования Гарифуллина Гузель Раифовна Автоматическое исправление ошибок в программном коде Бакалаврская работа Научный руководитель: к.т.н. доц. Брыксин Т. А. Рецензент: ст. преп. Луцив Д. В. SAINT PETERSBURG STATE UNIVERSITY Software engineering Department of Software Engineering Guzel Garifullina Automatic code repair Bachelor’s Thesis Scientific supervisor: assoc. prof. Bryksin T. A. Reviewer: lecturer Luciv D. V. Saint Petersburg ОглавлениеВведение 4 Постановка задачи 5 Обзор предметной области 6 Основные подходы автоматического исправления ошибок в программном коде . . . . . . . . . . . . . . . . . . . . . . 6 Алгоритм работы инструмента Prophet . . . . . . . . . . 7 Поддержка исправления новых классов ошибок 11 Анализ тестового набора данных . . . . . . . . . . . . . . 11 Реализация исправления новых классов ошибок . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Расширенная модель корректного кода 15 Новые признаки и их извлечение . . . . . . . . . . . . . . 15 3.2. Обучение модели . . . . . . . . . . . . . . . . . . . . . . . 15 Апробация 18 4.1. Схема эксперимента . . . . . . . . . . . . . . . . . . . . . . 18 4.2. Анализ результатов . . . . . . . . . . . . . . . . . . . . . . 18 4.3. Анализ признаков новой модели корректного кода . . . . 19 Заключение 24 Список литературы 25 |