Том 8

Permanent URI for this collection

https://ekmair.ukma.edu.ua/handle/123456789/38090

Browse

Browsing Том 8 by Author "Франків, Олександр"

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    Автоматизоване виявлення вад архітектури програмного модуля з використанням графової моделі візуалізації
    (2025) Франків, Олександр
    У цій статті описано новий підхід до автоматизованого виявлення вад проєктування програмного модуля з використанням моделі візуалізації архітектури у формі графа із застосуванням додаткових алгоритмів аналізу. Запропонований спосіб дозволяє виявити поширені вади та інформацію про них у легкому для сприйняття поданні з використанням лише вихідного коду програми. У статті розглянуто чотири ознаки наявності помилок при проєктуванні в контексті ООП, зокрема порушеної згуртованості, зв’язності і циклічних залежностей, а також способи їх виявлення та представлення у моделі архітектури. На реальних прикладах виконано автоматизоване виявлення вад із використанням розробленого інструменту для мови Swift з підтвердженням їх наявності у процесі детального аналізу кодової бази.
  • Thumbnail Image
    Item
    Дослідження та оптимізація методів оцінювання розміру файлової ієрархії в APFS (Apple File System)
    (2025) Левченко, Артем; Франків, Олександр; Петелєв, Євгеній
    Цю статтю присвячено дослідженню та оптимізації процесів сканування файлової системи APFS (Apple File System). Розглянуто ключові інструменти доступу до APFS та алгоритмічні стратегії, зокрема верхньорівневий обхід, повний обхід, фільтрацію за стоп-словами та інтерактивний підхід. Реалізовано методи оброблення файлових ієрархій, які передбачають послідовне та паралельне оброблення з використанням Grand Central Dispatch (GCD) і Swift Concurrency. Розроблено застосунок для сканування APFS, який демонструє практичне застосування запропонованих підходів. Проведено тестування й порівняльний аналіз методів сканування APFS.
  • Thumbnail Image
    Item
    Програмний комплекс Stability Assurance Tool: еволюція та розвиток для автоматизованої оцінки стабільності та зрозумілості коду Swift
    (2025) Суліменко, Андрій; Франків, Олександр; Нагнибіда, Андрій
    У статті розглянуто процес створення, еволюції та практичного застосування програмного комплексу Stability Assurance Tool (SAT), призначеного для статичного аналізу коду, написаного мовою Swift. Головна мета інструменту полягає у забезпеченні автоматизованої оцінки таких характеристик, як стабільність і зрозумілість програмного забезпечення, що розробляється. Описано використані метрики, архітектурні рішення, методи інтеграції з середовищем розробки Xcode та системами безперервної інтеграції (CI/CD), а також результати адаптації класичних метрик об’єктно-орієнтованого програмування до специфіки Swift. Представлені результати демонструють потенціал SAT як платформи для подальшого розвитку засобів оцінки якості ПЗ.