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