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

Шевченко, Татьяна Григорьевна. Исследование подходов к построению системы автоматизированной проверки работ по реляционной алгебре и разработка ее прототипа [Электронный ресурс]: магистерская диссертация: 02.04.03 / Т. Г. Шевченко; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. О.Ю. Сабинин. — Электрон. текстовые дан. (1 файл : 0,98 Мб). — Санкт-Петербург, 2017. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v17-1760.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v17-1760>.

Дата создания записи: 21.04.2017

Тематика: реляционная алгебра; проверка реляционных выражений; правила преобразования

Коллекции: Магистерские диссертации; Общая коллекция

Ссылки: http://doi.org/10.18720/SPBPU/2/v17-1760;

Разрешенные действия: Прочитать Загрузить (1,0 Мб) Для чтения документа необходим Flash Player

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

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

Аннотация

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

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

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

Статистика использования документа

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