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
Speciality code (FGOS): 09.03.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-4088
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)

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

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

Document access rights

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

Table of Contents

  • ВВЕДЕНИЕ
  • 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. Тестирование серверной части
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ А. ЛИСТИНГИ

Usage statistics

stat Access count: 112
Last 30 days: 1
Detailed usage statistics