Параметры анализа в Polyspace
Bug Finder
Настройка анализа Finder™ ошибок Polyspace ®
Независимо от того, откуда выполняется Polyspace, может потребоваться изменить некоторые параметры анализа по умолчанию. Можно изменить параметры для работы с проблемами компиляции, указать дополнительные проверки, задать правила из стандартов кодирования, создать отчеты и т. д. Все доступные параметры анализа и сопутствующие рабочие процессы см. здесь. Параметры организованы в соответствии с группами на панели Конфигурация (Configuration) в интерфейсе пользователя Polyspace. Инструкции по установке параметров для конкретной платформы см. в разделе Задание параметров анализа в полиспейсе.
- Цель и компилятор
Тип целевого процессора, поведение компилятора
- Макрос
Спецификации и определения препроцессора
- Параметры среды
Сценарий предварительной обработки, включить файлы
- Входы и упрямство
Определение диапазонов для глобальных переменных и функций
- Многозадачность
Возможности многозадачности, точки входа, критические разделы, эксклюзивные задачи
- Стандарты кодирования и метрики кода
Наборы правил кодирования MISRA, AUTOSAR, CERT и JSF, пользовательские правила кодирования, метрики кода
- Анализ поиска ошибок
Варианты анализа для поиска дефектов
- Главный генератор
Основная генерация; функции инициализации, шага и завершения; параметры и входные переменные
- Проверить поведение
Изменение поведения проверок во время выполнения по умолчанию
- Сообщение
Отчеты о дефектах, сводные отчеты, шаблоны отчетов
- Параметры запуска
Удаленный анализ, хранилище результатов
- Дополнительные настройки
Команды после анализа, сценарии, неофициальные параметры
- Только параметры командной строки
Только параметры командной строки, дополнительные параметры
