Details

Title Разработка web-frontend для NuSMV: бакалаврская работа: 09.03.01
Creators Кан Виталий Сергеевич
Scientific adviser Ицыксон Владимир Михайлович
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2017
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects формальная верификация ; проверка моделей ; качество систем ; графический интерфейс пользователя
Document type Bachelor graduation qualification work
File type PDF
Language Russian
Level of education Bachelor
Speciality code (FGOS) 09.03.01
Speciality group (FGOS) 090000 - Информатика и вычислительная техника
DOI 10.18720/SPBPU/2/v17-4088
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\45446
Record create date 10/20/2017

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

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous
  • ВВЕДЕНИЕ
  • 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. Тестирование серверной части
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ А. ЛИСТИНГИ

Access count: 520 
Last 30 days: 0

Detailed usage statistics