Создайте объект требования и задайте монотонность для 2-мерной переменной.
Объект требует, чтобы элементы первой размерности переменной увеличивались монотонно, а элементы второго измерения уменьшались монотонно.
Задайте 2-мерные тестовые данные для переменной.
Оцените, удовлетворяют ли тестовые данные требованию.
Evaluation
Вектор-столбец с размером, соответствующим размерностям тестовых данных.
Чтобы понять величину Evaluation
, рассмотрите элементы тестовых данных по каждой размерности. Для первой размерности тестовых данных, спускаясь вниз по строкам, программное обеспечение проверяет требование '<'. Поскольку требования удовлетворяют 10 < 20 < 30 и 5 < 24 < 33, Evaluation(1)
- отрицательное число. Потому что 24 < 33 ближе всего к нарушению требования, величина Evaluation
для этой размерности 9, различие между этими двумя элементами.
Для второго измерения тестовых данных, переходя через столбцы, программное обеспечение проверяет, требование '>'. Хотя 10 > 5 удовлетворяет требованиям, 20 < 24 и 30 < 33 не удовлетворяют требованиям. Это приводит к Evaluation(2)
положительное число, указывающее, что требование не удовлетворено. Поскольку элементы 20 и 24 больше всего нарушают требование, величина Evaluation(2)
4, различие между этими элементами.