himl_0008: типы данных оператора отношения кода MATLAB

ID: Заголовокhiml_0008: типы данных оператора отношения MATLAB® кода
Описание

Для кода MATLAB с операторами отношения используйте совпадающий тип данных для левых и правых операндов.

ПримечаниеЕсли эти два операнда будут иметь различные типы данных, MATLAB продвинет оба операнда тип общих данных. Это может привести к неожиданным результатам.
Объяснение
  • Предотвратите неявные броски

  • Предотвратите неожиданные результаты

Проверки Model AdvisorПроверяйте использование операторов отношения в блоках MATLAB function (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'

  • IEC 61508-3, Таблица A.3 (2) 'Язык программирования со строгим контролем типов’
    IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (b) 'Использование языковых подмножеств'
    ISO 26262-6, Таблица 1 (c) 'Осуществление строгого контроля типов'

  • EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов'
    EN 50128, таблица A.4 (11) 'языковое подмножество'

Смотрите также
В последний раз измененныйR2018b
Примеры

Рекомендуемый

  • myBool == true
    myInt8 == int8(1) 
    

Не рекомендуемый

  • myBool == 1
    myInt8 == true
    myInt8 == 1
    myInt8 == int16(1)
    myEnum1.EnumVal == int32(1)