Используя Simulink® Design Verifier™, можно задать правила заменить блоки автоматически в модели. Например, можно работать вокруг блока, который несовместим с программным обеспечением путем создания правила, которое заменяет неподдерживаемый блок Simulink в модели с поддерживаемым блоком, который функционально эквивалентен. Или, можно настроить блоки для анализа путем создания правила, которое добавляет ограничения или цели к конкретным блокам в модели.
При выполнении замен блока программное обеспечение делает копию модели и заменяет блоки в копии, не изменяя исходную модель. Таким образом можно легко настроить модель для анализа.
Замены программного обеспечения Simulink Design Verifier блокируются автоматически в образцовом использовании:
Библиотеки заменяющих блоков
Правила, которые задают который блоки заменить и при каких условиях
Вы заменяете любой блок на любой встроенный блок, блок библиотеки или подсистему.
Блокируйтесь замены расширяемы, позволяя вам задать ваши собственные библиотеки заменяющих блоков и заменяющих правил авторского блока. Используя замены блока, вы можете
Работа вокруг несовместимости, такой как присутствие неподдерживаемых блоков в вашей модели.
Настройте блок для анализа, такого как:
Добавление ограничений к его входным сигналам
Добавление целей к его выходным сигналам
Устранение содержимого подсистемы или блока Model, чтобы упростить анализ
Можно использовать автоматическое блокирование в качестве альтернативы, чтобы блокировать замены, чтобы разрешить несовместимости. Неподдерживаемые блоки автоматических блокирующих замен с элементами, которые имеют тот же интерфейс. Для получения дополнительной информации смотрите Несовместимости Указателя с Автоматическим Блокированием.
Заменение блоков может влиять на генерацию теста, если замененные блоки совместно используют функциональность с другими частями вашей модели. Прежде чем вы замените блоки, поймете функциональные зависимости от тех блоков или от разделяемых сигналов. Смотрите Подсветку Функциональные Зависимости (Simulink Check). Заменяющие блоки могут также влиять на другие аналитические рабочие процессы, такие как доказательство свойства.
Например, можно настроить блок для анализа с помощью заменяющего блока, который добавляет цели во входной сигнал. Если другая подсистема зависит от того сигнала, заменяющий блок эффективно добавляет цель для подсистемы.
В этом примере областью значений точки останова u1 в 2D Интерполяционной таблице является 5–7. Порог переключателя 8 выходит за пределы области значений интерполяционной таблицы u1.
Тесты, сгенерированные без замены 2D Интерполяционной таблицы, удовлетворяют две цели: то, что триггер не больше, чем порог блока switch 8, и что триггер больше, чем порог блока switch 8.
Генерация тестов с заменой блока возвращает различный анализ. Заменяющее правило блока blkrep_rule_lookup2D_normal.m заменяет 2D Интерполяционную таблицу на подсистему маскированную, содержащую 2D Интерполяционную таблицу и подсистему верификации.
Подсистема верификации ограничивает анализ в границах точки останова таблицы. Дополнительные ограничения предотвращают генерирующиеся тесты, которые осуществляют вторую цель для блока switch. Условие, что входной сигнал In1 > 8 невыполним.
