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
Speciality code (FGOS): 09.04.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
Links: http://doi.org/10.18720/SPBPU/2/v18-4632; http://elib.spbstu.ru/dl/2/rev/v18-4632-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4632-r.pdf
Rights: Свободный доступ из сети Интернет (чтение)

Allowed Actions: Read You need Flash Player to read document

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
FL SPbPU Local Network All Read
-> Internet All Read

Table of Contents

  • ВВЕДЕНИЕ
  • 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. ЛИСТИНГИ

Document usage statistics

stat Document access count: 42
Last 30 days: 1
Detailed usage statistics