Для визуальной проверки логики в диаграммах или таблицах Stateflow ® можно использовать подсвечивание модели. После определения временного окна моделирования используется инструмент «Срез модели» для выделения и среза элементов потока состояния, которые активны в пределах выбранного временного окна.
Примечание
Если при выделении функциональных зависимостей в диаграмме или таблице Stateflow не Определено временное окно моделирования (Define a Simulation Time Window), то модельный срез предполагает, что все элементы диаграммы или таблицы активны. Модель Slicer выделяет все содержимое таких диаграмм и таблиц.
Поведение выделения среза модели для элементов потока состояний
Использование среза модели с таблицами переходов состояний Stateflow
Ограничения поддержки для использования среза модели с потоком данных Stateflow
Модуль Model Slicer выделяет элемент Stateflow, если он был выполнен в указанном временном окне. Некоторые примеры:
Диаграмма, если она активирована в указанном временном окне.
Состояние, если вход, выход или действия выполняются в указанном временном окне.
Родительское состояние, если его дочернее состояние выделено в указанном временном окне.
Переход, если он выполняется в указанном временном окне, например, во внутреннем, внешнем и по умолчанию. Если условия перехода вычисляются, но переход не принимается, модуль «Модельный срез» не выделяет переход.
Модель Slicer не выделяет непосредственно содержимое таблиц перехода состояний Stateflow. Чтобы просмотреть выделенные функциональные зависимости в таблице перехода состояния, необходимо просмотреть автоматически сгенерированную диаграмму для таблицы перехода состояния. Инструкции по просмотру автоматически сгенерированной диаграммы для таблицы переходов состояний см. в разделе Создание диаграмм из таблиц переходов состояний (поток состояний).
Для получения информации об ограничениях поддержки при использовании модели Slicer with Stateflow см. раздел Ограничения поддержки модели Slicer for Stateflow.