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