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

Кан, Виталий Сергеевич. Разработка web-frontend для NuSMV [Электронный ресурс]: бакалаврская работа: 09.03.01 / В. С. Кан; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. М. Ицыксон. — Электрон. текстовые дан. (1 файл : 1,54 Мб). — Санкт-Петербург, 2017. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v17-4088.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v17-4088>.

Дата создания записи: 20.10.2017

Тематика: формальная верификация; проверка моделей; качество систем; графический интерфейс пользователя

Коллекции: Выпускные квалификационные работы; Общая коллекция

Ссылки: DOI

Разрешенные действия: Прочитать Загрузить (1,5 Мб) Для чтения документа необходим Flash Player

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

Сеть: Интернет

Аннотация

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

Статистика использования документа

stat Количество обращений: 404
За последние 30 дней: 12
Подробная статистика