Когда вы анализируете модель впервые, Simulink® Design Verifier™ выполняет проверку совместимости и создает представление модели. Представление модели содержит информацию о поведении модели, чтобы использовать для анализа. По умолчанию программное обеспечение сохраняет представление модели в местоположении папки кэша Симуляции.
Если вы изменяете модель и повторно выполняете анализ, Simulink Design Verifier определяет, восстановить ли представление модели или использовать существующий кэш Simulink в зависимости от параметра представления модели Rebuild. Восстанавливание представления модели инициировано, когда опция 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, таких как Values
Представление модели всегда восстанавливается:
Когда вы Генерируете Тесты для Сгенерированного кода Embedded Coder.
Когда анализ Simulink Design Verifier запускается с других продуктов, таких как Simulink Test™, Simulink Coverage™, Simulink Check™ и Simulink Requirements™.
Когда модель содержит Системные блоки MATLAB.
Simulink Design Verifier не обнаруживает изменения в заменяющих правилах пользовательского блока, что вы применяетесь, даже если опция Rebuild model representation установлена в If change is detected. В таких случаях кэш Simulink снова используется для анализа, и предупреждающее сообщение отображено в Диагностическом Средстве просмотра, которое предлагает, чтобы вы установили опцию Rebuild model representation на Always, если вы хотите восстановить представление модели.
Расширьте существующие тесты путем многократного использования представления модели