Правила MISRA C:2004

Описания и список инструкций MISRA C:2004 поддержаны в Polyspace®

Темы

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

Polyspace MISRA C:2004 и средства проверки AGC AC MISRA

См. обзор поддержки Polyspace Стандарта MISRA C®:2004.

Проверяйте на кодирование стандартных нарушений

Проверяйте на нарушения C++ AUTOSAR 14, CERT® C, CERT C++ MISRA C, MISRA® C ++, JSF AV C++ или стандарт ISO 17961 с Программой автоматического доказательства Средства поиска или Кода Ошибки.

MISRA C:2004 и правила кодирования AGC AC MISRA

Ищите MISRA C:2004 постановляет, что Polyspace может проверять.

MISRA C: 2 004 подмножества

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

Смотрите, какие правила MISRA C:2004 уменьшают сложность кода и сокращают количество бездоказательных регистраций Программы автоматического доказательства Кода.

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

Смотрите, какие правила MISRA C:2004 уменьшают сложность кода в сгенерированном коде и сокращают количество бездоказательных регистраций Программы автоматического доказательства Кода.