Відмова ПЗ 

Дефект

Збій

Дефект 

Помилка

тестування системи.

планування процедур перевірки і контролю проектних рішень за допомогою методик та перегляду ходу розробки;

розподіл системи на модулі, їх специфікації, реалізація та використання їх як повторних компонентів

перевірку правильності функціонування програм за допомогою методик тестування на наборах цільових тестів;

адаптацію продукту до умов використання;

інтерфейси компонентів системи;

засоби доступу до БД і файлів, які забезпечують захист від несанкціонованого доступу до них різних користувачів;

документація ПЗ.

компоненти системи;

всі відповіді вірні.

верифікація об'єктів, побудованих за допомогою успадкування, агрегації або інкапсуляції;

верифікація базових об'єктів;

верифікація інтерфейсів об'єктів;

Формальне доведення коректності програм

Формальне математичне доведення

Метод рекурсивних індукцій Дж. Маккарті

Тестування

Верифікація ПЗ

Інспекція ПЗ

Валідація

Аудит

верифікації, валідації (валідації), спільного аналізу.

верифікації, валідації (валідації), спільного аналізу, аудиту.

інспекцію, верифікацію та валідацію ПЗ.

забезпечення якості, верифікації, валідації

відмови і час

дефекти і обсяг коду

складність і кількість помилок

час і кількість помилок

Загроза, як прояв нестійкості, що порушує безпеку системи;

Ризик, як сукупність загроз, що призводять до несприятливих наслідків і збитків системи або середовища;

Залежність інтенсивності виявлених помилок від числа прогонів програми

Цілісність - здатність системи зберігати стійкість роботи і не мати ризику;

Аналіз ризику - вивчення загрози або ризику, їх частота і наслідки;

Реєстраційний метод

Вимірювальний метод

Розрахунковий метод