Програмний комплекс Stability Assurance Tool: еволюція та розвиток для автоматизованої оцінки стабільності та зрозумілості коду Swift

Автор(и)

  • Андрій Андрійович Суліменко Національний університет «Києво-Могилянська академія», Україна
  • Олександр Олександрович Франків Національний університет «Києво-Могилянська академія», Україна https://orcid.org/0009-0005-5264-358X
  • Андрій Андрійович Нагнибіда Національний університет «Києво-Могилянська академія», Україна https://orcid.org/0000-0002-0082-7361

DOI:

https://doi.org/10.18523/2617-3808.2025.8.232-237

Ключові слова:

SPM, статичний аналіз, стабільність коду, зрозумілість коду, метрики програмного забезпечення, архітектура ПЗ, автоматизована оцінка

Анотація

У статті розглянуто процес створення, еволюції та практичного застосування програмного комплексу Stability Assurance Tool (SAT), призначеного для статичного аналізу коду, написаного мовою Swift. Головна мета інструменту полягає у забезпеченні автоматизованої оцінки таких характеристик, як стабільність і зрозумілість програмного забезпечення, що розробляється. Описано використані метрики, архітектурні рішення, методи інтеграції з середовищем розробки Xcode та системами безперервної інтеграції (CI/CD), а також результати адаптації класичних метрик об’єктно-орієнтованого програмування до специфіки Swift. Представлені результати демонструють потенціал SAT як платформи для подальшого розвитку засобів оцінки якості ПЗ.

Біографії авторів

Андрій Андрійович Суліменко, Національний університет «Києво-Могилянська академія»

студент бакалаврської програми «Інженерія програмного забезпечення» факультету інформатики Національного університету «Києво-Могилянська академія», andrii.sulimenko@ukma.edu.ua

Олександр Олександрович Франків, Національний університет «Києво-Могилянська академія»

студент PhD програми «Комп’ютерні науки» факультету інформатики Національного університету «Києво-Могилянська академія», o.frankiv@ukma.edu.ua

Андрій Андрійович Нагнибіда, Національний університет «Києво-Могилянська академія»

студент PhD програми «Комп’ютерні науки» факультету інформатики Національного університету «Києво-Могилянська академія», a.nahnybida@ukma.edu.ua

Посилання

  1. Apple Inc. (2023). Swift Language Guide. https://docs.swift.org/swift-book.
  2. Apple Inc. (2023). SwiftSyntax Documentation. https://github.com/apple/swift-syntax.
  3. Beller, M., Gousios, G., Zaidman, A., & Van Deursen, A. (2015). How developers use static analysis tools in practice. In Proceedings of the 37th International Conference on Software Engineering (pp. 191–201). IEEE.
  4. Chidamber, S. R., & Kemerer, C. F. (1994). A metrics suite for object-oriented design. IEEE Transactions on Software Engineering, 20 (6), 476–493.
  5. Fowler, M. (2002). Refactoring: Improving the design of existing code. Addison-Wesley.
  6. ISO/IEC. (2001). Software engineering — Product quality — Part 1: Quality model (ISO/IEC 9126-1:2001).
  7. Lanza, M., & Marinescu, R. (2006). Object-oriented metrics in practice. Springer.
  8. Martin, R. C. (2009). Clean code: A handbook of agile software craftsmanship. Prentice Hall.
  9. NASA Software Assurance Technology Center. (2003). Software quality metrics overview. https://ntrs.nasa.gov.
  10. Swift.org. (2023). Concurrency in Swift: Structured concurrency, actors, and async/await. https://www.swift.org.

##submission.downloads##

Опубліковано

2025-11-26