Details

Title Разработка Web-интерфейса для верификатора NuSMV: выпускная квалификационная работа бакалавра: направление 09.03.01 «Информатика и вычислительная техника» ; образовательная программа 09.03.01_02 «Технологии разработки программного обеспечения»
Creators Черникова Арина Сергеевна
Scientific adviser Ицыксон Владимир Михайлович
Other creators Нестеров Сергей Александрович
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2021
Collection Выпускные квалификационные работы; Общая коллекция
Subjects формальная верификация; model checking; верификатор NuSMV; web-интерфейс; конечный автомат; django; python; графический интерфейс; react; formal verification; nusmv verifier; web-interface; finite-state machine; graphical interface
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 - Информатика и вычислительная техника
Links Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI 10.18720/SPBPU/3/2021/vr/vr21-749
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key ru\spstu\vkr\11737
Record create date 6/25/2021

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

В данной работе проводится разработка web-интерфейса для верификатора NuSMV с возможностью графического задания описания модели, ее отображения и визуализации контрпримеров. Для этого сначала выполняется обзор и анализ существующих графических интерфейсов для систем Model Checking, формируются требования для разрабатываемой системы. В качестве практической части реализуется приложение с клиент-серверной архитектурой, предоставляющее пользователю возможность графического взаимодействия с верифицируемой моделью, проводится функциональное и модульное тестирование основных компонентов приложения.

This document describes the web-interface development for the NuSMV verifier with the possibility of graphic creation and display the description of the model, also with the possibility of visualization counterexamples. For this, there are presented review and comparative analysis of existing graphical representations for Model Checking systems, and then formation requirements for the developed system. As a practical part, it describes the implementation of application with a client-server architecture allows user possibility of graphical interaction with a verifiable model, also there are presented functional and module testing of main app components.

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous

Access count: 28 
Last 30 days: 0

Detailed usage statistics