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
Speciality code (FGOS): 09.03.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-4077
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)

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

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
Internet Authorized users (not from SPbPU)
-> Internet Anonymous

Table of Contents

  • ВВЕДЕНИЕ
  • 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. Тестирование системы
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ А. ЛИСТИНГИ

Usage statistics

stat Access count: 31
Last 30 days: 0
Detailed usage statistics