Exponenta Banner
exponenta event banner

sldv.condition

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

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

Синтаксис

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 Condition блок предлагает несколько преимуществ, описанных в том, Что такое Генерация Теста?.

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

  • Опишите ограничения блоками Simulink®.

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

Смотрите также

| | | | | |

Темы

Представленный в R2009b

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

Поддержка