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