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

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