Создайте объект требования со свойствами по умолчанию.

Requirement = sdo.requirements.MonotonicVariable;

Задайте тип требования для 1-мерной переменной как монотонно уменьшение.

Requirement.Type = {'>'};

Задайте тестовые данные для 1-мерной переменной.

Data = [20; 15; 25; 26];

Оцените, если тестовые данные удовлетворяют требование.

Evaluation = evalRequirement(Requirement,Data)

Evaluation = 10

Поскольку Evaluation является положительным числом, он показывает, что требование нарушено. Чтобы понять значение Evaluation, рассмотрите элементы тестовых данных. В то время как 20> 15 удовлетворяет'>' требование, 15 <25 и 25 <26 нарушают требование, приводящее к положительному значению Evaluation. Поскольку элементы 15 и 25 нарушают требование больше всего, значение Evaluation равняется 10, различию между этими элементами.

Создайте объект требования и задайте монотонность для 2-мерной переменной.

Requirement = sdo.requirements.MonotonicVariable('Type',{'<','>'});

Объект требует, чтобы элементы в первой размерности переменной монотонно увеличились и элементы во втором измерении, чтобы монотонно уменьшиться.

Задайте 2-мерные тестовые данные для переменной.

Data = [10 5; 20 24;30 33];

Оцените, если тестовые данные удовлетворяют требование.

Evaluation = evalRequirement(Requirement,Data)

Evaluation = 2×1

    -9
     4

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, различию между этими элементами.