Exponenta Banner

Check guidelines (-guidelines)

Проверка на нарушения Правил

Описание

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

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

Задать опцию

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

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

Зачем использовать эту опцию

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

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

Настройки

all

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

См. Руководство.

his

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

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

from-file

Укажите XML- файл, в котором вы конфигурируете пользовательский выбор шашек Guidelines, имеющих определенные пороги. При выполнении анализа на Рабочий стол Polyspace создайте или отредактируйте XML- файл, который содержит ваши строения проверки, с помощью интерфейса пользователя рабочего стола. При выполнении анализа на сервере Polyspace Server отредактируйте существующий файл выбора проверки. При выполнении анализа в Polyspace, как вы Кодами, создайте или отредактируйте XML- файл, который содержит ваши строения шашки с помощью пользовательского интерфейса Checkers Selection.

При использовании 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 не требуется, если в файле активированы шашки Guidelines activation_xml.

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

Параметр: -guidelines
Значение: all | his | from-file
Пример (Bug Finder): Polyspace Bug Finder -sources file_name -ориентирует свои
Пример (Bug Finder Server): polyspace-bug-finder-server -sources file_name -guidlines from-file -checkers-selection-file path_to_xml

См. также

Темы

Введенный в R2021a

Документация Polyspace Bug Finder

Поддержка