Когда вы запускаете анализ в пользовательском интерфейсе Polyspace®, Polyspace генерирует файлы, которые содержат информацию о параметрах конфигурации и результатах анализа.
Организация файлов Polyspace в физическом месте папки следует за иерархией, отображенной в пользовательском интерфейсе Polyspace. Папка проекта содержит подпапку для каждого модуля. В каждой папке модуля, существует, один или несколько заканчивается подпапка, названная Result_. Количество папок результата зависит от того, перезаписываете ли вы или сохраняете предыдущие результаты для каждого нового запуска. Чтобы использовать различное соглашение о присвоении имен папки или различное место хранения для результатов, выберите Tools> Preferences и используйте опции на вкладке Project and Results Folder.#
Папка проекта имеет файл проекта с дополнительным .psprj. Если вы открываете проект от предыдущего релиза в пользовательском интерфейсе, проект обновляется для нового релиза. Резервное копирование старого файла проекта сохранено с дополнительным .bak.psprj.
Некоторые файлы и папки в папке результатов описаны ниже:
Polyspace_ — Файл журнала сопоставлен с каждым анализом.release_project_nameдатаВремяжурнал
ps_results.psbf — Зашифрованный файл, содержащий ваши результаты Polyspace. Откройте этот файл в среде Polyspace, чтобы просмотреть ваши результаты.
ps_sources.db — Незашифрованный список файлов базы данных исходные файлы и макросы.
drs-template.xml — Шаблон сгенерировал, когда вы используете ограничительную спецификацию.
ps_comments.db — Зашифрованный файл базы данных, содержащий ваши комментарии и выравнивания.
comments_bak — Подпапка раньше импортировала комментарии между результатами.
.status и .settings — Две папки, которые хранят файлы, требуемые повторно запустить анализ.
Polyspace-Doc — Когда вы генерируете отчет, по умолчанию, ваш отчет сохранен в этой папке с именем ProjectName_ReportTypemyProject_Developer.pdf.
