Моделі та методи підвищення можливостей верифікації в комп'ютеризованих системах

Abstract

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