sldv.condition
Функция условия тестирования для диаграмм и Блоков MATLAB function Stateflow
Синтаксис
Описание
Эта функция не имеет выхода и никакого влияния на ее родительскую функцию, кроме любых косвенных побочных эффектов оценки 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:
Назовите блок
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_environment_controller модель.
Чтобы сгенерировать тесты, на вкладке Design Verifier нажмите Generate Tests.
Входные параметры
Альтернативы
Вместо использования sldv.condition функция, можно вставить Test Condition блок в модель. Использование sldv.condition вместо блока Test Условия предлагает несколько преимуществ, описанных в «Что такой Тест Генерации?».
Можно также задать условия тестирования, используя MATLAB для генерации кода, не используя sldv.condition функция. Использование sldv.condition вместо непосредственного использования MATLAB для генерации кода устраняет необходимость:
Выражайте ограничения с Simulink® блоки.
Явным образом соедините выход условия с блоком Simulink.
См. также
Proof Assumption | Proof Objective | sldv.assume | sldv.prove | sldv.test | Test Condition | Test Objective