Детальная информация
Название | Исследование подходов к построению системы автоматизированной проверки работ по реляционной алгебре и разработка ее прототипа: магистерская диссертация: 02.04.03 |
---|---|
Авторы | Шевченко Татьяна Григорьевна |
Научный руководитель | Сабинин Олег Юрьевич |
Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
Выходные сведения | Санкт-Петербург, 2017 |
Коллекция | Выпускные квалификационные работы; Общая коллекция |
Тематика | Базы данных; Вычислительные машины электронные — Программы — Тестирование; реляционная алгебра; реляционные выражения |
УДК | 004.652.43(043.3) |
Тип документа | Выпускная квалификационная работа магистра |
Тип файла | |
Язык | Русский |
Уровень высшего образования | Магистратура |
Код специальности ФГОС | 02.04.03 |
Группа специальностей ФГОС | 020000 - Компьютерные и информационные науки |
DOI | 10.18720/SPBPU/2/v17-1760 |
Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
Ключ записи | RU\SPSTU\edoc\38744 |
Дата создания записи | 21.04.2017 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа | Анонимные пользователи |
---|---|
Сеть | Интернет |
Объект исследования: процесс проверки реляционных выражений на корректность. Цель работы - анализ возможных подходов к построению системы автоматизированной проверки работ по реляционной алгебре и разработка прототипа. В процессе работы проводились исследования возможных подходов к проверке реляционных выражений на корректность. В результате разработаны способы повышения качества проверки с использованием существующего подхода - автоматизированного тестирования. Повышение качества обусловлено детальной проработкой тестовых данных и большим количеством тестов. Также разработан новый подход. Качество проверки работ с использованием этого подхода обусловлено применением правил преобразования. Оба подхода применимы для проверки реляционных выражений. Разработанный прототип позволяет сократить время на проверку работ по реляционной алгебре.
Место доступа | Группа пользователей | Действие |
---|---|---|
Локальная сеть ИБК СПбПУ | Все |
|
Интернет | Авторизованные пользователи СПбПУ |
|
Интернет | Анонимные пользователи |
|
Количество обращений: 657
За последние 30 дней: 0