Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в коде Visual Studio

Можно проверять на различные типы дефектов и кодирующий нарушения правила при помощи Polyspace^® когда Вы Кодируете в Коде Visual Studio. См. Стандарты Кодирования и Дефекты. Анализ по умолчанию проверяет на подмножество дефектов. Смотрите Средства проверки Дефектов Polyspace Bug Finder, Enabled по умолчанию. Чтобы проверять на дефекты не по умолчанию и кодирующий нарушения правила, сконфигурируйте Polyspace как Вас Расширение кода в вашем IDE.

Чтобы сконфигурировать средства проверки, создайте файл средств проверки, и затем задайте файл средств проверки в дополнительных настройках. Для эквивалентных рабочих процессов в рабочем столе Polyspace и сервере, смотрите, Готовят Настройку Средств проверки к Анализу Polyspace Bug Finder.

Сконфигурируйте средства проверки в файле средств проверки

Сконфигурировать средства проверки, первые избранные средства проверки в файле средств проверки. Затем задайте файл средств проверки в панели Settings.

Шаг 1: выберите Checkers и Coding Rules

Чтобы включить дефекты не по умолчанию и кодирующие правила, вы можете:

Создайте или измените файл средств проверки.
Импортируйте выбор средств проверки из проекта рабочего стола Polyspace.

Создайте или Измените Файл Средств проверки. Создайте новый выбор или измените существующий выбор средств проверки и кодирующих правил в окне выбора Средства проверки. Сохраните новую настройку в допускающем повторное использование файле средств проверки. Чтобы использовать существующий файл средств проверки, не изменяя выбор средств проверки, задайте путь к нему в панели Settings. Смотрите Файл Средств проверки Шага 2:Specify в Дополнительных Настройках.

Чтобы открыть пользовательский интерфейс Checkers selection, в палитре команды, запускают Polyspace: Configure Checkers.
Чтобы создать новый выбор, в окне Checkers Selection, выбирают дефект и средства проверки правила кодирования, которые вы хотите активировать. Чтобы изменить существующий выбор, нажмите Browse, перейдите к существующему файлу средств проверки и затем измените выбор средств проверки.
Можно также активировать предопределенные категории дефектных средств проверки, такие как All, Default, High, Medium, Low и CWE. Смотрите Классификацию Дефектов Ударом. Точно так же можно активировать предопределенный набор кодирования правил, которые заданы их соответствующими стандартами.
- При выборе Guidelines> средства проверки Software Complexity, рассмотрите их пороги. Если пороги по умолчанию не приемлемы, задают подходящий порог в столбце Threshold. Смотрите Check guidelines (-guidelines).
- При выборе правил Custom рассмотрите Pattern и Convention для правил. Смотрите Check custom rules (-custom-rules).
Сохраните выбор как допускающий повторное использование XML-файл средств проверки путем нажатия на Save Changes. Можно позже снова использовать XML-файл средств проверки как вход в поле Checkers file. Нажмите Finish.

Импортируйте Настройку Средств проверки из настольного Проекта. Если у вас есть файл проекта рабочего стола Polyspace (*.psprj), можно импортировать настройку средств проверки из него. В терминале Visual Studio Кода, запуске:

#Linux command
polyspace-checkers-selection -checkers-selection-output-file PathToOutputFile.json \
-import-options-from-psprj PathToProject.psprj

#DOS command

polyspace-checkers-selection.exe -checkers-selection-output-file PathToOutputFile.json ^
-import-options-from-psprj PathToProject.psprj

где PathToProject.psprj полный путь к файлу проекта рабочего стола полипробела и PathToOutputFile.json полный путь к файлу JSON. JSON файл должен быть в перезаписываемой папке. Файл JSON содержит местоположение произведенного файла средств проверки в этом формате:

    {
        "checkers-activation-file": "GeneratedCheckersActivationFile",
        "analysis-options-file": "GeneratedAnalysisOptionFile"
    }

Файл средств проверки в GeneratedCheckersActivationFile содержит импортированные настройки средства проверки из файла проекта рабочего стола Polyspace.

Файл средств проверки шага 2:Specify в дополнительных настройках

После создания файла средств проверки задайте путь к нему в панели Settings:

На Боковой панели нажмите кнопку Extensions. Панель Extensions открывается, где ваши установленные расширения перечислены.
Найдите Polyspace, когда Вы Кодируете в панели Extensions. Кликните и выберите Extension Settings.
В панели Settings задайте путь к файлу средств проверки в поле Checkers File.

Измените поведение средств проверки

Чтобы изменить поведение по умолчанию средств проверки дефекта Bug Finder и кодирующих правил, используйте опции анализа. Для списка опций анализа, которые изменяют поведение средства проверки по умолчанию, смотрите, Изменяют Поведение По умолчанию Средств проверки Bug Finder.

Чтобы задать опции анализа в Polyspace как, Вы Кодируете:

Добавьте опции анализа в файле опций, заданном в поле Analysis options file. Файл опций является текстовым файлом с одной опцией анализа для каждой линии. Например, чтобы добавить опции анализа -code-behavior-specifications и Effective boolean types (-boolean-types), в файле опций добавьте эти линии:
```
-code-behavior-specifications file1
-boolean-types boolean1_t,boolean2_t
```
Если вы не имеете файла опции, создаете файл опции, который содержит необходимые опции. Задайте путь к новому файлу опций в поле Other Analysis Options. Смотрите Файлы Опций для Анализа Polyspace.

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