забезпечення програмне, обеспечение программное, software ; дефект ; тестування, тестирование ; верифікація, верификация ; дефект прихований, дефект скрытый

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

Інженерія програмного забезпечення [Текст] : Науковий журнал / Національний авіаційний університет // Інженерія програмного забезпечення - Київ : Національний авіаційний університет. — 78 с.

• ББК науковий // Метод экспертных оценок системного программирования, программного обеспечения