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