Проверяйте использование битовых операций в диаграммах Stateflow

ID проверки: mathworks.hism.hisf_0003

Описание

Идентифицирует использование операндов целого числа со знаком к побитовым операторам в диаграммах Stateflow с языком действия C.

Доступный с Simulink® Check™.

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

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

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

Возможности и ограничения

  • Следующий бит MATLAB мудрые операции не отмечается с помощью этой проверки

    • swapbytes

    • bitset

    • bitget

    • bitcmp

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

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

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

  • Анализирует содержимое во всех подсистемах маскированных.

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