Чтобы задать, какое кодирование стандартов вы хотите проверять, например, MISRA C®: 2012 или C++ AUTOSAR 14, используйте кодирующие стандартные опции. Чтобы видеть метрики сложности кода в ваших результатах анализа, например, цикломатической сложности и количестве вызова или вызванных функций, используют метрическую опцию кода.
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
Проверяйте на кодирование стандартных нарушений
Проверяйте на нарушения C++ AUTOSAR 14, CERT® C, CERT C++ MISRA C, MISRA® C ++, JSF AV C++ или стандарт ISO 17961 с Программой автоматического доказательства Средства поиска или Кода Ошибки.
Создайте пользовательские правила кодирования
Осуществите соглашения о присвоении имен и другие инструкции по стилю по коду C/C++ с Polyspace®.
Избегайте нарушений правил MISRA C:2012 8.x
Избегайте конфликтных объявлений или непреднамеренной модификации переменных.
Импортируйте существующий MISRA C: 2 004 выравнивания к MISRA C: 2 012 результатов
Импортируйте существующую информацию об анализе при миграции от более старого MISRA C Стандарта.
Кодирование подмножеств правила, проверенных рано в анализе
Узнать, как настраивать вашу проверку правил кодирования более быстрый анализ.
Вычислите метрики сложности кода
Осуществите пределы на метриках сложности кода, таких как цикломатическая сложность и глубина вложения.
Смотрите, какие метрики сложности кода, поддержанные в Polyspace, являются частью стандарта Hersteller Initiative Software (HIS).
Кодирование стандартов (Polyspace Code Prover Access)
Метрики кода (Polyspace Code Prover Access)
