Спосіб визначення незалежних конструкцій перевизначення REDEFINES
Вантажиться...
Дата
2021
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Актуальність теми. XXI століття — вік прогресивного розвитку комп’ютерних технологій. В наш час програмні продукти з’являються і розвиваються з неймовірною швидкістю, тенденції і тренди на технології змінюються щоденно. Внаслідок такого стрімкого розвитку програмування набули популярності різні методи статичного аналізу програмного коду, які спрощують роботу програмістів та допомагають уникнути небажаних помилок. Тому розробка таких інструментів є дуже актуальною в наш час. Однією з таких проблем є використання об’єднань у програмному коді, що вважається поганою практикою, та ускладнює трансляцію програмного коду з об’єднаннями, в мову які їх не підтримують. Сучасні утиліти аналізу програмного коду тільки знаходять такі використання, та сповіщають про їх не доречність, проте не надають ніяких підказок, як же можна позбутись об’єднань.
Об’єктом дослідження є конструкції перевизначення мов програмування.
Предметом дослідження є спосіб визначення незалежних конструкцій REDEFINES за допомогою статичного аналізу коду.
Мета роботи: розробка способу визначення незалежних конструкцій REDEFINES за допомогою статичного аналізу, та його програмна реалізація.
Наукова новизна полягає в наступному: вперше запропонований спосіб визначення незалежних конструкцій перевизначення.
Практична цінність отриманих в роботі результатів полягає в тому, що запропонований спосіб дозволяє визначати конструкції перевизначення, які використовуються незалежно одна від одної, та в можуть бути видалені, що спрощує трансляцію коду в мови які не підтримують таких конструкцій. Програмна реалізація запропонованого способу для конструкцій REDEFINES мови COBOL дозволяє застосувати його на програмах написаних цією мовою.
Апробація роботи. Основні положення і результати роботи були представлені та обговорювались на XIV науковій конференції магістрантів та аспірантів «Прикладна математика та комп’ютинг» ПМК-2021 (Київ, 17-19 листопада 2021 р.), а також на VIІI Міжнародній науково-технічній Internet-конференції, 25-26 листопада 2021 р. у Національному університеті харчових технологій.
Структура та обсяг роботи. Магістерська дисертація складається з вступу, п’ятьох розділів та висновків.
У вступі подано загальну характеристику роботи, зроблено оцінку сучасного стану проблеми, обґрунтовано актуальність напрямку досліджень, сформульовано мету і задачі досліджень та показано практичну цінність роботи.
У першому розділі розглянуто конструкції перевизначення у різних мовах програмування та проблеми які виникають під час їх використання. Проведено аналіз існуючих інструментів статичного аналізу та їх можливостей роботи з конструкціями перевизначення.
У другому розділі наведено відомості про методи, алгоритми та інструменти, які використовуються для аналізу програмного коду в магістерській роботі.
У третьому розділі подано опис розробленого способу та покрокова ілюстрація його роботи.
У четвертому розділі міститься програмна реалізація розробленого способу для конструкції REDEFINES мови COBOL.
У п’ятому розділі показано як було виконано тестування розробленого програмного забезпечення, та результати роботи на різних тестових програмах.
У висновках представлені результати проведеної роботи.
Робота представлена на 83 аркушах, містить 3 додатки та посилання на список використаних літературних джерел.
Опис
Ключові слова
статичний аналіз коду, REDEFINES, static code analysis
Бібліографічний опис
Кравчук, В. В. Спосіб визначення незалежних конструкцій перевизначення REDEFINES : магістерська дис. : 123 Комп’ютерна інженерія / Кравчук Володимир Вікторович. – Київ, 2021. – 90 с.