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

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

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

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

проектною системною специфікацією;

користувацькими вимогами до ПЗ;

управлінням вимогами до ПЗ;

системними вимогами до ПЗ;

потребою зацікавлених сторін;

функціональністю зацікавлених сторін;

реалізацією зацікавлених сторін;

відстеженням зацікавлених сторін;

дає змогу аналітикам аналізувати вхідні зв'язки між вимогами до ПЗ, щоб перевірити, чи всі вимоги взаємопов'язані між собою, а також з відповідними тестами до них;

дає можливість аналізувати вхідні зв'язки між вимогами до ПЗ, щоб перевірити, чи всі вимоги вищого рівня пов'язані з вимогами нижчих рівнів і відповідними тестами до них;

дає можливість проводити аналіз вимог до ПЗ, щоб перевірити, чи всі вимоги вищого рівня пов'язані з вимогами нижчих рівнів і відповідними тестами до них;

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

ігнорування тих деталей явища, які не важливі на даний момент для дослідження конкретної його моделі, незважаючи на те, що інші деталі надзвичайно важливі для моделі явища загалом;

ігнорування тих деталей системних компонент ПЗ, які не важливі для конкретної його архітектури, незважаючи на те, що ці деталі, можливо, дуже навіть важливі для програмної системи загалом;

ігнорування тих деталей процесу, які не важливі на даний момент для дослідження конкретної його моделі, незважаючи на те, що інші деталі надзвичайно важливі для моделі процесу загалом;

врахування тих деталей системи, які важливі на даний момент для побудови конкретної її моделі, незважаючи на те, що інші деталі цієї системи надзвичайно важливі для цієї моделі загалом;

дає змогу аналізувати похідні вимоги до компонент ПЗ нижчого рівня, а потім через зв'язки між вимогами перевіряти їх відповідність одній з вхідних вимог вищого рівня;

дає можливість аналізувати вимоги до складових ПЗ нижнього рівня, а потім шляхом встановлення зв'язків між вимогами перевіряти її відповідність одній зі складових вищого рівня;

дає змогу аналізувати вимоги до компонент ПЗ нижчого рівня, а потім шляхом встановлення зв'язків між вимогами перевіряти їх відповідність одній з компонент вищого рівня;

дає можливість аналізувати вхідні зв'язки між вимогами до ПЗ, щоб перевірити, чи всі вхідні вимоги вищого рівня впливають на похідні вимоги нижчих рівнів і які при цьому виникають наслідки;