Exponenta Banner

polyspace-comments-import

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

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

Синтаксис

polyspace-comments-import -diff-rte prevResultsFolder currentResultsFolder

Описание

пример

polyspace-comments-import -diff-rte prevResultsFolder currentResultsFolder импорт рассматривает информацию из файла результатов в prevResultsFolder к currentResultsFolder. Информация об анализе включает серьезность, состояние и дополнительные примечания, которые вы присваиваете результату. Помимо импорта комментариев, команда также показывает количество результатов, куда информация об анализе не могла быть импортирована или потому что измененный результат или результат уже имели новую информацию об анализе.

Примеры

свернуть все

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

Скопируйте файл 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 выберите Severity и Status и добавьте некоторые примечания. Вы импортируете эту информацию об анализе к результатам более позднего анализа.

Запустите Средство поиска Ошибки снова, но сохраните результаты в различной подпапке Run_2:

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

Можно открыть файл результатов в Run_2 и смотрите, что нет никакой информации об анализе.

Импортируйте информацию об анализе из файла результатов в Run_1 подпапка к Run_2 подпапка:

polyspace-comments-import -diff-rte Run_1/ Run_2/

Откройте файл результатов в 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 Code Prover
Поддержка