Details

Title Исследование и разработка метода редукции программ на языке Kotlin: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения
Creators Степанов Даниил Сергеевич
Scientific adviser Ицыксон Владимир Михайлович
Other creators Новопашенный Андрей Гелиевич
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2018
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects Программирования языки ; Вычислительные машины электронные персональные — Программы ; Вычислительные машины электронные персональные — Математическое обеспечение
UDC 004.438 ; 004.422.8
Document type Master graduation qualification work
File type PDF
Language Russian
Level of education Master
Speciality code (FGOS) 09.04.01
Speciality group (FGOS) 090000 - Информатика и вычислительная техника
Links Отзыв руководителя ; Рецензия
DOI 10.18720/SPBPU/2/v18-4632
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\56705
Record create date 11/14/2018

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Action 'Download' will be available if you login or access site from another network

Group Anonymous
Network Internet

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous
  • ВВЕДЕНИЕ
  • 1. Описание методов локализации ошибок
    • 1.1. Дельта-дебаггинг
      • 1.1.1. Дельта-дебаггинг с использованием topformflat
      • 1.1.2. Иерархический дельта-дебаггинг
    • 1.2. Программные срезы
    • 1.3. Существующие средства программной редукции
    • 1.4. Резюме
  • 2. Постановка задачи
    • 2.1. Выбор целевого языка программирования
    • 2.2. Постановка задачи разработки технологии редукции программ
    • 2.3. Постановка задачи разработки прототипа, реализующего технологию редукции программ
    • 2.4. Резюме
  • 3. Разработка метода программной редукции
    • 3.1. Проверка воспроизведения ошибки
    • 3.2. Предварительное упрощение проектов
    • 3.3. Программный срез
      • 3.3.1. Слайсинг на уровне классов и функций
      • 3.3.2. Внутрипроцедурный слайсинг
    • 3.4. Трансформации над текстовым представлением программы
    • 3.5. Трансформации над синтаксическим деревом
    • 3.6. Иерархический дельта-дебаггинг
    • 3.7. Резюме
  • 4. Разработка прототипа
    • 4.1. Архитектура прототипа
    • 4.2. Реализация инструмента для построения синтаксического дерева
    • 4.3. Реализация редуцирующих трансформаций
      • 4.3.1. Пакет com.stepanov.reduktor.passes.slicer
    • 4.4. Реализация менеджера проходов
    • 4.5. Реализация вспомогательных компонентов
      • 4.5.1. Компоненты CompilerCrashTestChecker и TestChecker
      • 4.5.2. Компонент ParallelFileProcessingUtil
      • 4.5.3. Компонент RemoveSourcesFromJar
    • 4.6. Резюме
  • 5. Тестирование системы
    • 5.1. Описание тестовых проектов
    • 5.2. Оценка целесообразности
    • 5.3. Результаты тестирования
    • 5.4. Анализ результатов
    • 5.5. Резюме
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ 1. ПРИМЕР ПРИМЕНЕНИЯ РАЗРАБОТАННОЙ ТЕХНОЛОГИИ К КОМПИЛЯТОРНЫМ ТЕСТАМ
  • ПРИЛОЖЕНИЕ 2. ЛИСТИНГИ

Access count: 96 
Last 30 days: 0

Detailed usage statistics