Базовый Polyspace, когда вы кодируете результаты на командной строке

Для более эффективного устранения ошибки вы можете базовая линия результаты Polyspace как Вы Анализ кода предыдущими результатами. Когда вы базовая линия результаты, вы сравниваете их с результатами предыдущего запуска и фокусируетесь на новых результатах только или на нерассмотренных результатах только. Вы базовый Polyspace, когда Вы Кодируете результаты с помощью предыдущих результатов Polyspace Bug Finder Server, что вы загружаете с Polyspace доступ.

Примечание

Чтобы продолжить использовать самую актуальную базовую информацию, убедитесь, что вы периодически запускаете команду, чтобы загрузить результаты Polyspace^® Доступ. Смотрите шаг 2: загрузите базовую линию.

Results that appear in Polyspace Access act as baseline for a Polyspace as You Code analysis.

На что похожи результаты Baselined

Эффект определения исходного состояния зависит от того, экспортируете ли вы результаты в консоль или формат JSON (SARIF). Для получения дополнительной информации о форматах смотрите polyspace-results-export.

Консоль Выход

Результаты, которые имеют выровненный по ширине Status на Polyspace доступ (No Action Planned, Justified или Not a Defect) больше не показывают в консоли выход.

JSON Выход

В следующих операторах, obj представляет объект JSON, который экспортируется от результатов Polyspace.

Если результат является новым и не уже существует в Polyspace доступ, соответствующее свойство obj.runs [0] .results [n]. baselineState установлен в "new":
```
"baselineState" : "new"
```
В противном случае свойство установлено в "unchanged".
Результаты переносят свою информацию об анализе (Status, Severity и дополнительные примечания) от Polyspace доступ к соответствующим свойствам в obj.runs [0] .results [nсвойства.
Например, без базовой линии, эти свойства:
```
"severity" : "Unset",
"status" : "Unreviewed",
"comment" : ""
```
С базовой линией, severity может отличаться от "Unset", status отличающийся от "Unreviewed", и так далее.
Результаты, которые имеют выровненный по ширине Status на Polyspace доступ (No Action Planned, Justified или Not a Defect) появляются со свойством obj.runs [0] .results [n].properties.justified установите на true:
```
"justified" : true
```

Шаги определения исходного состояния

Чтобы использовать результаты Polyspace Bug Finder Server в качестве базовой линии для Polyspace как Вы Анализ кода, выполните шаги ниже.

Шаг 1: идентифицируйте проект использовать в качестве базовой линии

Во-первых, идентифицируйте проект в Polyspace доступ к этому, вы хотите использовать в качестве базовой линии. Проект должен содержать результаты анализа Polyspace Bug Finder Server файлов, которые вы будете анализировать в Polyspace, когда Вы Кодируете.

Скопируйте путь к проекту, который вы хотите использовать в качестве базовой линии. Скопировать этот путь:

Откройте Polyspace доступ к веб-интерфейсу в веб-браузере.
На панели Project Explorer щелкните правой кнопкой по проекту и выберите Copy Project Path to Clipboard.

Right-click option to copy project path

Шаг 2: загрузите базовую линию

Затем загрузите базовую информацию с проекта Access Polyspace. Например, в терминале, введите следующее:

polyspace-access -host hostname -download projectPath -output-folder-path downloadFolder

Здесь:

hostname имя Polyspace доступ к серверу.
projectPath путь к проекту на Polyspace доступ, который используется в качестве базовой линии. Вы скопировали это имя с Polyspace доступ к веб-интерфейсу.
downloadFolder папка, на которую вы загружаете базовую информацию.

После загрузки папка содержит три базы данных: результаты (ps_results.psbf), исходные файлы (ps_sources.db), и информация об анализе (ps_comments.db). Вы не можете открыть эти результаты в пользовательском интерфейсе Polyspace или использовать их любым другим способом кроме как базовая линия для Polyspace, когда Вы Кодируете запуски.

Папка также содержит файл ps_access_info.json это содержит информацию о проекте Access и ID запуска, который использовался в качестве базовой линии. При необходимости можно записать скрипт, чтобы сравнить этот ID запуска с последним ID запуска проекта на Polyspace доступ и запустить этот скрипт в определенные моменты в рабочем процессе, чтобы убедиться, что вы всегда используете последний запуск проекта как базовая линия.

Шаг 3: используйте базовую линию

Если базовая информация загружается, обратитесь к загруженной базовой информации в запусках командной строки с помощью опции -baseline-folder. В терминале введите следующее:

#Linux command
polyspace-bug-finder-access -sources filename -baseline-folder downloadFolder \
-results-dir resultsFolder

#DOS command

polyspace-bug-finder-access.exe -sources filename -baseline-folder downloadFolder ^
-results-dir resultsFolder

Здесь:

filename текущий анализируемый файл.
downloadFolder папка, на которую вы ранее загрузили базовую информацию.
resultsFolder папка для хранения результатов анализа.

Когда вы экспортируете результаты анализа с помощью polyspace-results-export команда, например:

polyspace-results-export -format console -results-dir resultsFolder

Вы видите эффекты использования базовой линии. Смотрите то, На что Похожи Результаты Baselined.

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