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