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