Анализ Polyspace® генерирует файлы, которые содержат информацию о параметрах конфигурации и результатах анализа.
Если при запуске анализ от пользовательского интерфейса Polyspace, можно сгруппировать результаты в модули в одном проекте. Проект, модуль и результаты могут соответствовать физическим местоположениям папки. Если при запуске анализ из командной строки, можно только задать путь к папке результатов (использующий опцию -results-dir). Вы имеете к связанным с группой результатам с помощью соответствующих соглашений для создания папок.
Организация файлов 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.
Обратите внимание на то, что по умолчанию папка результатов очищена и повторно заполнена при каждом запуске. Чтобы избежать случайного удаления файлов во время очистки, вместо того, чтобы использовать существующую папку, которая содержит другие файлы, задают специализированную папку для результатов Polyspace.