Вход в систему
Инструкция по поиску

Детальная информация

Название Разработка web-frontend для NuSMV: бакалаврская работа: 09.03.01
Авторы Кан Виталий Сергеевич
Научный руководитель Ицыксон Владимир Михайлович
Организация Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения Санкт-Петербург, 2017
Коллекция Выпускные квалификационные работы ; Общая коллекция
Тематика формальная верификация ; проверка моделей ; качество систем ; графический интерфейс пользователя
Тип документа Выпускная квалификационная работа бакалавра
Тип файла PDF
Язык Русский
Уровень высшего образования Бакалавриат
Код специальности ФГОС 09.03.01
Группа специальностей ФГОС 090000 - Информатика и вычислительная техника
DOI 10.18720/SPBPU/2/v17-4088
Права доступа Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи RU\SPSTU\edoc\45446
Дата создания записи 20.10.2017

Разрешенные действия

–

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа Анонимные пользователи
Сеть Интернет

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

Количество обращений: 520 
За последние 30 дней: 0

Подробная статистика