?

Details
Table Card RUSMARC
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

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 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: 520
Last 30 days: 0
Detailed usage statistics