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