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