Правила

C:2004 MISRA

Описания и список C:2004 MISRA, поддерживаемых в Polyspace®

Темы

Polyspace Поддержка MISRA C: 2004

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 может проверить.

MISRA C: Подмножества 2004

Целевые подмножества качества программного обеспечения (C:2004)

Смотрите, какие правила C:2004 MISRA снижают сложность кода и уменьшают количество недоказанных проверок в Code Prover.

Целевые подмножества качества программного обеспечения (AC AGC)

Смотрите, какие правила C:2004 MISRA уменьшают сложность кода в сгенерированном коде и уменьшают количество недоказанных проверок в Code Prover.