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