-guidelines)Проверка на предмет нарушения Руководящих принципов
Этот параметр влияет только на поиск ошибок.
Укажите, проверять ли нарушения Руководящих принципов. Каждое значение параметра соответствует подмножеству рекомендаций для проверки.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics.
файл командной строки и параметров или файл параметров: использовать параметр -guidelines. См. раздел Сведения о командной строке.
Рекомендации - это настраиваемые шашки, которые проверяют на нарушение передовых практик кодирования. Этот параметр можно использовать для указания подмножества правил руководящих принципов, соответствующих вашим требованиям.
После анализа на панели Список результатов (Results List) отображается список нарушений. На панели «Источник» для каждого нарушения Polyspace ® назначает
символ ключевому слову или идентификатору, соответствующему нарушению.
all
Проверка на предмет нарушения всех правил Руководства.
См. раздел Рекомендации.
hisПроверка нарушений стандартов показателей сложности программного обеспечения, указанных в стандарте Hersteller Initiative Software (HIS). См. раздел Показатели сложности кода HIS.
Стандарт HIS рекомендует определенные пороговые значения для подмножества средств проверки сложности программного обеспечения. При использовании входных данных hisPolyspace активирует это подмножество средств проверки сложности программного обеспечения и использует их рекомендованный порог HIS. Polyspace вызывает нарушение, если показатель сложности программного обеспечения превышает рекомендованный порог HIS.
from-file
Укажите XML-файл, в котором настраивается настраиваемый выбор контрольных элементов руководящих принципов, имеющих определенные пороги. При выполнении анализа на рабочем столе Polyspace создайте или отредактируйте XML-файл, содержащий конфигурацию средства проверки, с помощью интерфейса пользователя рабочего стола. При выполнении анализа на сервере Polyspace Server отредактируйте существующий файл выбора средства проверки. При выполнении анализа в Polyspace в качестве кода создайте или отредактируйте XML-файл, содержащий конфигурацию средства проверки, с помощью пользовательского интерфейса выбора средств проверки.
При использовании значения from-file, используйте опцию Set checkers by file (-checkers-selection-file) для указания XML-файла выбора средства проверки.
При использовании файла опций можно активировать шашки рекомендаций и указать файл выбора шашек для изменения их пороговых значений. Например, в файле опций введите:
-guidelines from-file -checkers-selection-file selection_xml
Можно также указать файл активации checkers с помощью команды -checkers-activation-file(Сервер поиска ошибок Polyspace). Нет необходимости указывать конкретные опции для дефектов и стандартов кодирования. Например, в командной строке или в файле параметров введите:
-checkers-activation-file activation_xml
activation_xml файл активации шашек, созданный с помощью пользовательского интерфейса выбора шашек. Указание опции -guidelines не требуется, если в файле активированы средства проверки Guidelines activation_xml.
Параметр:
-guidelines |
Значение:
all | his | from-file |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |