Polyspace® анализ генерирует файлы, которые содержат информацию об опциях строения и результатах анализа.
При запуске анализа из пользовательского интерфейса Polyspace можно сгруппировать результаты в модули в одном проекте. Проект, модуль и результаты могут соответствовать расположениям физических папок. Если вы запускаете анализ из командной строки, можно задать только путь к папке результатов (используя опцию -results-dir). Необходимо сгруппировать связанные результаты с помощью соответствующих соглашений для создания папок.
Организация файлов Polyspace в расположении физической папки выполняется в соответствии с иерархией, отображаемой в пользовательском интерфейсе Polyspace: проект > модуль > результаты. Папка проекта содержит подпапку для каждого модуля. В каждой папке модуля имеется одна или несколько подпапок результатов с именем Result_<reservedrangesplaceholder0 >
Количество папок результатов зависит от того, перезаписываете ли вы или сохраняете предыдущие результаты для каждого нового запуска. Чтобы использовать другое соглашение об именовании папок или другое место хранения для результатов, выберите Tools > Preferences и используйте опции на вкладке Project and Results Folder.
Папка проекта имеет файл проекта с расширением .psprj. Если вы открываете проект из предыдущего релиза в пользовательском интерфейсе, проект обновляется для нового релиза. Резервная копия старого файла проекта сохраняется с расширением .bak.psprj.
Некоторые файлы и папки в папке результатов описаны ниже. Содержимое папки результатов совпадает независимо от того, запускаете ли вы анализ из интерфейса пользователя или командной строки.
Polyspace_<reservedrangesplaceholder0 >_ 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.
