Exponenta Banner
exponenta event banner

Направляющие линии

Описание и список средств проверки инструкций

Эти средства проверки связаны с лучшыми практиками в кодировании. Polyspace® повышает дефекты сложности программного обеспечения, когда метрика сложности модуля превышает определенный порог.

Используйте опции Check Guidelines (-guidelines) активировать эти средства проверки.

Результаты Polyspace

развернуть все

Number of calling functions exceeds thresholdКоличество отличных вызывающих сторон функции больше заданного порога
Number of called functions exceeds thresholdКоличество отличных вызовов функции в теле функции больше заданного порога
Comment density below thresholdПлотность комментария модуля падает ниже заданного порога
Call tree complexity exceeds thresholdСложность дерева вызова файла больше заданного порога
Number of lines within body exceeds thresholdКоличество линий в теле функции больше заданного порога
Number of executable lines exceeds thresholdКоличество исполняемых линий в теле функции больше заданного порога
Number of goto statements exceeds thresholdКоличество goto операторы в функции больше заданного порога
Depth of call nesting exceeds thresholdГлубина вложения структур управления в функции больше заданного порога глубины вложения функции
Number of local static variables exceeds thresholdКоличество локальных статических переменных в функции больше заданного порога
Number of local nonstatic variables exceeds thresholdКоличество локальных нестатических переменных в функции больше заданного порога
Number of call occurrences exceeds thresholdКоличество вызовов функции в функции больше заданного порога вхождения вызова функции
Number of function parameters exceeds thresholdКоличество аргументов функции больше заданного порога
Number of paths exceeds thresholdКоличество статических путей в функции больше заданного порога
Number of return statements exceeds thresholdКоличество return операторы в функции больше заданного порога
Number of instructions exceeds thresholdКоличество инструкций в функции больше заданного порога
Number of lines exceeds thresholdКоличество общих линий в файле больше заданного порога
Cyclomatic complexity exceeds thresholdЦикломатическая сложность функции больше заданного цикломатического порога сложности функции
Language scope exceeds thresholdОбласть видимости функции языка больше заданного порога

Темы

Уменьшайте сложность программного обеспечения при помощи средств проверки Polyspace

Включите и сконфигурируйте средства проверки сложности программного обеспечения, чтобы идентифицировать проблемы, которые делают ваш код трудным читать, понять, и отладка.

Измените поведение по умолчанию средств проверки Bug Finder

Расширьте или ограничьте поведение по умолчанию дефекта или кодирования стандартных средств проверки с помощью опций анализа Polyspace.

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

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

Документация Polyspace Bug Finder

Поддержка