hisl_0102: Тип данных контрольных переменных цикла, чтобы улучшить податливость MISRA C:2012

ID: Заголовокhisl_0102: Тип данных контрольных переменных цикла, чтобы улучшить податливость MISRA C:2012
Описание

Чтобы улучшить податливость MISRA C:2012 сгенерированного кода, используйте целочисленный тип данных для переменных, которые используются в качестве переменных счетчика управления циклом в:

  • Циклы for создаются в Stateflow® и MATLAB®.

  • For Iterator (Simulink) блоки.

ОбъяснениеУлучшите податливость MISRA C:2012 сгенерированного кода.
Проверки Model AdvisorПроверяйте тип данных контрольных переменных цикла (Simulink Check)
Ссылки
  • ISO 26262-6, Таблица 1 (1c) - Осуществление строгого контроля типов

  • DO-331, Раздел MB.6.3.2.g – 'Алгоритмы точен'

  • MISRA C:2012, правило 14.1

В последний раз измененныйR2018a