Задайте пользовательские цели, которым сигналы должны удовлетворить в тестах
Simulink Design Verifier / Цели и Ограничения
При работе в режиме генерации тестов программное обеспечение Simulink® Design Verifier™ производит тесты, которые удовлетворяют заданным критериям (см. то, Что Генерация Теста?). В этом режиме можно использовать блоки Цели тестирования, чтобы задать пользовательские цели тестирования для сигналов в модели. Параметр Values позволяет вам задать значения, которых сигнал должен достигнуть по крайней мере для одного временного шага во время симуляции теста. Блок применяет заданный параметр Values к своему входному сигналу, и программное обеспечение Simulink Design Verifier пытается произвести тесты, которые удовлетворяют цели.
Диалоговое окно параметра блока также позволяет вам
Включите или отключите цель.
Укажите, что блок должен отобразить свой параметр Values в редакторе Simulink.
Укажите, что блок должен отобразить свой выходной порт.
Примечание
Программное обеспечение Simulink и Simulink Coder™ игнорирует блок Test Objective во время симуляции модели и генерации кода, соответственно. Программное обеспечение Simulink Design Verifier использует блок Test Objective только при генерации тестов для модели.