Details

Title Web-приложение для системы ограниченной проверки моделей Borealis: бакалаврская работа: 09.03.01
Creators Анисимов Александр Александрович
Scientific adviser Беляев Михаил Анатольевич
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2017
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects качество программного обеспечения ; web-технологии ; ограниченная проверка моделей для c
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 - Информатика и вычислительная техника
DOI 10.18720/SPBPU/2/v17-4077
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\45269
Record create date 10/19/2017

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

Желающие воспользоваться средствами проверки моделей для программного кода зачастую вынуждены сталкиваться со сложностями развёртывания и настройки специальных программных средств.Чтобы предоставить пользователю лёгкий в использовании инструмент, разработчики из лаборатории верификации и анализа программ нашего университета решили разработать веб-приложение, которое предоставляло бы возможность конечному пользователю легко проверять свои проекты, из репозиториев GitHub и BitBucket. Поскольку проверка может занимать длительное время предполагается хранение истории пользования сервисом. Результаты выдаются в виде исходных текстов с подсветкой строк, содержащих дефекты.По итогам проделанной работы, были выполнены все поставленные задачи и получено работоспособное веб-приложение, которое с некоторыми доработками, может быть представлено конечному пользователю.

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous
  • ВВЕДЕНИЕ
  • 1. Анализ подходов
    • 1.1. Java
      • 1.1.1. Spring MVC
      • 1.1.2. JSF
      • 1.1.3. Vaadin
      • 1.1.4. GWT
    • 1.2. Python
      • 1.2.1. Django
      • 1.2.2. Flask
  • 2. Постановка задачи
    • 2.1. Название сайта
    • 2.2. Заказчик
    • 2.3. Эксплуатационное назначение
    • 2.4. Функциональное назначение
  • 3. Проектирование архитектуры системы
    • 3.1. Клиентская часть
      • 3.1.1. Главная страница
      • 3.1.2. Страница проверки репозитория
      • 3.1.3. Страница истории
      • 3.1.4. Страница деталей поиска
    • 3.2. Серверная часть
      • 3.2.1. Model
      • 3.2.2. View
  • 4. Разработка системы
    • 4.1. Главная страница
    • 4.2. Страница проверки репозитория
    • 4.3. Страница истории
    • 4.4. Страница деталей поиска
    • 4.5. Страница результатов проверки
  • 5. Тестирование системы
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ А. ЛИСТИНГИ

Access count: 233 
Last 30 days: 0

Detailed usage statistics