Exponenta Banner
exponenta event banner

Установить шашки по файлу (-checkers-selection-file)

Определение пользовательского набора проверок стандартов кодирования для анализа

Описание

Укажите полный путь к XML-файлу конфигурации, в котором определяются пользовательские варианты выбора средств проверки стандартов кодирования. В одном и том же XML-файле можно указать пользовательский выбор шашек для каждого из этих стандартов кодирования:

  • MISRA C ®: 2004

  • MISRA C:2012

  • MISRA ® C++

  • JSF AV C++

  • AUTOSAR C++ 14 (только для поиска ошибок)

  • CERT ® C (только для поиска ошибок)

  • CERT C++ (только для поиска ошибок)

  • ISO ®/IEC TS 17961 (только для поиска ошибок)

  • Рекомендации Polyspace ® (только для поиска ошибок)

Можно также определить пользовательские правила для сопоставления идентификаторов в коде с заданными текстовыми шаблонами.

Задать опцию

Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics.

файл командной строки и параметров: Использовать параметр -checkers-selection-file. См. раздел Сведения о командной строке.

Если этот параметр включен, установите выбранные стандарты кодирования в from-file для использования указанного файла конфигурации.

Зачем использовать этот параметр

Эта опция используется для определения выбора стандартных чекеров кодирования, специфичных для организации. Конфигурация различных стандартов кодирования консолидируется в одном XML-файле, который можно повторно использовать в проектах для применения общих стандартов кодирования.

Настройки

На

Polyspace проверяет код на соответствие выбору стандартных шашек кодирования или пользовательских правил, определенных в указанном файле конфигурации.

Чтобы создать файл конфигурации с помощью рабочего стола Polyspace, в разделе Конфигурация (Configuration) выберите Стандарты кодирования и метрики кода (Coding Standards & Code Metrics). Чтобы открыть интерфейс выбора Checkers, щелкните папку () на правой панели. Выберите стандарты кодирования, которые требуется настроить, в левой области, а затем выберите правила, которые необходимо активировать, в правой области.

Чтобы создать файл конфигурации с помощью подключаемых модулей Polyspace As you Code IDE, обратитесь к документации конкретного подключаемого модуля.

Для использования или обновления существующего файла введите полный путь к файлу в поле Выбрать файл (Select file) диалогового окна Выбор чекеров (Checkers selection). Либо щелкните Обзор (Browse) в окне Выбор результатов (Findings selection) и перейдите к существующему файлу.

Выкл. (по умолчанию)

Polyspace не проверяет код по выбору стандартных шашек кодирования или пользовательских правил, определенных в указанном файле конфигурации.

Совет

  • Для настольных продуктов Polyspace укажите стандартную конфигурацию кодирования в интерфейсе пользователя Polyspace. При сохранении конфигурации создается XML-файл для использования в текущем и других проектах.

  • Для продуктов Polyspace Server необходимо создать стандартный код XML. В зависимости от стандарта, который требуется включить, создайте записываемую копию одного из файлов в polyspaceserverroot\help\toolbox\polyspace_bug_finder_server\examples\coding_standards_XML. Отключите правила, используя записи в XML-файле (все правила из стандарта включены в шаблоне). Здесь, polyspaceserverroot является корневой папкой установки для продуктов Polyspace Server, например, C:\Program Files\Polyspace Server\R2019a.

    Например, чтобы отключить MISRA C:2012 правило 8.1, в файле misra_c_2012_rules.xml, используйте следующую запись:

    <standard name="MISRA C:2012">
  ...
  <section name="8 Declarations and definitions">
      ...
      <check id="8.1" state="off">
      </check>
      ...
  </section>
  ...
</standard>

    Полный список идентификаторов правил и имен разделов см. в следующих разделах:

    Примечание

    Формат XML файла конфигурации средства проверки может измениться в будущих версиях.

Информация командной строки

Параметр: -checkers-selection-file
Значение: Полный путь к XML-файлу конфигурации
По умолчанию: Откл.
Пример (поиск ошибок): polyspace-bug-finder -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file
Пример (проверка кода): polyspace-code-prover -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file
Пример (сервер поиска ошибок): polyspace-bug-finder-server -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file
Пример (сервер проверки кода): polyspace-code-prover-server -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file

См. также

Темы

Документация по программе проверки кода Polyspace

Поддержка