Details

В данной работе проводится разработка 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.