Детальная информация
Название | Web-приложение для системы ограниченной проверки моделей Borealis: бакалаврская работа: 09.03.01 |
---|---|
Авторы | Анисимов Александр Александрович |
Научный руководитель | Беляев Михаил Анатольевич |
Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
Выходные сведения | Санкт-Петербург, 2017 |
Коллекция | Выпускные квалификационные работы ; Общая коллекция |
Тематика | качество программного обеспечения ; web-технологии ; ограниченная проверка моделей для c |
Тип документа | Выпускная квалификационная работа бакалавра |
Тип файла | |
Язык | Русский |
Уровень высшего образования | Бакалавриат |
Код специальности ФГОС | 09.03.01 |
Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
DOI | 10.18720/SPBPU/2/v17-4077 |
Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
Ключ записи | RU\SPSTU\edoc\45269 |
Дата создания записи | 19.10.2017 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа | Анонимные пользователи |
---|---|
Сеть | Интернет |
Желающие воспользоваться средствами проверки моделей для программного кода зачастую вынуждены сталкиваться со сложностями развёртывания и настройки специальных программных средств.Чтобы предоставить пользователю лёгкий в использовании инструмент, разработчики из лаборатории верификации и анализа программ нашего университета решили разработать веб-приложение, которое предоставляло бы возможность конечному пользователю легко проверять свои проекты, из репозиториев GitHub и BitBucket. Поскольку проверка может занимать длительное время предполагается хранение истории пользования сервисом. Результаты выдаются в виде исходных текстов с подсветкой строк, содержащих дефекты.По итогам проделанной работы, были выполнены все поставленные задачи и получено работоспособное веб-приложение, которое с некоторыми доработками, может быть представлено конечному пользователю.
Место доступа | Группа пользователей | Действие |
---|---|---|
Локальная сеть ИБК СПбПУ | Все |
|
Интернет | Авторизованные пользователи СПбПУ |
|
Интернет | Анонимные пользователи |
|
- ВВЕДЕНИЕ
- 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
- 1.1. Java
- 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
- 3.1. Клиентская часть
- 4. Разработка системы
- 4.1. Главная страница
- 4.2. Страница проверки репозитория
- 4.3. Страница истории
- 4.4. Страница деталей поиска
- 4.5. Страница результатов проверки
- 5. Тестирование системы
- ЗАКЛЮЧЕНИЕ
- СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- ПРИЛОЖЕНИЕ А. ЛИСТИНГИ
Количество обращений: 233
За последние 30 дней: 0