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