Інформаційні технології та комп’ютерна інженерія

Підвищення надійності програмного продукту є надзвичайно важливою та актуальною науковою задачею. Основним засобом вирішення даної проблеми є тестування програмного забезпечення (ПЗ), що вимагає значних затрат ресурсів, адже у більшості випадків проводиться вручну та повинно охоплювати усі сценарії використання і потоки управління та даних програмного продукту. У цій роботі описано метод автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що дозволяє скоротити фінансові, часові та людські ресурси та забезпечує рівномірне покриття коду

Використані джерела