-code-metrics)Показатели сложности вычислений и отображения кода
Укажите, что Polyspace ® должен вычислять и отображать метрики сложности кода для исходного кода. Метрики включают в себя файловые метрики, такие как количество строк и метрики функций, такие как цикломатическая сложность и предполагаемый размер локальных переменных.
Дополнительные сведения см. в разделе Метрики сложности вычислительных кодов.
Для поддержания приемлемого уровня сложности программного обеспечения во время цикла разработки используйте средства проверки сложности программного обеспечения. Смотрите.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics.
файл командной строки и параметров: Использовать параметр -code-metrics. См. раздел Сведения о командной строке.
По умолчанию Полиспейс не вычисляет метрики сложности кода. Если необходимо включить эти метрики в результаты анализа, перед выполнением анализа установите эту опцию.
Высокие значения показателей сложности кода могут привести к затемнению кода и увеличить вероятность ошибок кодирования. Кроме того, при выполнении проверки программы проверки кода в исходном коде может быть полезно сначала проверить показатели сложности кода. Если функция слишком сложна, попытки проверить функцию могут привести к большому количеству недоказанных кодов. Сведения о том, как ограничить метрики сложности кода, см. в разделе Метрики сложности кода вычисления.
НаPolyspace вычисляет и отображает метрики сложности кода на панели Список результатов (Results List).
Выкл. (по умолчанию)Polyspace не вычисляет метрики сложности.
Если требуется вычислить только метрики сложности кода для кода:
В Bug Finder отключите проверку дефектов. Посмотрите Find defects (-checkers).
В программе Code Prover выполните проверку до Source Compliance Checking фаза. Посмотрите Verification level (-to).
Анализ проверки кода вычисляет метрики использования стека после фазы проверки соответствия источника. Если перед проверкой соответствия источника остановить проверку средства проверки кода, метрики использования стека не сообщаются.
Параметр: -code-metrics |
| По умолчанию: Откл. |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |