METHODOLOGY FOR DESCRIPTION OF INTERRELATIONSHIPS BETWEEN SETS OF SOFTWARE, DEFECTS, METHODS OF THEIR DETECTION IN THE PROCESS OF DIAGNOSING DAMAGED SOFTWARE

DOI: 10.31673/2409-7292.2025.041206

Abstract

The article considers the current scientific and applied problem of diagnosing damaged software that has been affected
by cyberattacks in the context of increasing the cyber resilience of modern information systems. The purpose of the study is to
formalize the process of diagnosing damaged software as a result of cyberattacks, which provides a systematic representation
of the relationships between sets of software modules, defects, methods for their detection and recovery methods. To achieve
this goal, the methods of system analysis, mathematical modeling, set theory and formal logic were used, which allowed
describing the technological process of diagnosing in the form of a set of interconnected formal relations. The developed
formalized methodology makes it possible to proceed to automated diagnostics of damaged software. It provides systematization
of information about defects, increases the accuracy of localization of violations, reduces the complexity of analysis and reduces
the recovery time after incidents. The mathematical apparatus proposed in the work allows us to reflect not only the fact of the
appearance of a defect, but also its properties, relationships with other defects, conditions of occurrence and possible methods
of elimination. The results of the study have theoretical and practical significance. The proposed methodology contributes to
increasing the efficiency of software recovery after cyberattacks, minimizing financial and reputational losses, as well as
improving the quality and reliability of information systems. It creates the prerequisites for further research in the direction of
developing intelligent diagnostic systems based on machine learning and logical modeling of relationships between defects.
Keywords: automation of diagnostics, system recovery, software diagnostics, cybersecurity, cyberattacks, mathematical
modeling, formalized model.

References
1. Hamretskyi, R. M., & Hnatiuk, V. O. (2024). Огляд та аналіз методів та моделей оцінки якості
програмного забезпечення в інформаційно-комунікаційних системах. Інформаційні технології, кібербезпека,
64(4), 445–447. https://doi.org/10.18372/2310-5461.63.19752.
2. Meng, X., Jing, B., Wang, S., Pan, J., Huang, Y., & Jiao, X. (2023). Fault knowledge graph construction and
platform development for aircraft PHM. Sensors (Basel), 24(1), 231. https://doi.org/10.3390/s24010231.
3. Agrawal, T., Walia, G. S., & Anu, V. K. (2024). Development of a software design error taxonomy: A
systematic literature review. SN Computer Science, 5, 467. https://doi.org/10.1007/s42979-024-02797-2.
4. Verma, A., Agarwal, A., Rathore, M., Bisht, S., & Singh, D. (2023). Preferential selection of software quality
models based on a multi-criteria decision-making approach. International Journal of Software Innovation (IJSI), 11(1),
1–13. https://doi.org/10.4018/IJSI.315739.
5. Kordunova, Yu. S. (2023). Analysis and development of a conceptual model for lifecycle management of
specialized safety-oriented software. Ukrainian Journal of Information Technology, 5(2), 72–78. https://doi.org/
10.23939/ujit2023.02.072.
6. Duarte, B. B., Falbo, R. A., Guizzardi, G., Guizzardi, R., & Souza, V. E. S. (2021). An ontological analysis of
software system anomalies and their associated risks. Data & Knowledge Engineering, 134, 101892. https://doi.org
/10.1016/j.datak.2021.101892.
7. Hu, X., Chen, J. M., & Li, H. (2024). Software security vulnerability patterns based on ontology. Journal of
Beijing University of Aeronautics and Astronautics, 50(10), 3084–3099. https://doi.org/10.13700/j.bh.1001-5965.
2022.0783.
8. Yakovyna, V. S., & Symets, I. I. (2021). Прогнозування дефектів програмного забезпечення ансамблем
нейронних мереж. Науковий вісник НЛТУ України, 31(6), 104–111.
9. Biletskyi, T. P., & Fedasiuk, D. V. (2021). Прогнозування дефектів у програмному забезпеченні
алгоритмами глибинного навчання CNN та RNN. Науковий вісник НЛТУ України, 31(2), 114–120.
10. Khil, O. S., & Yakovyna, V. S. (2023). Аналіз проблеми застосування методів машинного навчання для
оцінювання та прогнозування дефектів програмного забезпечення. Науковий вісник НЛТУ України, 33(3), 110–
116.
11. Yehorov, S. V., & Shkvarnytska, T. Yu. (2020). Розширений метод аналізу шкідливого програмного
забезпечення з метою створення сигнатур. Вісник Університету «Україна», 1(24), 161–169.
12. Alshazly, A. A., Elfatatry, A. M., & Abougaba, M. S. (2024). Detecting defects in software requirements
specification. Alexandria Engineering Journal, 53(3), 513–527.
13. Rumbutis, L., Slotkene, A., & Pliuskuviene, B. (2024). Визначення атрибутів якості програмного
забезпечення на основі прогнозування дефектів коду: систематичний огляд літератури. Нові тенденції в
комп’ютерних науках, 2(1), 57–68. https://doi.org/10.3846/ntcs.2024.21305.
14. Oivo, M., Abrahamsson, P., Corral, L., & Russo, B. (Eds.). (2020). Product-Focused Software Process
Improvement – 16th International Conference, PROFES 2015: Proceedings (pp. 380–396). Springer Verlag.
https://doi.org/10.1007/978-3-319-26844-6_28.