Цель тестирования функция для Диаграмм Stateflow и Блоков MATLAB function
Эта функция не имеет выхода и никакого влияния на ее родительскую функцию, кроме любых косвенных побочных эффектов оценки expr. Если вы выпускаете эту функцию из MATLAB® командная строка, функция не имеет эффекта.
Интерсперсные sldv.test цели тестирования в коде или разделите цели на скрипты верификации.
Параметр Test objectives на панели Test generation применяется к целям тестирования, представленным sldv.test функцию и блоком Цель Тестирования.
Добавьте цель тестирования и условия тестирования с помощью блока 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.
Вместо использования sldv.test функция, можно вставить Test Objective блок в модель. Использование sldv.test вместо блока Test Objective предлагает несколько преимуществ, описанных в «Что такой Тест Генерации?».
Proof Assumption | Proof Objective | sldv.assume | sldv.condition | sldv.prove | Test Condition | Test Objective
