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