Exponenta 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
Поддержка