Анализ Polyspace ® создает файлы, содержащие информацию о параметрах конфигурации и результатах анализа.
При выполнении анализа из интерфейса пользователя Polyspace результаты можно сгруппировать в модули в одном проекте. Проект, модуль и результаты могут соответствовать расположению физических папок. При выполнении анализа из командной строки можно указать только путь к папке результатов (с помощью опции -results-dir). Необходимо сгруппировать связанные результаты, используя соответствующие соглашения для создания папок.
Организация файлов Polyspace в расположении физической папки соответствует иерархии, отображаемой в интерфейсе пользователя Polyspace: project > module > results. Папка проекта содержит подпапку для каждого модуля. В каждой папке модуля имеется одна или несколько подпапок результатов с именем Result_.#
Количество папок результатов зависит от того, будут ли перезаписаны или сохранены предыдущие результаты для каждого нового прогона. Чтобы использовать другое соглашение об именовании папок или другое расположение хранилища для результатов, выберите «Сервис» > «Установки» и используйте параметры на вкладке «Папка проекта и результатов».
Папка проекта имеет файл проекта с расширением .psprj. При открытии проекта из предыдущей версии в интерфейсе пользователя проект обновляется для новой версии. Резервная копия старого файла проекта сохраняется с расширением .bak.psprj.
Некоторые файлы и папки в папке результатов описаны ниже. Содержимое папки результатов одинаково независимо от того, выполняется ли анализ из интерфейса пользователя или командной строки.
Polyspace_ - файл журнала, связанный с каждым анализом.release_project_name_date-time.log
ps_results.psbf - зашифрованный файл, содержащий результаты Polyspace. Откройте этот файл в среде Polyspace для просмотра результатов.
ps_sources.db - незашифрованный файл базы данных, содержащий исходные файлы и макросы.
drs-template.xml - шаблон, созданный при использовании спецификации ограничения.
ps_comments.db - зашифрованный файл базы данных, содержащий ваши комментарии и обоснования.
comments_bak - подпапка, используемая для импорта комментариев между результатами.
.status и .settings - Две папки, в которых хранятся файлы, необходимые для перезапуска анализа.
Polyspace-Doc - При создании отчета по умолчанию отчет сохраняется в этой папке с именем ProjectName_ReportTypemyProject_Developer.pdf.
Обратите внимание, что по умолчанию папка результатов очищается и повторно заполняется на каждом прогоне. Чтобы избежать случайного удаления файлов во время очистки, вместо использования существующей папки, содержащей другие файлы, укажите специальную папку для результатов Polyspace.