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