Формалізація технологічного процесу діагностики програмного забезпечення після впливу кібератак
Анотація
В роботі розглядаються питання застосування логіко-математичного апарату при формалізації процесів діагностування програмного забезпечення після його пошкодження (внаслідок впливу кібератак), під час експлуатації автоматизованих інформаційно-телекомунікаційних систем та комплексів. Запропоновано математичний апарат автоматизації процесу діагностування програмного забезпечення, який використовує логіку предикатів та дозволяє застосовувати математичні вирази, що описують властивості дефектів програмного забезпечення, правила їх виводу, відповідно до положень, прийнятих в математичній логіці. Приклади описів проектних рішень дозволяють автоматизувати проектування технологічних операцій діагностування пошкодженого програмного забезпечення після впливу кібератак, а також, забезпечують створення логічних проектних процедур щодо операцій відновлення пошкодженого програмного забезпечення.
Посилання
2. Руденська Г. (2020). Моделі та процеси життєвого циклу інформаційної системи управління оборонними ресурсами. Інформація та управління проєктами інформації Збройних Сил. 1, 59 - 65.
3. Нечай О. (2009). Метод діагностики об’єктно–орієнтованого програмного забезпечення. Вісник НАУ. 5, 100 - 111.
4. Щербаков О. Луценко Є. (2011). Оцінка ефективності тестування програмного забезпечення на основі аналізу кількості та критичності знайдених дефектів. Системи обробки інформації. 3, 88 - 92.
5. Литвиненко О. Є. Нечипорук О.П. (2016). Логіко-математичні методи діагностування складних систем. Київ: Артмедіа прінт
