Как называется проверка соответствия между реальным и ожидаемым поведением ИС, осуществляемая на конечном наборе тестов, выбранном определенным образом?
валидация программного обеспечения
верификация программного обеспечения
инвалидация программного обеспечения
тестирование программного обеспечения.