Метод виявлення семантичних помилок у коді на декларативній мові програмування SQL за допомогою статичного аналізу
Вантажиться...
Дата
2023-12-11
Автори
Нетреба, Ігор Вікторович
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Мета дослідження – Підвищити ефективність пошуку семантичних помилок в запитах SQL, дослідження можливостей для оптимізації перевірки запитів, рішення для виявлення та попередження на семантичні помилки. У процесі виконання кваліфікаційної роботи досліджено галузь відмовостійкості та сучасні методи і засоби аналізу коду на семантичні помилки. Удосконалено метод для аналізу запитів написаних на мові програмування SQL та пошуку в них семантичних помилок. Розроблено евристики та інструмент на їх основі для аналізу вхідних запитів та виведенням правильного варіанту їх написання у разі виявлення помилки.
Опис
Ключові слова
121 Інженерія програмного забезпечення, семантичні помилки, SQL, декларативна мова програмування
Бібліографічний опис
Нетреба І. В. Метод виявлення семантичних помилок у коді на декларативній мові програмування SQL за допомогою статичного аналізу : кваліфікаційна робота магістра : 121 Інженерія програмного забезпечення / І. В. Нетреба ; Хмельниц. нац. ун-т. – Хмельницький, 2023. – 155 с.