МЕТОД ПРЕВЕНТИВНОГО СУПРОВОДЖЕННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НА ОСНОВІ КОМПАРАТОРНОЇ МОДЕЛІ

Анотація

Предметом дослідження є метод превентивного супроводження програмного забезпечення на основі компараторної моделі, який забезпечує формалізоване оцінювання експлуатаційного стану й підтримку прийняття рішень щодо експлуатаційної реакції. Мета роботи – підвищення ефективності превентивного супроводження програмного забезпечення способом формалізованого оцінювання його експлуатаційного стану, що забезпечує раннє виявлення деградаційних процесів, класифікацію експлуатаційної реакції та автоматизоване формування інцидентів супроводження за умов обмеженої історії інцидентів. Основні завдання: обґрунтувати вимоги до формалізованого оцінювання експлуатаційного стану програмного забезпечення в умовах превентивного супроводження та обмеженої доступності історичних даних; побудувати компараторну модель ідентифікації експлуатаційних станів способом формалізації взаємозв’язків між ознаками у вигляді системи логічних рівнянь і перевірки її функціональної визначеності; розробити метод компараторної ідентифікації експлуатаційних станів на основі побудованої моделі; виконати експериментальну валідацію запропонованого методу на експлуатаційних даних і порівняти з традиційними пороговими механізмами сповіщення. Методи дослідження. Для ідентифікації експлуатаційного стану застосовано метод компараторної ідентифікації в межах компараторної моделі з використанням предикатного подання стану. Взаємозв’язки між ознаками формалізовано системою логічних рівнянь із перевіркою функціональної визначеності. Формування ознак ґрунтується на поєднанні метрик тестування, агрегованих експлуатаційних показників, трендових характеристик і ознак аномальної поведінки. Емпіричну перевірку виконано на симуляційних експлуатаційних даних із використанням ковзних вікон агрегації та порівнянням із пороговими механізмами сповіщення. Результати. Продемонстровано, що запропонований метод забезпечує більш раннє виявлення деградаційних процесів порівняно з класичними пороговими алертами. Використання трендових і комбінованих ознак підвищує стабільність класифікації станів і зменшує кількість хибних спрацьовувань у дослідженому сценарії. На основі ідентифікованого класу стану реалізовано модель превентивного супроводження, що забезпечує автоматизоване формування інцидентів із зазначенням типу проблеми, локалізації та рівня терміновості. Висновки. Досягнуті результати розвивають формалізовані підходи до оцінювання експлуатаційного стану програмного забезпечення й демонструють можливість застосування компараторної моделі для превентивного супроводження за відсутності повної та репрезентативної історії інцидентів. Практична значущість роботи полягає в можливості впровадження інтерпретованих механізмів раннього виявлення деградації та автоматизації супроводження, зокрема формування інцидентів і підтримки вибору експлуатаційної реакції, без необхідності накопичення значних обсягів історичних даних.