Платформа автоматизованої перевірки коду з використанням технологій штучного інтелекту

Abstract

Актуальність та науково-практичне значення обраної теми полягає у необхідності підвищення ефективності та якості процесу розробки програмного забезпечення шляхом впровадження автоматизованих засобів перевірки коду. Використання штучного інтелекту дозволяє не лише автоматизувати рутинні завдання, але й забезпечити більш глибокий аналіз коду з точки зору кращих практик та потенційних вразливостей. Об'єктом кваліфікаційної роботи є процес перевірки коду в розробці програмного забезпечення. Предметом кваліфікаційної роботи є методи та засоби автоматизованої перевірки коду з використанням технологій штучного інтелекту. Метою роботи є підвищення ефективності процесу перевірки коду в розробці програмного забезпечення шляхом розробки платформи для автоматизованої перевірки коду з використанням технологій штучного інтелекту. Відповідно до мети визначено такі завдання: - проаналізувати існуючі рішення для автоматизованої перевірки коду та виявити їх обмеження; - дослідити можливості використання технологій штучного інтелекту для аналізу та перевірки коду; - розробити методи та засоби інтеграції технологій штучного інтелекту у процес автоматизованої перевірки коду; - реалізувати прототип платформи для автоматизованої перевірки коду з використанням технологій штучного інтелекту; - оцінити ефективність розробленої платформи у покращенні якості коду Обґрунтування необхідності нової розробки базується на аналізі сучасного стану проблеми. Існуючі інструменти автоматизованої перевірки коду часто обмежені в можливостях та не враховують контекстуальні особливості коду. Вони можуть виявляти синтаксичні помилки або прості патерни, але не здатні забезпечити глибокий семантичний аналіз. Обґрунтування основних проєктних рішень полягає у виборі технологій штучного інтелекту як базового інструменту для аналізу коду, що дозволяє перевіряти код приблизно як людина, враховуючи контекст. Сфера застосування результатів включає компанії та команди розробників програмного забезпечення, які прагнуть підвищити якість свого коду та оптимізувати процеси розробки. Пояснювальна записка складається зі вступу, чотирьох розділів, висновків та додатків. У першому розділі здійснено аналіз існуючих аналогів систем платформ для автоматизованої перевірки коду. У другому розділі розглядаються моделювання та методи автоматизованої перевірки коду. У третьому розділі описано архітектуру, моделювання та проектування платформи. У четвертому розділі розглянуто та описано програмну реалізацію платформи для автоматизованої перевірки коду та її тестування. Кваліфікаційна магістерська робота містить 95 сторінок (без додатків), 33 рисунків, 32 джерела та 3 додатка. The relevance and scientific and practical significance of the chosen topic lies in the need to improve the efficiency and quality of the software development process by implementing automated code verification tools. The use of artificial intelligence allows not only to automate routine tasks, but also to provide a deeper analysis of the code from the point of view of best practices and potential vulnerabilities. The object of the qualification work is the code verification process in software development. The subject of the qualification work is the methods and tools of automated code verification using artificial intelligence technologies. The purpose of the work is to improve the efficiency of the code verification process in software development by developing a platform for automated code verification using artificial intelligence technologies. In accordance with the purpose, the following tasks have been defined: - analyze existing solutions for automated code verification and identify their limitations; - investigate the possibilities of using artificial intelligence technologies for code analysis and verification; - develop methods and tools for integrating artificial intelligence technologies into the automated code verification process; - implement a prototype of a platform for automated code verification using artificial intelligence technologies; - assess the effectiveness of the developed platform in improving code quality. The justification for the need for a new development is based on an analysis of the current state of the problem. Existing automated code verification tools are often limited in capabilities and do not take into account the contextual features of the code. They can detect syntax errors or simple patterns, but are not able to provide deep semantic analysis. The justification for the main design decisions is to choose artificial intelligence technologies as the basic tool for code analysis, which allows checking the code approximately like a person, taking into account the context. The scope of application of the results includes companies and software development teams that seek to improve the quality of their code and optimize development processes. The explanatory note consists of an introduction, four sections, conclusions and appendices. The first section analyzes existing analogues of automated code verification platform systems. The second section considers modeling and methods of automated code verification. The third section describes the architecture, modeling and design of the platform. The fourth section considers and describes the software implementation of the automated code verification platform and its testing. The qualifying master's thesis contains 95 pages (without appendices), 33 figures, 32 sources and 3 appendices.