ЗО. Тестування та верифікація програмного забезпечення

Мета дисципліни – формування у студентів загальних методологічних основ і практичних навичок щодо застосовування на практиці інструментальних програмних засобів доменного аналізу, проектування, тестування, візуалізації, вимірювань та документування програмного забезпечення, застосовування методів верифікації та валідації програмного забезпечення, оцінки та забезпечення якості програмного забезпечення.

Реалізація мети вимагає трансформації програмних результатів навчання в дисциплінарні та адекватний відбір змісту навчальної дисципліни за цим критерієм.