Таблица переходов состояний является альтернативным способом выражения последовательной модальной логики. Вместо графического отображения состояний и переходов в диаграмме Stateflow ® используйте таблицы переходов состояний для выражения модальной логики в табличном формате. Таблицы перехода состояний поддерживаются только как блоки в модели Simulink ®. Дополнительные сведения см. в разделе Таблицы перехода состояний в потоке состояний.
Диагностические проверки можно выполнять в таблице переходов состояний. В редакторе потока состояний на вкладке Отладка (Debug) выберите Обновить модель (Update Model) > Обновить таблицу (Update Table).
Средство диагностики статически анализирует таблицу для поиска таких ошибок, как:
Состояния без входящих переходов
Переходные ячейки с условиями или действиями, но без назначения
Текст действия в ячейке условия
Состояния, недоступные из перехода по умолчанию
Строка перехода по умолчанию без безусловного перехода
Несоответствие порядка выполнения строки внутреннего перехода. Внутренняя строка перехода для состояния должна указывать состояния назначения слева направо в том же порядке, в котором соответствующие состояния отображаются в таблице сверху вниз.
Каждая ошибка сообщается с гиперссылкой на соответствующий объект, вызывающий ошибку. Эти проверки также выполняются во время моделирования.