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