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