Программных компонентов

И сценариев тестов

И корректности спецификаций

Верификация полноты

Программного средства

И сценариев тестов

И корректности спецификаций

Верификация полноты

Требованиям к программному средству

К функциональным компонентам

Спецификации требований

Верификация соответствия