Можно совместно использовать файл кэша Simulink® для более быстрого анализа Simulink Design Verifier™. Когда вы анализируете модель, Simulink Design Verifier выполняет проверку совместимости и создает файл кэша Simulink, который содержит информацию о представлении модели. Если нет никакого изменения в модели, Simulink Design Verifier снова использует представление модели от файла кэша Simulink, не выполняя проверку совместимости снова. Для получения дополнительной информации смотрите Долю Файлы кэша Simulink для Более быстрой Симуляции и Представление Модели для Анализа.
Файл кэша Simulink хранится в месте, заданном в диалоговом окне Simulink Preferences> General под Simulation cache folder. По умолчанию файл кэша Simulink хранится в текущей рабочей директории.
Имя файла кэша Simulink совпадает с именем файла модели с .slxc
расширение файла.
Можно снова использовать файл кэша Simulink, чтобы ускорить анализ Simulink Design Verifier для дальнейшего использования собой или другими. Когда вы выполняете анализ Simulink Design Verifier, программное обеспечение определяет, восстановить ли представление модели на основе опции представления модели Rebuild. По умолчанию эта опция установлена в If change is detected
и если нет никакого изменения в модели, программное обеспечение снова использует представление модели от файла кэша Simulink для анализа.
Если Rebuild model representation установлен в Always
или если программное обеспечение обнаруживает какое-либо изменение в модели во время анализа, программное обеспечение восстанавливает представление модели и обновляет файл кэша Simulink.
Примечание
Файл кэша Simulink накапливает артефакты сборки представления модели для релиза, в котором он был создан и поддерживает все платформы. Этот файл кэша не поддерживает перекрестную совместимость версий.
Для получения информации о том, что содержит определенный кэш Simulink, дважды кликните файл кэша Simulink. Отчет содержит информацию поддерживаемых версий, платформ и представления модели.
Например, предположите, что команда работает над большими моделями и использует систему контроля версий, чтобы управлять файлами проекта. Чтобы уменьшать количество времени для анализа Simulink Design Verifier, команда выполняет эти шаги:
Разработчик вытягивает последнюю версию модели Simulink от системы контроля версий.
Выполняет анализ генерации теста Simulink Design Verifier и совместно использует последнюю версию файла кэша Simulink к системе контроля версий и сгенерированных тестов в архив сборки.
Инженер-испытатель вытягивает последнюю версию модели и файла кэша Simulink от систем контроля версий. Кроме того, вытягивает существующие тесты из архива сборки.
Выполняет расширение теста на той же модели при помощи существующих тестов. Если никакие изменения не обнаруживаются в модели, представление модели от файла кэша Simulink снова используется для анализа. Для подробного примера смотрите, Расширяют Существующие тесты путем Многократного использования Представления Модели.
Если инженер-испытатель, изменяет опции модели или Simulink Design Verifier, который влияет на результаты совместимости, представление модели восстановлено, и файл кэша Simulink обновляется. Для получения дополнительной информации об опциях Simulink Design Verifier, которые усиливают повторное использование представления модели, смотрите Представление Модели Повторного использования для Анализа.