Проверка целевой функции для диаграмм потока состояний и функциональных блоков MATLAB
Эта функция не имеет выхода и не влияет на ее родительскую функцию, кроме каких-либо косвенных побочных эффектов оценки expr. При выполнении этой функции из командной строки MATLAB ® эта функция не действует.
Вкрапить sldv.test проверка целей в коде или разделение целей на сценарий проверки.
Параметр Test targets на панели Test generation применяется к контрольным целям, представленным sldv.test и блоком «Test Objective».
Добавьте цель теста и условия теста с помощью функционального блока MATLAB.
Откройте окно sldvdemo_cruise_control модель и сохраните ее как ex_sldvdemo_cruise_control.
Удалите блок тестовых условий из speed сигнал. Вместо блока тестовых условий в этом примере используется sldv.test и sldv.condition.
Из библиотеки пользовательских функций добавьте блок функций MATLAB.
Назовите блок 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);
На вкладке «Редактор» нажмите «Сохранить» и закройте редактор.
Подключите блок к сигналам для speed блок и для target блок.
Сохранить изменения в ex_sldvdemo_cruise_control модель.
Для создания тестовых примеров на вкладке Design Verifier щелкните Generate Tests (Генерировать тесты).
Вместо использования sldv.test можно вставить в модель блок тестовой цели. Используя sldv.test вместо блока Test Objective предлагает несколько преимуществ, описанных в разделе Что такое создание тестовых примеров?.
Допущение доказательства | Цель доказательства | sldv.assume | sldv.condition | sldv.prove | Условие испытания | Цель тестирования