Exponenta Banner

sldv.condition

Функция условия тестирования для диаграмм и Блоков MATLAB function Stateflow

Свернуть все на странице

Синтаксис

sldv.condition(expr)

Описание

пример

sldv.condition(expr) задает, что expr верно для каждого временного шага в сгенерированном тесте. Используйте любое допустимое логическое выражение для expr.

Эта функция не имеет выхода и никакого влияния на ее родительскую функцию, кроме любых косвенных побочных эффектов оценки expr. Если вы выпускаете эту функцию из MATLAB® командная строка, функция не имеет эффекта.

Интерсперсные sldv.condition условия тестирования в коде MATLAB или разделите условия на скрипты верификации.

Test conditions опции на панели Test generation применяется к тестовым условиям, представленным sldv.condition и с блоком Test Condition.

Примеры

свернуть все

Добавьте цель тестирования и условия тестирования с помощью блока MATLAB Function.

Откройте sldvdemo_cruise_control моделировать и сохранить как ex_sldvdemo_cruise_control.

Удалите Test Condition блок для speed блочный сигнал. Вместо блока Test Condition этот пример использует sldv.test и sldv.condition.

Из библиотеки User-Defined Functions добавьте блок MATLAB Function:

  1. Назовите блок tests.

  2. Откройте блок и добавьте этот код:

    function define_tests(speed, target)
%#codegen

sldv.condition(speed >= 0 && speed <= 100);
sldv.test(speed > 60 && target > 40 && target < 50);
sldv.test(speed < 20 && target > 50);

  3. На вкладке Editor нажмите Save и закройте редактор.

  4. Соедините блок с сигналами для speed блок и для target блок.

Сохраните изменения в ex_environment_controller модель.

Чтобы сгенерировать тесты, на вкладке Design Verifier нажмите Generate Tests.

Входные параметры

свернуть все

Выражение MATLAB, например x > 0.

Альтернативы

Вместо использования sldv.condition функция, можно вставить Test Condition блок в модель. Использование sldv.condition вместо блока Test Условия предлагает несколько преимуществ, описанных в «Что такой Тест Генерации?».

Можно также задать условия тестирования, используя MATLAB для генерации кода, не используя sldv.condition функция. Использование sldv.condition вместо непосредственного использования MATLAB для генерации кода устраняет необходимость:

  • Выражайте ограничения с Simulink® блоки.

  • Явным образом соедините выход условия с блоком Simulink.

См. также

| | | | | |

Темы

Введенный в R2009b

Документация Simulink Design Verifier

Поддержка