Аналіз, моніторинг и тестування комп’ютернихінформаційних систем
DOI:
https://doi.org/10.15276/ict.01.2024.12Ключові слова:
комп’ютерні інформаційні системи, енерго-поведінковий моніторинг, енерго-поведінкове тестування, розширені мережі Петрі, енерго-поведінкові специфікації, асоціативно-еволюційні методи тестуванняАнотація
Висока важливість і критичність працездатності та достовірності функціонування сучасних комп’ютерних інформаційних систем вимагають зусиль по їх забезпеченню, що не менші, ніж зусилля на розробку самих систем. Офлайнові та онлайнові моніторинг і тестування комп’ютерних інформаційних систем, які часто використовуються для забезпечення працездатності та достовірності функціонування, передбачають розробку й впровадження відповідних апаратно-програмних і інформаційних засобів у складі автоматизованих систем технічного діагностування.
Рисами як самих комп’ютерних інформаційних систем, так і засобів моніторингу й тестування стають їх розподіл у мережі, автономність й одночасно кооперативність усіх їх компонентів. Такі риси з’являються вже у системно-функціональному представленні систем і накладають вимоги спеціального аналізу усіх їх властивостей та функцій, у тому числі й енергетичних.
Запропонована робота орієнтована на здійснення енерго-поведінкового моніторингу й тестування комп’ютерних інформаційних систем, визначає формальне представлення спеціального аналізу відповідних апаратно-програмних засобів і базується на асинхронно-подієвих моделях розширених мереж Петрі та поведінкових експериментах. Таке представлення спирається на моделі енерго-поведінкової специфікації та тестування, паралельні, асоціативно-еволюційні методи моніторингу й тестування з накопиченням заготовок та результатів, які відрізняються особливими рисами.
Запропоноване представлення дає можливість створювати нову системну енерго-поведінкову технологію моніторингу й тестування комп’ютерних інформаційних систем.