?

Details
Table Card RUSMARC
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

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

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
-> Internet Anonymous

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. ЛИСТИНГИ

Usage statistics

stat Access count: 93
Last 30 days: 0
Detailed usage statistics