sldv.test

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

Синтаксис

Описание

пример

sldv.test(expr) задает тот expr верно при генерации тестов. Используйте любое допустимое Булево выражение в expr.

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

Вкрапите sldv.test цели тестирования в рамках кода или разделяют цели на скрипт верификации.

Опция Test objectives в панели Test generation применяется к целям тестирования, представленным sldv.test функционируйте и блоком Test Objective.

Примеры

свернуть все

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

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

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

От библиотеки User-Defined Functions добавьте блок MATLAB Function.

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

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

    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);
  • Во вкладке Editor нажмите Save и закройте редактор.

  • Соедините блок с сигналами для speed блокируйтесь и для target блок.

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

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

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

свернуть все

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

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

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

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