Exponenta Banner

polyspace-comments-import

(DOS/UNIX) Импорт рецензируемой информации из предыдущего анализа Polyspace

Свернуть все на странице

Синтаксис

polyspace-comments-import -diff-rte prevResultsFolder currentResultsFolder [-print-new-results] [-overwrite-destination-comments]

Описание

пример

polyspace-comments-import -diff-rte prevResultsFolder currentResultsFolder [-print-new-results] [-overwrite-destination-comments] импортирует рецензируемую информацию из файла результатов в prevResultsFolder на currentResultsFolder. Информация проверки включает серьезность, статус и дополнительные примечания, которые вы присваиваете результату.

Помимо импорта информации о проверке, команда также показывает количество результатов, в которых информация о проверке не может быть импортирована либо из-за изменения результата, либо из-за того, что результат уже имел новую информацию о проверке. Если вы используете опцию -print-new-results, вы видите эту информацию:

  • Количество новых результатов в текущей папке результатов, то есть результатов, отсутствующих в предыдущей папке результатов

  • Количество результатов, удаленных из предыдущей папки результатов, то есть результаты больше не присутствуют в текущей папке результатов

  • Количество результатов в текущей папке результатов, не имеющих связанных сведений о проверке

Можно также использовать эту команду для создания опорной структуры для результатов анализа. В Polyspace® пользовательский интерфейс, если вы нажимаете кнопку New, в списке результатов остаются только новые по сравнению с базовым уровнем результаты анализа.

Если вы используете опцию -overwrite-destination-commentsболее новая информация о рассмотрении ранее существующих результатов перезаписывается информацией о предыдущем рассмотрении. Например, если тот же результат имеет другой статус в текущей и предыдущей папке результатов, после использования polyspace-comments-import команда:

  • Без опции результат в текущей папке результатов сохраняет свой статус.

  • При помощи опции статус результата в текущей папке результатов перезаписывается статусом из предыдущей папки результатов.

Примеры

свернуть все

Запустите Bug Finder на примере файла и добавьте некоторые сведения о проверке. Затем запустите Bug Finder второй раз и импортируйте информацию из предыдущего запуска.

Скопируйте файл numerical.c от polyspaceroot\ polyspace\examples\cxx\Bug _ Finder _ Example\sources в папку с возможностью записи. Откройте командное окно и перейдите в папку (используя cd). Запустите Bug Finder для файла и сохраните результаты в подпапке Run_1:

polyspace-bug-finder -sources numerical.c -results-dir Run_1/

В зависимости от установленного продукта можно также запустить polyspace-code-prover, polyspace-bug-finder-server или polyspace-code-prover-server.

Откройте файл результатов в Run_1 подпапка:

polyspace Run_1/ps_results.psbf

Выберите результат. В Result Details окне выберите Severity и Status и добавьте некоторые заметки. Данные проверки будут импортированы в результаты последующего анализа.

Еще раз запустите Bug Finder, но сохраните результаты в другой подпапке Run_2:

polyspace-bug-finder -sources numerical.c -results-dir Run_2/

Файл результатов можно открыть в Run_2 и увидеть, что нет никакой рецензирующей информации.

Импортируйте информацию о проверке из файла результатов в Run_1 подпапка в Run_2 подпапка. Добавьте опцию -print-new-results для просмотра количества новых, удаленных и не просматриваемых результатов.

polyspace-comments-import -diff-rte Run_1/ Run_2/ -print-new-results

Откройте файл результатов в Run_2 подпапка:

polyspace Run_2/ps_results.psbf

Информация о проверке, импортированная из файла результатов, отображается в Run_1 подпапка.

Входные параметры

свернуть все

Путь к папке, содержащей файл результатов Polyspace (.psbf файл для результатов и .pscp Bug Finder файл для результатов Code Prover). Результаты, предположительно, получены из предыдущего анализа Polyspace и содержат рецензируемую информацию, которая будет импортирована в более поздний файл результатов.

Пример: "C:\Polyspace\Project_1_Run_25"

Путь к папке, содержащей результаты Polyspace (.psbf файл для результатов и .pscp Bug Finder файл для результатов Code Prover). Результаты, предположительно, получены из более позднего анализа Polyspace и не имеют информации о рассмотрении или рассмотрении только новых результатов. Необходимо импортировать данные проверки из предыдущего анализа Polyspace в эти результаты.

Пример: "C:\Polyspace\Project_1_Run_26"

См. также

Темы

Введенный в R2013b

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

Поддержка