Проверяйте повторение типов Действия

ID проверки: mathworks.jmaab.jc_0734

Идентифицирует повторенные типы Действия в состоянии Stateflow.

Описание

Типы действия (запись (en), во время (du), выход (исключая), en, du: du, исключая: en, исключая: en, du, исключая:) не должен быть описан два или больше раза в состоянии Stateflow.

Эта проверка требует Simulink® Check™ и Stateflow® лицензия.

Проверяйте параметризацию

Эта проверка не включает подпроверки, потому что руководство по моделированию MAB только обеспечивает один sub ID.

Для ссылки, инструкция MAB sub ID, которые рекомендуются для использования NA-MAAB и JMAAB, который моделирование организаций стандартов:

  • NA-MAAB — a

  • JMAAB — a

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Один или несколько типов действия используются многократно в состоянии Stateflow.Объедините типы действий так, чтобы каждый из типов действия был задан только однажды в состоянии Stateflow.

  • Работает на моделях библиотеки.

  • Анализирует содержимое соединенных библиотекой блоков. По умолчанию входной параметр Follow links устанавливается на on.

  • Анализирует содержимое в подсистемах маскированных. По умолчанию входной параметр Look under masks устанавливается на graphical.

  • Позволяет исключения графиков.

Смотрите также