| Идентификатор: Заголовок | hisf_0064: Операции Shift для данных Stateflow ® для повышения соответствия кодам | |
|---|---|---|
| Описание | Чтобы улучшить соответствие кода сформированному коду с операциями сдвига битов Stateflow, не выполняйте: | |
| A | Операции правого сдвига, превышающие битовую ширину входного типа, или на отрицательное значение. | |
| B | Операции левого сдвига больше, чем битовая ширина выходного типа, или на отрицательное значение. | |
| Примечание | При выполнении этого и других рекомендаций по моделированию повышается вероятность создания кода, соответствующего стандартам кодирования. | |
| Объяснение | Чтобы избежать операций сдвига в сгенерированном коде, которые могут быть нарушением стандарта кодирования. | |
| Проверки помощника по модели | Проверка использования операций смены для данных Stateflow (Simulink Check) | |
| Ссылки |
| |
| Предпосылки | hisl_0060: Параметры конфигурации, улучшающие соответствие MISRA C:2012 | |
| Последнее изменение | R2021a | |
| Примеры | Неправильный
Правильный Выполните операции сдвига в заданном диапазоне входных и выходных сигналов.
Правильный Когда операции сдвига превышают ширину входных сигналов, выполните явное преобразование. Поскольку выходной сигнал может содержать конечное значение, преобразование предотвращает запись выходного сигнала как 0 во время генерации кода.
| |
| Идентификатор: Заголовок | hisf_0065: Типовые операции в Stateflow для улучшения соответствия кода | |
|---|---|---|
| Описание | В диаграммах Stateflow, использующих язык действий C, используйте := нотация для защиты от целочисленных и фиксированных вычислений Stateflow для более широких типов данных, чем входные типы данных. | |
| Примечание | При выполнении этого и других рекомендаций по моделированию повышается вероятность создания кода, соответствующего стандартам кодирования. | |
| Объяснение | Во избежание неявных слепков в создаваемом коде, которые могут нарушать стандарты кодирования. | |
| Проверки помощника по модели | Проверка операций назначения в диаграммах Stateflow (Simulink Check) | |
| Ссылки |
| |
| Предпосылки | hisl_0060: Параметры конфигурации, улучшающие соответствие MISRA C:2012 | |
| Последнее изменение | R2021a | |
| Идентификатор: Заголовок | hisf_0211: Защита от использования унарных операторов в картах Stateflow для улучшения соответствия кода | |
|---|---|---|
| Описание | Для улучшения соответствия создаваемого кода: | |
| A | Не используйте унарные операторы минус для неподписанных типов данных. | |
| Примечание | Языки действий MATLAB ® и C не ограничивают использование унарных операторов минус в неподписанных выражениях. | |
| Объяснение | Улучшение соответствия создаваемого кода. | |
| Проверки помощника по модели | Проверка диаграмм Stateflow для унарных операторов (Simulink Check) | |
| Ссылки |
| |
| Последнее изменение | R2017b | |