Статичний аналізатор коду для мови програмування LISP
Вантажиться...
Дата
2021-06
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Кваліфікаційна робота включає пояснювальну записку (67 с., 52 рис., 4 додатки).
Об’єкт розробки – створення статичного аналізатору коду для мови програмування LISP, що дає програмісту доступ до більш високорівневого представлення програмного продукту та дозволяє в автоматичному режимі перевірити якість та надійність коду. Розроблена система дозволяє:
• здійснювати аналіз програмного коду у текстовому вигляді;
• будувати граф залежностей між пакетами або групами пакетів;
• оптимізувати імпорт та експорт символів пакету;
• знаходити потенційні програмні помилки та архітектурні недоліки.
В ході розробки була використана мова програмування Common LISP з її стандартними бібліотеками, розширеннями компілятора SBCL та невеликою кількістю сторонніх бібліотек.
В ході виконання дипломного проекту:
• проведений аналіз існуючих рішень як для мови Сommon LISP, так і для інших мов програмування;
• розроблений принцип роботи аналізатора та його архітектура;
• власне, розроблений сам аналізатор коду;
• проведене тестування розробленої програмної системи.
Використання цього аналізатора в ході розробки великих проектів мовою програмування Common LISP дозволяє полегшити роботу програміста, попереджуючи заздалегідь про потенційні помилки та архітектурні недоліки, знаходження яких традиційними методами є нетривіальною та трудомісткою задачею.
Опис
Ключові слова
статичний аналізатор коду, графи залежностей, архітектура програми, Common LISP, SBCL, static code analyzer, dependency graphs, program architecture
Бібліографічний опис
Колпаков, П. С. Статичний аналізатор коду для мови програмування LISP : дипломний проєкт … бакалавра : 123 Комп'ютерна інженерія / Колпаков Пилип Сергійович. – Київ, 2021. – 80 с.