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 может проверять.
Подмножества цели качества программного обеспечения (C:2004)
Смотрите, какие правила MISRA C:2004 уменьшают сложность кода и сокращают количество бездоказательных регистраций Программы автоматического доказательства Кода.
Подмножества цели качества программного обеспечения (AGC AC)
Смотрите, какие правила MISRA C:2004 уменьшают сложность кода в сгенерированном коде и сокращают количество бездоказательных регистраций Программы автоматического доказательства Кода.