Exponenta Banner

Set checkers by file (-checkers-selection-file)

Задайте пользовательский набор кодирования проверок стандартов на ваш анализ

Описание

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

  • MISRA C®: 2004

  • MISRA C: 2012

  • MISRA® C ++

  • JSF AV C++

  • AUTOSAR C++ 14 (Только Средство поиска ошибки)

  • CERT® C (Только Средство поиска ошибки)

  • CERT C++ (Только Средство поиска ошибки)

  • ISO®/IEC TS 17961 (Только Средство поиска ошибки)

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

Установите опцию

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

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

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

Почему использование эта опция

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

Настройки

На

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

Чтобы создать конфигурационный файл, откройте окно Findings selection путем нажатия. На левой панели выберите стандарт кодирования, который вы хотите сконфигурировать, затем выбрать правила, которые вы хотите проверять на этот стандарт кодирования на правой панели.

Чтобы использовать или обновить существующий файл, введите полный путь в файл в обеспеченном поле или нажмите Browse в окне Findings selection.

От (значения по умолчанию)

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

Советы

  • С десктопными решениями Polyspace задайте кодирующую стандартную настройку в пользовательском интерфейсе десктопных решений. Когда вы сохраняете настройку, XML-файл автоматически создается для использования в текущих и других проектах.

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

    Например, чтобы выключить MISRA C: 2 012 правил 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-файла
Значение по умолчанию: 'off'
Пример (Средство поиска Ошибки): Polyspace Bug Finder - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла
Пример (Сервер Программы автоматического доказательства Кода): сервер программы автоматического доказательства полипробела кода - источники file_name - файл выбора средств проверки "C:\Standards\custom_config.xml"-misra3 от файла

Смотрите также

Темы

Документация Polyspace Code Prover Server
Поддержка