Когда вы впервые анализируете модель, Simulink® Design Verifier™ выполняет проверку совместимости и создает представление модели. Представление модели содержит информацию о поведении модели для использования в анализе. По умолчанию программа сохраняет представление модели в папке кэша симуляции.
Если вы изменяете модель и перезапускаете анализ, Simulink Design Verifier определяет, перестраивать ли представление модели или использовать существующий кэш Simulink в зависимости от параметра Rebuild model representation. Перестроение представления модели запускается, когда опция Rebuild model representation установлена на If change is detected и программное обеспечение обнаруживает любые изменения в модели.
Опция Rebuild model representation установлена в If change is detected по умолчанию и программное обеспечение проверяет представление модели на соответствие любым изменениям модели и опциям анализа Simulink Design Verifier. Затем программа определяет, использовать ли повторно или перестроить представление модели для анализа. Когда вы устанавливаете опцию Alwaysпредставление модели перестраивается во время каждого анализа модели.
Когда для опции Rebuild model representation задано значение If change is detectedSimulink Design Verifier проверяет эти изменения в модели:
Программа проверяет представление модели на соответствие любым изменениям в опциях Simulink Design Verifier. В этой таблице перечислены опции, которые не влияют на представление модели, и если вы измените любую из этих опций, программное обеспечение повторно использует представление модели.
Проекты Design Verifier | |
Опции генерации тестов | |
Опции проверки свойств | |
Опции генерации результатов | |
Опции генерации отчетов |
Структурная контрольная сумма является расчетом, которое обнаруживает изменения в модели, которые могут повлиять на результаты симуляции. Для получения дополнительной информации о типах изменений, которые влияют на модель, смотрите Rebuild.
В дополнение к структурной контрольной сумме Simulink Design Verifier проверяет изменения в зависимостях модели, которые могут повлиять на результаты анализа, такие как:
Параметры во время выполнения симуляции, которые определены в словаре данных или MATLAB® базовые, маски или рабочие пространства модели
Внешние файлы исходного кода C или C++, которые модель использует во время симуляции
Минимальные и максимальные ограничения, которые заданы для параметров блоков
Параметры блоков, заданные для блоков в библиотеке блоков Simulink Design Verifier, такие как Values
Представление модели всегда перестраивается:
Когда вы генерируете Тесты для Embedded Coder Сгенерированного кода.
Когда анализ Simulink Design Verifier начинается с других продуктов, таких как Simulink Test™, Simulink Coverage™, Simulink Check™ и Simulink Requirements™.
Когда модель содержит блоки MATLAB System.
Simulink Design Verifier не обнаруживает изменений в пользовательских правилах замены блоков, которые вы применяете, даже если для опции Rebuild model representation задано значение If change is detected. В таких случаях кэш Simulink повторно используется для анализа, и в Diagnostic Viewer отображается предупреждающее сообщение, которое предлагает вам задать опцию Rebuild model representation равной Always, если необходимо перестроить представление модели.
Расширение существующих тестовых случаев путем переиспользования представления модели
