Тема выпускной квалификационной работы: «Динамический анализ корректности взаимодействия приложений и библиотек на основе спецификаций». Целью магистерской диссертации является разработка инструмента, позволяющего автоматизировать процесс проверки корректности использования программной библиотеки, основываясь на ее спецификации. Результатом работы инструмента является сформированный набор несоответствий вызовов методов библиотек в конкретных участках тестируемого проекта. Инструмент представлен в виде десктопного 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. Выводы
• ЗАКЛЮЧЕНИЕ
• СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
• ПРИЛОЖЕНИЕ . Листинги