Детальная информация

Название: Web-приложение для системы ограниченной проверки моделей Borealis: бакалаврская работа: 09.03.01
Авторы: Анисимов Александр Александрович
Научный руководитель: Беляев Михаил Анатольевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2017
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: качество программного обеспечения; web-технологии; ограниченная проверка моделей для c
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Бакалавриат
Код специальности ФГОС: 09.03.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-4077
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи: RU\SPSTU\edoc\45269

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

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

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Внешние организации №2 Все Прочитать
Внешние организации №1 Все
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
Интернет Авторизованные пользователи (не СПбПУ, №2) Прочитать
Интернет Авторизованные пользователи (не СПбПУ, №1)
-> Интернет Анонимные пользователи

Оглавление

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

Статистика использования

stat Количество обращений: 232
За последние 30 дней: 0
Подробная статистика