Інтелектуальна веб-система автоматизованої перевірки коду
Вантажиться...
Дата
2026
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Дипломна робота: 85 с., 9 рис., 5 табл., 34 посилань, додаток.
Пряме використання хмарних моделей ШІ для перевірки коду студентів викликає надмірну латентність та високу вартість хмарних токенів, що потребує архітектурної оптимізації. Об’єкт дослідження – процес автоматизованої верифікації та технічного рецензування програмного коду студентів. Предмет дослідження – методи аналізу коду на основі абстрактних синтаксичних дерев (AST) та технології багаторівневого семантичного кешування. Мета роботи – проєктування та програмна реалізація веб-системи перевірки коду з гібридним конвеєром обробки для підвищення швидкодії та мінімізації витрат на хмарні API. У роботі оглянуто платформи перевірки коду та проаналізовано проблему латентності ШІ. Запропоновано архітектуру трирівневого конвеєра: локальний аналіз, семантичний кеш (L2) та Gemini API. Розроблено метод шаблонізації AST-дерев для пошуку логічних клонів і розроблено комплекс на FastAPI та React.js. Виконано генерацію мутацій коду для тестування. Отримано метрики швидкодії конвеєра. Встановлено, що кешування зменшує кількість звернень до ШІ на 65% і знижує латентність обробки еквівалентного коду з 4,2 с до 0,04 с.
Опис
Ключові слова
абстрактне синтаксичне дерево (ast), великі мовні моделі (llm), семантичне кешування, fastapi, react.js, верифікація коду, бенчмаркінг, abstract syntax tree (ast), large language models (llm), semantic caching, fastapi, react.js, code verification, benchmarking
Бібліографічний опис
Шульга, О. О. Інтелектуальна веб-система автоматизованої перевірки коду : дипломна робота … бакалавра : 122 Комп'ютерні науки / Шульга Олексій Олексійович. – Київ, 2026. – 85 с.