В рамках выпускной квалификационной работы разработано веб-приложение, реализующее графический пользовательский интерфейс для верификатора NuSMV. Приложение построено в соответствии с клиент-серверной архитектурой. Рассмотрены существующие решения в области графических интерфейсов для верификаторов NuSMV, Spin, проанализированы их достоинства и недостатки. Сформулирована постановка задачи, требования к разрабатываемому программному обеспечению. Проанализированы технологии, с помощью которых возможна реализация приложения в соответствии с требованиями, обоснован их выбор. Выполнено функциональное и модульное тестирование компонентов приложения.

• ВВЕДЕНИЕ
• 1. Анализ существующих решений
  • 1.1. Графические интерфейсы пользователя для Spin
    • 1.1.1. iSpin
    • 1.1.2. jSpin
  • 1.2. Графические интерфейсы пользователя для NuSMV
    • 1.2.1. NuSMV GUI
    • 1.2.2. gNuSMV
    • 1.2.3. NuSeen
  • 1.3. Вывод
• 2. Постановка задачи
  • 2.1. Требования
  • 2.2. Клиентская часть приложения
  • 2.3. Серверная часть приложения
• 3. Проектирование архитектуры системы
  • 3.1. Архитектура приложения
    • 3.1.1. REST
    • 3.1.2. SOAP
    • 3.1.3. Вывод
  • 3.2. Серверная часть приложения
    • 3.2.1. Java Sockets
    • 3.2.2. Node.js
    • 3.2.3. Django Framework
    • 3.2.4. Вывод
  • 3.3. Клиентская часть приложения
    • 3.3.1. Инструмент рендеринга блока стандартных элементов управления
    • 3.3.2. Инструмент рендеринга блока построения диаграмм
  • 3.4. Реализация модели
• 4. Разработка системы
  • 4.1. Сервер
    • 4.1.1. Приложение api
    • 4.1.2. Приложение model_checking
  • 4.2. Клиент
    • 4.2.1. Компоненты
    • 4.2.2. Контейнеры
    • 4.2.3. Модель редьюсеров
    • 4.2.4. Создатели дейтсвий
    • 4.2.5. Поле построения конечных автоматов
    • 4.2.6. Взаимодействие React и D3
    • 4.2.7. Сборка фронэнд-части проекта
• 5. Тестирование системы
  • 5.1. Тестирование клиентской части
  • 5.2. Тестирование серверной части
• ЗАКЛЮЧЕНИЕ
• СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
• ПРИЛОЖЕНИЕ А. ЛИСТИНГИ