Детальная информация

Название: Динамический анализ корректности взаимодействия приложений и библиотек на основе спецификаций: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения»
Авторы: Михалёва Мария Вадимовна
Научный руководитель: Ицыксон Владимир Михайлович
Другие авторы: Новопашенный Андрей Гелиевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2021
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Вычислительные машины электронные персональные — Библиотеки программ; Вычислительные машины электронные — Программы — Тестирование; верификация; динамический анализ; инструментирование; verification; dynamic analysis; instrumentation
УДК: 004.422.8; 004.415.53
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 09.04.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
Ссылки: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2021/vr/vr21-693
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Тема выпускной квалификационной работы: «Динамический анализ корректности взаимодействия приложений и библиотек на основе спецификаций». Целью магистерской диссертации является разработка инструмента, позволяющего автоматизировать процесс проверки корректности использования программной библиотеки, основываясь на ее спецификации. Результатом работы инструмента является сформированный набор несоответствий вызовов методов библиотек в конкретных участках тестируемого проекта. Инструмент представлен в виде десктопного Java-приложения, которое позволяет анализировать другие Java-программы. На вход такой системы поступает информация о местоположениях программы, ее системы сборки (если таковая имеется) и спецификации программной библиотеки, описанной на языке LibSL.

The subject of the master’s degree thesis "Dynamic analysis of the correctness of the interaction of applications and libraries based on specifications." The aim of the master's thesis is to develop a tool to automate the process of checking the correctness of the use of a software library, based on its specification. The result of the tool's work is a generated set of inconsistencies in calls to library methods in specific areas of the project under test. The tool is presented as a desktop Java application that allows you to analyze other Java programs. The input of such a system receives information about the locations of the program, its build system (if any) and the specification of the software library described in the LibSL language.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
Интернет Авторизованные пользователи (не СПбПУ)
-> Интернет Анонимные пользователи

Оглавление

  • СПИСОК ОБОЗНАЧЕНИЙ И СОКРАЩЕНИЙ
  • ВВЕДЕНИЕ
  • 1. ИССЛЕДОВАНИЕ ПРЕДМЕТНОЙ ОБЛАСТИ
    • 1.1. Обзор методов проверки корректности программ
      • 1.1.1. Тестирование на основе спецификаций
      • 1.1.2. Тестирование на основе состояний и диаграммы переходов состояний
      • 1.1.3. Тестирование на основе моделей
    • 1.2. Обзор инструментов проверки программ
      • 1.2.1. SPEST
      • 1.2.2. UniTESK
      • 1.2.3. Modbat
      • 1.2.4. ModelJUnit
      • 1.2.5. JADET
      • 1.2.6. BCT
      • 1.2.7. ВКР Автоматизация проверки корректности использования программных библиотек на основе спецификаций
    • 1.3. Сравнение инструментов с точки зрения проверки корректности использования программой методов библиотек
    • 1.4. Выводы
  • 2. Постановка задачи
    • 2.1. Назначение и цели создания приложения
    • 2.2. Функциональные возможности
    • 2.3. Выводы
  • 3. Разработка метода автоматизированной проверки корректности использования библиотеки на основе спецификации
    • 3.1. Метод динамической проверки корректности взаимодействия приложений и библиотек на основе спецификаций
    • 3.2. Архитектура
    • 3.3. Выводы
  • 4. Разработка приложения
    • 4.1. Стек технологий
    • 4.2. Графический интерфейс
    • 4.3. Бизнес-логика
      • 4.3.1. Этапы работы инструмента
      • 4.3.2. Загрузка модели
      • 4.3.3. Генерация аспектов
      • 4.3.4. Инструментирование и внедрение модуля отправки данных
      • 4.3.5. Генерация тестов
      • 4.3.6. Получение и анализ трасс выполнения программы
      • 4.3.7. Запуск процессов
    • 4.4. Выводы
  • 5. Тестирование и анализ полученных результатов
    • 5.1. Тестирование
    • 5.2. Тестирование применения библиотеки решения квадратных уравнений для проекта, не использующего систему сборки
    • 5.3. Тестирование применения библиотеки работы по сети для проекта, использующего Gradle
    • 5.4. Тестирование применения библиотеки работы с файлами для проекта, использующего Maven
    • 5.5. Тестирование системы на реальных проектах
    • 5.6. Сводные данные результатов тестирования
    • 5.7. Выводы
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ . Листинги

Статистика использования

stat Количество обращений: 3
За последние 30 дней: 1
Подробная статистика