Exponenta Banner
exponenta event 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 ® при нажатии кнопки «Создать» в списке результатов остаются только новые результаты анализа по сравнению с базовой линией.

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

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

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

Примеры

свернуть все

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

Копировать файл numerical.c от polyspaceroot\polyspace\examples\cxx\Bug_Finder_Example\sources в доступную для записи папку. Откройте командное окно и перейдите к папке (с помощью cd). Запустите функцию поиска ошибок в файле и сохраните результаты в подпапке 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) выберите степень серьезности и состояние и добавьте некоторые примечания. Эта информация о проверке будет импортирована в результаты последующего анализа.

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

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

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

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

См. также

Темы

Представлен в R2013b

Документация по программе проверки кода Polyspace

Поддержка