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 файл для результатов Bug Finder и .pscp файл для результатов Программы автоматического доказательства Кода). Результаты, по-видимому, от более раннего анализа Polyspace и содержат информацию об анализе, которая будет импортирована в более поздний файл результатов.

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

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

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

Смотрите также

Темы

Введенный в R2013b

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

Поддержка