Клюка Назар Андрійович

Abstract

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