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