.slslicex или результаты неработоспособной логикиПри выполнении моделирования или уточнении неработоспособной логики модуль Model Slicer сохраняет результаты моделирования в расположении по умолчанию. <current_folder>\modelslicer\<model_name>\<model_name>.slslicex. Для больших или сложных моделей время моделирования может быть большим. Чтобы уточнить выделенный фрагмент, можно использовать существующие данные моделирования срезателя модели или результаты неработоспособной логики.
Если необходимо снова выделить функциональные зависимости в модели в другое время, можно использовать существующие.slslicex данные временного окна моделирования без необходимости изменения размеров модели. Затем модуль «Срезание модели» использует существующие данные моделирования для выделения модели.
Откройте модель Simulink ®.
Чтобы открыть Диспетчер фрагментов модели (Model Slice Manager), на вкладке Приложения (Apps) в разделе Проверка модели (Model Verification), Проверка (Validation) и галерея тестов (Test gallery) щелкните Срезатель модели (Model Slicer).
Выберите Временное окно моделирования.
Щелкните Использовать существующие данные моделирования (Use existing simulation data
Перейти к существующему .slslicex и нажмите кнопку «Открыть».
Чтобы уточнить логику нечувствительности для анализа зависимостей, можно импортировать существующий файл данных Simulink Design Verifier™ или использовать существующий .slslicex результаты неработоспособной логики. Для получения дополнительной информации посмотрите, Мертвое Логическое Обнаружение (Свидетельство Дизайна Simulink) и Файлы данных Свидетельства Дизайна Simulink (Свидетельство Дизайна Simulink).
В окне Диспетчер фрагментов модели (Model Slice Manager) выберите Уточнить неработающую логику (Refine Dead Logic) и щелкните Получить неработающие логические данные (Get Dead Logic Data).
Для импорта файла данных Simulink Design Verifier нажмите кнопку «Обзор файла данных SLDV».
Чтобы загрузить существующие результаты неработоспособной логики, щелкните Обзор (Browse), чтобы найти существующие результаты неработоспособной логики.
Перейдите к существующим данным и нажмите кнопку Открыть.
