Polyspace MISRA C:2004 и MISRA AC AGC Checkers
См. обзор поддержки Polyspace для MISRA C®: Стандарт 2004 года.
Проверяйте на нарушения стандарта кодирования
Проверка на нарушения AUTOSAR C++ 14, CERT® C, CERT C++ MISRA C, MISRA® C++, JSF AV C++ или ISO-17961 стандарт с Bug Finder или Code Prover.
MISRA C:2004 и MISRA AC AGC Правила кодирования
Проверьте правила C:2004 MISRA, которые Polyspace может проверить.
Целевые подмножества качества программного обеспечения (C:2004)
Смотрите, какие правила C:2004 MISRA снижают сложность кода и уменьшают количество недоказанных проверок в Code Prover.
Целевые подмножества качества программного обеспечения (AC AGC)
Смотрите, какие правила C:2004 MISRA уменьшают сложность кода в сгенерированном коде и уменьшают количество недоказанных проверок в Code Prover.
