Polyspace® MISRA® Проверка C++ помогает вам соответствовать MISRA C®+ +: стандарт кодирования 2008 года.[1]
При нарушении правил MISRA C++ программное обеспечение Polyspace предоставляет сообщения с информацией о том, почему код нарушает правило. Большинство нарушений обнаруживается во время фазы компиляции анализа. MISRA C++ checker может проверить 202 из 230 правил кодирования MISRA C++.
Существуют подмножества правил кодирования MISRA C++, которые могут оказывать прямое или косвенное влияние на избирательность (процент надежности) ваших результатов. При настройке проверки правил можно выбрать эти подмножества непосредственно. Эти подмножества определены в подмножествах целей качества программного обеспечения (C++).
Примечание
Проверка Polyspace MISRA C++ основана на MISRA C++: 2008 - «Инструкции по использованию языка C++ в критических системах».
[1] MISRA является зарегистрированным товарным знаком MIRA Ltd., принадлежащим консорциуму MISRA.
