Polyspace® MISRA C®: 2012 шашка помогает вам соответствовать стандарту кодирования MISRA C 2012.[1]
Когда C:2012 MISRA нарушаются, Polyspace MISRA C:2012 checker предоставляет сообщения с информацией о нарушенных правиле или директиве. Большинство нарушений обнаруживается во время фазы компиляции анализа.
Polyspace Bug Finder может проверить все правила C:2012 MISRA и большинство директивов C:2012 MISRA. Polyspace Code Prover не поддерживает проверку следующего:
MISRA C:2012 Dir 4.4, Dir 4.7, 4.13 и 4.14
МИСРА C:2012 правила 21.13, 21.14 и 21.17 - 21.20
МИСРА C:2012 правила 22.1 - 22.4 и 22.6 - 22.10
Каждое руководящее положение подразделяется на одну из этих трех категорий: обязательное, обязательное или консультативное. При настройке проверки правил можно выбрать подмножества этих категорий для проверки. Для автоматически сгенерированного кода некоторые правила меняют категории, в том числе на одну дополнительную категорию: читаемость. The Use generated code requirements (-misra3-agc-mode) опция активирует категоризацию для автоматически сгенерированного кода.
Существуют дополнительные подмножества MISRA® C:2012, определенные Polyspace, называемые Целями качества программного обеспечения (SQO), которые могут оказывать прямое или косвенное влияние на точность ваших результатов. При настройке проверки можно выбрать эти подмножества. Эти подмножества определены в подмножествах целей качества программного обеспечения (C: 2012).
Check MISRA C:2012 (-misra3) | Use generated code requirements (-misra3-agc-mode)
[1] MISRA и MISRA C являются зарегистрированными товарными знаками MIRA Ltd., принадлежащими консорциуму MISRA.
