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