Можно совместно использовать 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 model representation. По умолчанию для этой опции задано значение 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, которые используют повторное использование представления модели, см. «Повторное использование представления модели для анализа».