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