Коротун Т. М. Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів.

Дисертація присвячена актуальним проблемам вдосконалення процесу тестування програмних систем оброблення даних. Розроблено математичну модель визначення оптимального часу тестування модулів ПС з урахуванням ризиків відмов під час експлуатації ПС та метод оцінювання ризику відмов модулів ПС. Стратегія тестування полягає у визначенні модулів, які потребують більш тривалого тестування. Час тестування кожного модуля повинен виділятися таким чином, щоб вартість тестування відповідала величині ризику використання модуля при роботі ПС. Запропонована стратегія тестування покладена в основу побудованого базового процесу тестування ПС оброблення даних, який впорядковує задачі тестування, виконувані на різних стадіях розроблення ПС. Запропонований процес, модель та метод реалізовані в програмному комплексі підтримки інженерії тестування.