Check AUTOSAR C++ 14 (-autosar-cpp14)

Проверяйте на нарушения C++ AUTOSAR 14 правил

Описание

Эта опция влияет на Средство поиска Ошибки только.

Задайте, проверять ли на нарушения C++ AUTOSAR 14. Каждое значение опции соответствует подмножеству инструкций, чтобы проверять.

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

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые необходимо также включить.

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

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

Используйте эту опцию, чтобы задать подмножество C++ AUTOSAR 14 правил проверять на [1].

После анализа панель Results List перечисляет кодирующие стандартные нарушения. На панели Source, для каждого кодирующего стандартного нарушения, Polyspace® присваивает символ ключевому слову или идентификатору, относящемуся к нарушению.

Настройки

Значение по умолчанию: all

all

Проверяйте на нарушения всего C++ AUTOSAR 14 правил, поддержанных Polyspace.

См. C++ AUTOSAR 14 правил (Polyspace Bug Finder Access).

required

Проверяйте на нарушения необходимых правил.

Эти правила являются обязательными требованиями, помещенными в ваш код. Эта классификация правил прибывает из C++ AUTOSAR 14 инструкций.

automated

Проверяйте на нарушения автоматизированных правил.

Можно автоматически осуществить эти правила посредством статического анализа. Эта классификация правил прибывает из C++ AUTOSAR 14 инструкций.

Обратите внимание на то, что все правила в required категория не может присутствовать в automated категория. Для правил, что C++ AUTOSAR 14 рассматривает, как не автоматизировано, Средство поиска Ошибки показывает только подмножество фактических нарушений правила.

from-file

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

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

Если вы устанавливаете опцию на from-file, включите Set checkers by file (-checkers-selection-file).

Зависимости

  • Эта опция доступна, только если вы устанавливаете Source code language (-lang) к CPP или C-CPP.

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

Параметр: -autosar-cpp14
Значение: all | required | automated | from-file
Пример (Средство поиска Ошибки): Polyspace Bug Finder - Ленг cpp - источники file_name - autosar-cpp14 требуется
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - Ленг cpp - источники file_name - autosar-cpp14 требуется

[1]  Средства проверки Polyspace для C++ AUTOSAR 14 правил поддерживают C++ AUTOSAR 14 релизов 18-10 (октябрь 2018). Из 397 правил из стандарта поддерживаются 308 правил.