Статичний аналізатор коду для мови програмування LISP

Скорочена інформація про документ
dc.contributor.advisorМарченко, Олександр Іванович
dc.contributor.authorКолпаков, Пилип Сергійович
dc.date.accessioned2021-08-11T07:39:07Z
dc.date.available2021-08-11T07:39:07Z
dc.date.issued2021-06
dc.description.abstractenQualification work includes an explanatory note (67 p., 52 fig., 4 appendices). The object of development was to create a static code analyzer for the LISP programming language, which gives the programmer access to a higher level of presentation of the software product and allows to automatically check its quality and reliability. The developed system allows: • analyzing the program code in text form; • building a graph of dependencies between packages or groups of packages; • optimizing the import and the export of package symbols; • find potential software bugs and architectural flaws. The Common LISP programming language was used during development, with its standard libraries, SBCL compiler extensions and a small number of third-party libraries. During the implementation of the diploma project were performed: • analysis of existing solutions for the Common LISP language, as well as for other programming languages; • the principle of operation of the analyzer and its architecture development; • actually, the code analyzer development; • testing of the developed software system. The use of this analyzer in the development of large projects in the Common LISP programming language makes it easier for the programmer to warn in advance about potential errors and architectural shortcomings, finding which with traditional methods will be a non-trivial and time-consuming task.uk
dc.description.abstractukКваліфікаційна робота включає пояснювальну записку (67 с., 52 рис., 4 додатки). Об’єкт розробки – створення статичного аналізатору коду для мови програмування LISP, що дає програмісту доступ до більш високорівневого представлення програмного продукту та дозволяє в автоматичному режимі перевірити якість та надійність коду. Розроблена система дозволяє: • здійснювати аналіз програмного коду у текстовому вигляді; • будувати граф залежностей між пакетами або групами пакетів; • оптимізувати імпорт та експорт символів пакету; • знаходити потенційні програмні помилки та архітектурні недоліки. В ході розробки була використана мова програмування Common LISP з її стандартними бібліотеками, розширеннями компілятора SBCL та невеликою кількістю сторонніх бібліотек. В ході виконання дипломного проекту: • проведений аналіз існуючих рішень як для мови Сommon LISP, так і для інших мов програмування; • розроблений принцип роботи аналізатора та його архітектура; • власне, розроблений сам аналізатор коду; • проведене тестування розробленої програмної системи. Використання цього аналізатора в ході розробки великих проектів мовою програмування Common LISP дозволяє полегшити роботу програміста, попереджуючи заздалегідь про потенційні помилки та архітектурні недоліки, знаходження яких традиційними методами є нетривіальною та трудомісткою задачею.uk
dc.format.page80 с.uk
dc.identifier.citationКолпаков, П. С. Статичний аналізатор коду для мови програмування LISP : дипломний проєкт … бакалавра : 123 Комп'ютерна інженерія / Колпаков Пилип Сергійович. – Київ, 2021. – 80 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/43122
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectстатичний аналізатор кодуuk
dc.subjectграфи залежностейuk
dc.subjectархітектура програмиuk
dc.subjectCommon LISPuk
dc.subjectSBCLuk
dc.subjectstatic code analyzeruk
dc.subjectdependency graphsuk
dc.subjectprogram architectureuk
dc.titleСтатичний аналізатор коду для мови програмування LISPuk
dc.typeBachelor Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
KolpakovPS_bakalavr.pdf
Розмір:
3.82 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.01 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (СПСКС)
Бакалаврські роботи