Когда вы запускаете анализ в пользовательском интерфейсе Polyspace®, Polyspace генерирует файлы, которые содержат информацию о параметрах конфигурации и результатах анализа.
Организация файлов Polyspace в физическом месте папки следует за иерархией, отображенной в пользовательском интерфейсе Polyspace. Папка проекта содержит подпапку для каждого модуля. В каждой папке модуля, существует, один или несколько заканчивается подпапка, названная 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 — Two, которые хранят файлы, требуемые повторно запустить анализ.
Polyspace-Doc — Когда вы генерируете отчет, по умолчанию, ваш отчет сохранен в этой папке с именем ProjectName_ReportTypemyProject_Developer.pdf.
