Cyberattack impacted software diagnostics technological process formalization

Keywords: automated information and telecommunication system, diagnostics, structural-technological relationships, predicate, software defects


In the article, the application of logic-mathematical apparatus for cyberattack damaged software diagnostics processes is studied. Software diagnostics automation mathematical apparatus that uses predicate logic and allows you to use mathematical expressions describing the properties of software defects, the rules for their derivation, in accordance with the provisions adopted in mathematical logic is proposed. Described examples provide both cyberattack affected software diagnostics automation and damaged software restore procedures.


1. Lisetcky Yu. (2018). Models of support for enterprise information system by stages of the life cycle software. Software & Systems, 3, 455-460.
2. Руденська Г. (2020). Моделі та процеси життєвого циклу інформаційної системи управління оборонними ресурсами. Інформація та управління проєктами інформації Збройних Сил. 1, 59 - 65.
3. Нечай О. (2009). Метод діагностики об’єктно–орієнтованого програмного забезпечення. Вісник НАУ. 5, 100 - 111.
4. Щербаков О. Луценко Є. (2011). Оцінка ефективності тестування програмного забезпечення на основі аналізу кількості та критичності знайдених дефектів. Системи обробки інформації. 3, 88 - 92.
5. Литвиненко О. Є. Нечипорук О.П. (2016). Логіко-математичні методи діагностування складних систем. Київ: Артмедіа прінт

Abstract views: 0
PDF Downloads: 0
How to Cite
Dobryshyn , Y., Bondarenko , I., & Sydorenko , S. (2023). Cyberattack impacted software diagnostics technological process formalization. COMPUTER-INTEGRATED TECHNOLOGIES: EDUCATION, SCIENCE, PRODUCTION, (50), 52-56.
Computer science and computer engineering