Разработка web-frontend для NuSMV

Виталий Кан, Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий, Владимир Ицыксон
2017
В рамках выпускной квалификационной работы разработано веб-приложение, реализующее графический пользовательский интерфейс для верификатора NuSMV. Приложение построено в соответствии с клиент-серверной архитектурой. Рассмотрены существующие решения в области графических интерфейсов для верификаторов NuSMV, Spin, проанализированы их достоинства и недостатки. Сформулирована постановка задачи, требования к разрабатываемому программному обеспечению. Проанализированы технологии, с помощью которых
more » ... помощью которых возможна реализация приложения в соответствии с требованиями, обоснован их выбор. Выполнено функциональное и модульное тестирование компонентов приложения.
doi:10.18720/spbpu/2/v17-4088 fatcat:dwygclbh35d5hexn63qfk2v6mi