Проверки MISRA C:2012

Можно проверять, что модель или подсистема имеют вероятность генерации MISRA C:2012 совместимый код.

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

Проверяйте использование блоков Присвоения

ID проверки: mathworks.misra.AssignmentBlocks

Идентифицируйте блоки Assignment, которые не имеют параметров блоков набором Action if any output element is not assigned к Error или Warning.

Описание

Эта проверка применяется к блоку Assignment, который доступен в библиотеке блока Simulink под Simulink> Math Operations.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C, CWE, стандарты ISO/IEC TS 17961.

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

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

УсловиеРекомендуемое действие
Модель или подсистема могут содержать блоки Assignment с неполной инициализацией массивов, которые не имеют параметров блоков набором Action if any output element is not assigned к Error или Warning.

Установите параметры блоков Action if any output element is not assigned на одно из рекомендуемых значений:

  • Error, если блок Assignment не находится в подсистеме Итератора.

  • Warning, если блок Assignment находится в подсистеме Итератора.

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

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

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

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

  • Если у вас есть лицензия Simulink Check, позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой. Однако следующее условие проверки не поддерживается, потому что разовая редактированием проверка не может определить, является ли блок Assignment в подсистеме Итератора.

Установите параметры блоков Action if any output element is not assigned на одно из рекомендуемых значений:

  • Error, если блок Assignment не находится в подсистеме Итератора.

  • Warning, если блок Assignment находится в подсистеме Итератора.

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

Проверяйте на блоки, не рекомендуемые для MISRA C:2012

ID проверки: mathworks.misra.BlkSupport

Идентифицируйте блоки, которые не поддерживаются или рекомендованы для MISRA C:2012 совместимая генерация кода.

Описание

В соответствии с рекомендациями этой проверки увеличивает вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие

Блоки Интерполяционной таблицы с помощью интерполяции кубическим сплайном или методов экстраполяции были найдены в модели или подсистеме. Определенные блоки:

Рассмотрите другие методы интерполяции и экстраполяции для блоков Интерполяционной таблицы.

Блоки Интерполяционной таблицы устаревшие были найдены в модели или подсистеме. Определенные блоки:

  • Интерполяционная таблица

  • (2D) интерполяционная таблица

Рассмотрите заменяющий блоки Интерполяционной таблицы устаревшие.
Блоки S-Function Builder были найдены в модели или подсистеме.Рассмотрите заменяющий Разработчика S-функции блоки на блоки рекомендуемый для производства.
Блоки From Workspace были найдены в модели или подсистемеРассмотрите заменяющий От блоков Рабочей области с блоками рекомендуемый для производства.

Блоки строки были найдены в модели или подсистеме. Определенные блоки:

Рассмотрите заменяющий блоки Строки на блоки рекомендуемый для производства.

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

Вы можете:

  • Осуществите эту проверку своих моделей библиотеки.

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

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

  • Исключите блоки и графики от этой проверки, если у вас есть лицензия Simulink Check.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

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

Проверяйте на неподдерживаемые имена блока

ID проверки: mathworks.misra.BlockNames

Идентифицируйте имена блока, содержащие /.

Описание

В соответствии с рекомендациями этой проверки увеличивает вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие
Имена блока, содержащие / были найдены в модели или подсистеме.Удаление от имени блока.

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

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

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

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

  • Если у вас есть лицензия Simulink Check, позволяет исключения блоков и графиков.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

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

Проверяйте параметры конфигурации на MISRA C:2012

ID проверки: mathworks.misra.CodeGenSettings

Идентифицируйте параметры конфигурации, которые могут повлиять на MISRA C:2012 совместимая генерация кода.

Описание

В соответствии с рекомендациями этой проверки увеличивает вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие
Math and Data Types
Параметр конфигурации Use division for fixed-point net slope computation не установлен в On или Use division for reciprocals of integers only.Установите Use division for fixed-point net slope computation на On или Use division for reciprocals of integers only.

Параметр конфигурации Inf or NaN block output установлен в None или error и Support non-finite numbers установлен в on.

Параметр конфигурации Inf or NaN block output установлен в None и Support non-finite numbers установлен в off.

Когда Support non-finite numbers:

  • on, установите Inf or NaN block output на warning

  • off, установите Inf or NaN block output на warning или error

Параметр конфигурации Model Verification block enabling установлен в Use local settings или Enable All.Установите Model Verification block enabling на Disable All.
Параметр конфигурации Undirected event broadcasts установлен в none или warning.Установите Undirected event broadcasts на error.
Параметр конфигурации Wrap on overflow установлен в NoneУстановите параметр конфигурации Wrap on overflow на warning или error.
Hardware Implementation
Параметр конфигурации Production hardware signed integer division rounds to установлен в UndefinedУстановите Production hardware signed integer division rounds to на Zero или Floor.
Параметр конфигурации Shift right on a signed integer as arithmetic shift выбран.Очистите Shift right on a signed integer as arithmetic shift.
Simulation Target
Параметр конфигурации Compile-time recursion limit for MATLAB functions установлен в значение кроме 0.Установите Compile-time recursion limit for MATLAB functions на 0.
Параметр конфигурации Dynamic memory allocation in MATLAB functions выбран.Очистите Dynamic memory allocation in MATLAB functions.
Параметр конфигурации Enable run-time recursion for MATLAB functions выбран.Очистите Enable run-time recursion for MATLAB functions.
Code Generation

Параметр конфигурации Bitfield declarator type specifier установлен в uchar_T когда любой из этих параметров выбран:

  • Pack Boolean data into bitfields

  • Use bitsets for storing state configuration

  • Use bitsets for storing Boolean data

Установите Bitfield declarator type specifier на uint_T.
Параметр конфигурации Casting Modes не установлен в Standards Compliant.Установите Casting Modes на Standards Compliant.
Параметр конфигурации Code replacement library не установлен в None или AUTOSAR 4.0.

Установите Code replacement library на None или AUTOSAR 4.0

Параметр конфигурации External mode выбран.Очистите External mode.
Параметр конфигурации Generate shared constants выбран.Очистите Generate shared constants.

Параметр конфигурации Include comments очищен.

Выберите Include comments.
Параметр конфигурации MAT-file logging выбран.

Очистите MAT-file logging

Для основанных на ERT целевых систем параметр конфигурации очищен MATLAB user comments.Выберите MATLAB user comments.
Значение для параметра конфигурации Maximum identifier length не введено.Установите значение к зависящему от реализации пределу. Значением по умолчанию является 31.
Параметр конфигурации Parenthesis level не установлен в Maximum (Specify precedence with parentheses).Установите Parentheses level на Maximum (Specify precedence with parentheses).

Для основанных на ERT целевых систем параметр конфигурации очищен Preserve static keyword in function declarations, когда File packaging format установлен в Compact или Compact (with separate data file)

Выберите Preserve static keyword in function declarations.
Параметр конфигурации Replace multiplications by powers of two with signed bitwise shifts выбран.Очистите Replace multiplications by powers of two with signed bitwise shifts.
Параметр конфигурации Shared code placement установлен в Auto.

Установите Shared code placement на Shared location

Для основанных на ERT целевых систем параметр конфигурации выбран Support continuous time Очистите Support continuous time.
Для основанных на ERT целевых систем параметр конфигурации выбран Support non-inlined S-functions Очистите Support non-inlined S-functions.
Параметр конфигурации System-generated identifiers установлен в Classic.Установите System-generated identifiers на Shortened.
Параметр конфигурации System target file установлен в основанную на GRT цель.Установите System target file на основанную на ERT цель.
Use dynamic memory allocation for model initialization параметра конфигурации выбран, когда Code Interface Packaging установлен в Reusable Function.

Очистите Use dynamic memory allocation for model initialization.

Примечание

Выберите только, когда Code Interface Packaging будет установлен в Reusable Function.

Результаты действия

Нажатие на Modify All изменяет значения параметров в рекомендуемые значения.

Примечание

Когда вы нажимаете Modify All для моделей с основанной на GRT целью, Model Advisor не обновляет параметр конфигурации System target file к основанной на ERT системе.

Подпроверки параметра зависят от результатов параметра, отмеченного с D в таблице результатов. Когда результатом является D-предупреждение, столбец Current Value в таблице результатов утверждает Необходимое как условие ограничение, которому не соответствуют для подпроверок. После того, как вы изменяете параметр, повторно выполняете проверку.

Примечание

Некоторые подпроверки характерны для параметров конфигурации для основанных на ERT систем. Эти параметры не обновляются, когда вы нажимаете Modify All, если вы не изменяете модель в основанную на ERT систему.

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

Эта проверка не рассматривает модели, на которые ссылаются.

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

Проверяйте на операции равенства и неравенства на значениях с плавающей точкой

ID проверки: mathworks.misra.CompareFloatEquality

Идентифицируйте операции равенства и неравенства на значениях с плавающей точкой.

Описание

Проверка отмечает источники, вызывающие равенство или операции неравенства на значениях с плавающей точкой.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C и стандарты CWE.

Проверка не отмечает блоки с помощью операций равенства или неравенства на значениях с плавающей точкой, если они выравниваются по ширине с аннотацией Polyspace®. Когда вы осуществляете проверку, блоки списков таблиц Blocks with justification с операциями равенства или неравенства, которые имеют выравнивание.

Доступный с Embedded Coder и Simulink Check.

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

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

УсловиеРекомендуемое действие

Объект модели начинает операцию равенства или неравенства на значении с плавающей точкой.

Рассмотрите использование значений нес плавающей точкой для операций равенства или неравенства.

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

Вы можете:

  • Исключите блоки и графики от этой проверки, если у вас есть лицензия Simulink Check.

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

Проверяйте на битовые операции на целых числах со знаком

ID проверки: mathworks.misra.CompliantCGIRConstructions

Идентифицируйте блоки Simulink, которые содержат битовые операции на целых числах со знаком.

Описание

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C и стандарты CWE.

Доступный с Embedded Coder и Simulink Check.

Эта проверка требует лицензии Stateflow, когда Stateflow используется в модели.

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

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

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

Вы можете:

  • Проверка принимает, что код сгенерирован для целой модели. Когда код сгенерирован сборкой подсистемы или экспортами функций, проверка может продукт неправильные результаты.

  • Исключите блоки и графики от этой проверки, если у вас есть лицензия Simulink Check.

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

Проверяйте на вызовы рекурсивной функции

ID проверки: mathworks.misra.RecursionCompliance

Идентифицируйте вызовы рекурсивной функции в диаграммах Stateflow.

Описание

В соответствии с рекомендациями этой проверки увеличивает вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений. Проверка отмечает графики, которые имеют вызовы рекурсивной функции.

Доступный с Embedded Coder и Simulink Check.

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

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

УсловиеРекомендуемое действие

График имеет вызов рекурсивной функции.

Удалите вызов рекурсивной функции.

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

Проверяйте на выражения случая переключателя без случая по умолчанию

ID проверки: mathworks.misra.SwitchDefault

Идентифицируйте выражения случая переключателя, которые не имеют случая по умолчанию.

Описание

Проверка отмечает объекты модели, которые имеют выражения случая переключателя без случая по умолчанию.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C, CWE, стандарты ISO/IEC TS 17961.

Проверка не отмечает блоки без случаев по умолчанию, если они выравниваются по ширине с аннотацией Polyspace. Когда вы осуществляете проверку, блоки списков таблиц Blocks with justification без случаев по умолчанию, которые имеют выравнивание.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие

Объект модели имеет выражение случая переключателя без случая по умолчанию.

Для блоков Switch Case считайте параметры блоков выбора Show default case, чтобы явным образом задать случай по умолчанию.

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

Вы можете:

  • Осуществите эту проверку своих моделей библиотеки.

  • Исключите блоки и графики от этой проверки, если у вас есть лицензия Simulink Check.

Разовая редактированием Проверка.  Эта проверка поддерживается разовой редактированием проверкой.

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

Проверяйте на блоки, не рекомендуемые для производственного развертывания C/C++ кода

ID проверки: mathworks.codegen.PCGSupport

Идентифицируйте блоки, не поддержанные генерацией кода или не рекомендуемые для производственного развертывания C/C++ кода.

Описание

Эта проверка частично идентифицирует построения модели, которые не рекомендуются для генерации производственного кода C/C++. Для Simulink Coder™ и Embedded Coder, эти тождества построения модели появляются в таблицах Поддержки блока Simulink (Simulink Coder).

В некоторых случаях эта проверка отмечает блоки, которые поддерживаются для генерации кода. Для этих блоков необходимо рассмотреть информацию о сноске, которая предоставляется в примечаниях поддержки, и придерживайтесь рекомендуемого действия, обеспеченного Model Advisor.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации кодирует, который выполняет CERT C, CWE и стандарты ISO/IEC TS 17961.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие
Модель или подсистема содержат блоки, которые не должны использоваться для производственного развертывания кода.Рассмотрите заменяющий блоки перечисленный в результатах. Кликните по элементу из списка сомнительных элементов, чтобы определить местоположение условия.
Модель или подсистема содержат блоки, которые поддерживаются, но не рекомендуемые для генерации производственного кода.Рассмотрите примечания поддержки и придерживайтесь рекомендуемого действия, обеспеченного Model Advisor.

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

Вы можете:

  • Осуществите эту проверку своих моделей библиотеки.

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

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

  • Исключите блоки и графики, если у вас есть лицензия Simulink Check.

Разовая редактированием проверка

Эта проверка поддерживается разовой редактированием проверкой.

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

Проверяйте на недостающие ошибочные порты для интерфейсов приемника AUTOSAR

ID проверки: mathworks.misra.AutosarReceiverInterface

Идентифицируйте импорт интерфейса приемника AUTOSAR, который не имеет соответствия с ошибочными портами.

Описание

В соответствии с рекомендациями этой проверки увеличивает вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений. Проверка отмечает импорт интерфейсов приемника AUTOSAR, который пропускает ошибочные порты. Следующая таблица идентифицирует типы режима доступа к данным AUTOSAR для интерфейсных портов приемника, которые отмечаются проверкой, когда соответствующий ошибочный порт отсутствует.

Тип режима доступа к данным AUTOSARОтмеченный проверкой?
ImplicitReceiveДа
ExplicitReceiveДа
QueuedExplicitReceiveНет
ErrorStatusНет
ModeReceiveНет
IsUpdatedНет
EndToEndReadДа
ExplicitReceiveByValНет
otherwiseНет

Проверка не отмечает недостающие ошибочные порты, когда они выравниваются по ширине с аннотацией Polyspace. Когда вы осуществляете проверку, таблица Blocks with justification приводит недостающие ошибочные порты, которые имеют выравнивание.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие

Импорт интерфейса приемника AUTOSAR не имеет соответствующего ошибочного порта.

Добавьте недостающий ошибочный порт и сопоставьте с соответствующим импортом интерфейса приемника AUTOSAR.

Интерфейсные порты приемника AUTOSAR не имеют соответствующего ошибочного порта, когда режимом доступа к данным является ImplicitReceive, ExplicitReceive, или EndToEndRead.

Добавьте недостающий ошибочный порт и сопоставьте с соответствующим импортом интерфейса приемника AUTOSAR.

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

Вы можете:

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

  • Исключите блоки и графики от этой проверки, если у вас есть лицензия Simulink Check.

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

Проверяйте на недостающие спецификаторы const в функциях модели

ID проверки: mathworks.misra.ModelFunctionInterface

Идентифицируйте недостающие спецификаторы const в указателях входных данных.

Описание

В соответствии с рекомендациями этой проверки увеличивает вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений. Проверка отмечает указатели входных данных, которые не имеют спецификатора const.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие
Спецификатор const не задан для указателя входных данных.Рассмотрите добавление спецификатора const к указателю входных данных.

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

Проверяйте целочисленный размер слова

ID проверки: mathworks.misra.IntegerWordLengths

Идентифицируйте целочисленные размеры слова, которые не выполняют настройки аппаратной реализации

Описание

Проверка отмечает целые числа, размеры слова которых превышают количество битов, разрешенных через настройки аппаратной реализации.

В соответствии с рекомендациями этих увеличений проверки вероятность генерации MISRA C:2012 совместимый код для встраиваемых приложений, а также код, который выполняет CERT C и стандарты CWE.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие

Объект модели содержит целочисленные размеры слова, которые несовместимы с настройками аппаратной реализации.

Обновите целое число, таким образом, его длина не превышает разрешенное количество битов. Можно просмотреть разрешенное количество битов в диалоговом окне Configuration Parameters на the Hardware Implementation> панель Device details.

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

Вы можете:

  • Исключите блоки и графики от этой проверки, если у вас есть лицензия Simulink Check.

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

Имена объектов контрольной шины, которые используются в качестве имен элементов шины

ID проверки: mathworks.misra.BusElementNames

Идентифицируйте имена объектов шины, которые используются в качестве имен элементов шины.

Описание

Используя эти увеличения проверки вероятность генерации кодирует для встраиваемых приложений, который совместим с MISRA C:2012. Проверка отмечает экземпляры, где имя Simulink.Bus object используется в качестве имени элемента Simulink.Bus.

Доступный с Embedded Coder и Simulink Check.

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

УсловиеРекомендуемое действие
Имя объекта шины используется в качестве имени элемента шины.Поменяйте или отмеченное имя объекта шины или имя элемента шины так, чтобы они не были идентичны.

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

Для просмотра документации необходимо авторизоваться на сайте