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