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