No abstract

No abstract

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

No abstract