Check guidelines (-guidelines)

Проверяйте на нарушения Инструкций

Описание

Эта опция влияет на Bug Finder только.

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

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

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

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

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

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

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

Настройки

all

Проверяйте на нарушения всех правил Инструкций.

См. инструкции.

his

Проверяйте на нарушения метрических стандартов сложности программного обеспечения, заданных в стандарте Hersteller Initiative Software (HIS). Смотрите Метрики сложности кода HIS.

Стандарт HIS рекомендует определенные пороги для подмножества средств проверки сложности программного обеспечения. Когда вы используете вход his, Polyspace активирует это подмножество средств проверки сложности программного обеспечения и использует их HIS, рекомендуемый порог. Polyspace повышает нарушение, если метрика сложности программного обеспечения превышает HIS, рекомендуемый порог.

from-file

Задайте XML-файл, где вы конфигурируете пользовательский выбор средств проверки Инструкций, которые имеют определенные пороги. При выполнении анализа Рабочего стола Polyspace создайте или отредактируйте XML-файл, который содержит настройку средства проверки при помощи Настольного Пользовательского интерфейса. При выполнении анализа Сервера Polyspace отредактируйте существующий файл выбора средства проверки. При выполнении анализа Polyspace, когда Вы Кодируете, создаете или редактируете XML-файл, который содержит вашу настройку средства проверки при помощи Пользовательского интерфейса Выбора Средств проверки.

При использовании значения from-file, используйте опцию Set checkers by file (-checkers-selection-file) задавать XML-файл выбора средства проверки.

Советы

  • При использовании файла опций можно активировать средства проверки инструкции и задать файл выбора средств проверки, чтобы изменить их пороги. Например, в файле опций, входе:

    -guidelines from-file
    -checkers-selection-file selection_xml
    Можно также использовать предыдущие опции вместе в командной строке.

  • В качестве альтернативы можно задать файл активации средств проверки при помощи команды -checkers-activation-file (Polyspace Bug Finder Server). Вы не должны задавать определенные опции для стандарты кодирования и дефектов. Например, в командной строке или в файле опций, входе:

    -checkers-activation-file activation_xml 
    где файл activation_xml файл активации средств проверки, который создается при помощи Пользовательского интерфейса Checkers Selection. Определение опции -guidelines не нужно, если средства проверки Инструкций активируются в файле activation_xml.

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

Параметр: -guidelines
Значение: all | his | from-file
Пример (Bug Finder): Polyspace Bug Finder - источники file_name - инструкции его
Пример (Сервер Bug Finder): сервер средства поиска ошибки полипробела - источники file_name - инструкции от файла - файл выбора средств проверки path_to_xml
Введенный в R2021a