-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' |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |