Browsing by Author "Яковенко, Богдан Миколайович"

Now showing 1 - 2 of 2

Визначення відповідності тексту алгоритму програми на основі конструктивно-продукційної моделі графа керування
(Дніпровський національний університет залізничного транспорту імені академіка В. Лазаряна, Дніпро, 2021) Куроп’ятник, Олена Сергіївна; Яковенко, Богдан Миколайович
UK: Мета. Основною метою статті є розробка та програмна реалізація методу визначення відповідності тексту алгоритму програми, представленого у вигляді блок-схеми. Методика. Для зіставлення тексту програми та блок-схеми побудовано математичну модель їх перетворювачів у графове представлення з використанням апарату конструктивно-продукційного моделювання та його методів: спеціалізації, конкретизації, інтерпретації та реалізації. Графове представлення (графи) тексту будується з урахуванням операторів керування, блок-схеми – за json-файлом, що містить опис елементів схеми та їх зв’язків. Для порівняння графів застосовано метод пошуку в ширину з підрахунком кількості однакових вершин. Для програмної реалізації розробленого методу й моделей була застосована технологія об’єктно-орієнтованого програмування та CASE-технології, в основі яких лежить уніфікована мова моделювання UML. Результати. Запропоновано метод, що дозволяє представити текст та блок-схему програми в єдиному форматі орієнтованого графа (графа керування) та виконати оцінку їх відповідності за кількістю однакових вершин. Для його формалізації та автоматизованого використання розроблено конструктивно-продукційні моделі перетворювачів вхідних даних. На основі моделей та методу створено програмний додаток. Наукова новизна. Отримали подальший розвиток методи конструктивно-продукційного моделювання в задачах обробки текстів, написаних штучними мовами. Побудована система конструкторів, що виконує перетворення тексту програм мовою С++ у граф керування. Практична значимість. Результати роботи мають значення для розв’язання таких задач, як зіставлення текстів програм із метою виявлення запозичень, визначення відповідності алгоритмів програм їх програмним реалізаціям із метою поліпшення навичок кодування. Графове представлення, яке продукує розроблена система конструкторів, може бути застосоване для дослідження впливу оптимізації та рефакторингу коду на складність програм із використанням метрик МакКейба.
Розробка методу визначення відповідності тексту програми графічному представленню алгоритму
(Український державний університет науки і технологій, Дніпро, 2021) Яковенко, Богдан Миколайович
UKR: Магістерська робота виконана на 178 сторінках, з них 87 – основна частина та 91 – додатки (технічна документація, наукові публікації) ), містить 50 рисунків, 4 таблиць та 60 використані джерела. В магістерській роботі було розроблено метод визначення відповідності тексту програми графічному представленню алгоритму. Метод формалізовано засобами конструктивно-продукційного моделювання. Було визначено два конструктора, котрі використовуються для визначення відповідності тексту програми графічному представленню алгоритму, а саме:  – конструктор побудови проміжного представлення у вигляді списку керуючих елементів за програмним кодом на мові С++;  – конструктор побудови графу потоку керування за проміжним представленням у вигляді списку керуючих елементів. Метою дослідження в контексті даної роботи є розробка методу визначення відповідності тексту програми графічному представленню алгоритму. Об’єктом дослідження є процеси визначення відповідності тексту програми графічному представленню алгоритму.