Как называется применяемый для проверки работоспособности программы конкретный вариант значений исходных данных, для которого известен ожидаемый результат?