життєвий цикл програмного забезпечення

Проведено детальний огляд процесу розробки спеціалізованого програмного забезпечення безпеко-орієнтованого спрямування. Виявлено невідповідність відомих на сьогодні методів розробки до умов, в яких відбувається створення інноваційних програмних систем безпекового спрямування.

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