С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

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

Название: Исследование подходов к построению системы автоматизированной проверки работ по реляционной алгебре и разработка ее прототипа: магистерская диссертация: 02.04.03
Авторы: Шевченко Татьяна Григорьевна
Научный руководитель: Сабинин Олег Юрьевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2017
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Базы данных; Вычислительные машины электронные — Программы — Тестирование; реляционная алгебра; реляционные выражения
УДК: 004.652.43(043.3)
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 02.04.03
Группа специальностей ФГОС: 020000 - Компьютерные и информационные науки
DOI: 10.18720/SPBPU/2/v17-1760
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

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

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

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

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

Аннотация

Объект исследования: процесс проверки реляционных выражений на корректность. Цель работы - анализ возможных подходов к построению системы автоматизированной проверки работ по реляционной алгебре и разработка прототипа. В процессе работы проводились исследования возможных подходов к проверке реляционных выражений на корректность. В результате разработаны способы повышения качества проверки с использованием существующего подхода - автоматизированного тестирования. Повышение качества обусловлено детальной проработкой тестовых данных и большим количеством тестов. Также разработан новый подход. Качество проверки работ с использованием этого подхода обусловлено применением правил преобразования. Оба подхода применимы для проверки реляционных выражений. Разработанный прототип позволяет сократить время на проверку работ по реляционной алгебре.

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

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

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

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