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