Exponenta Banner

импорт комментариев полипробела

(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 Bug Finder
Поддержка