Функция условия испытания для диаграмм Stateflow и блоков MATLAB function
Эта функция не имеет никакого выхода и никакого удара на его функцию порождения ни кроме каких косвенных побочных эффектов оценки expr
. Если вы выпускаете эту функцию из командной строки MATLAB®, функция не оказывает влияния.
Вкрапите sldv.condition
условия испытания в рамках кода MATLAB или разделяют условия на скрипт верификации.
Опция Test conditions в панели Test generation применяется к условиям испытания, представленным sldv.condition
функционируйте и с блоком Test Condition.
Вместо того, чтобы использовать sldv.condition
функция, можно вставить блок Test Condition в модель. Используя sldv.condition
вместо Test Condition блок предлагает несколько преимуществ, описанных в том, Что такое Генерация Теста?.
Можно также задать условия испытания при помощи MATLAB для генерации кода, не используя sldv.condition
функция. Используя sldv.condition
вместо того, чтобы непосредственно использовать MATLAB для генерации кода избавляет от необходимости к:
Опишите ограничения блоками Simulink®.
Явным образом соедините условие выход с блоком Simulink.
Proof Assumption | Proof Objective | sldv.assume
| sldv.prove
| sldv.test
| Test Condition | Test Objective