Exponenta Banner
exponenta event banner

polyspace_report

Сгенерируйте отчеты от результатов анализа Polyspace

свернуть все на странице

Синтаксис

polyspace_report('-template', template, '-results-dir', resultsFolder, options)
polyspace_report('-generate-results-list-file', '-results-dir', resultsFolder, options)
polyspace_report('-generate-variable-access-file', '-results-dir', resultsFolder, options)

Описание

пример

polyspace_report('-template', template, '-results-dir', resultsFolder, options) генерирует отчет с помощью предопределенного шаблона, заданного template. По умолчанию отчет называют в честь файла результатов в папке resultsFolder и сохраненный в Polyspace-Doc подпапка. Можно изменить поведение по умолчанию с помощью дополнительных опций.

polyspace_report('-generate-results-list-file', '-results-dir', resultsFolder, options) экспортирует список результатов Polyspace® в текстовый файл с разделителями табуляции.

polyspace_report('-generate-variable-access-file', '-results-dir', resultsFolder, options) экспортирует список глобальных переменных в текстовый файл с разделителями табуляции.

Примечание

Примеры

свернуть все

Сгенерируйте отчет PDF от демонстрационных результатов Polyspace Code Prover™.

template = fullfile(polyspaceroot,'toolbox','polyspace','psrptgen','templates',...
    'Developer.rpt');
resPath = fullfile(polyspaceroot,'polyspace','examples','cxx','Code_Prover_Example',...
    'Module_1','CP_Result');
polyspace_report('-template', template, '-results-dir', resPath, '-format', 'PDF');

Входные параметры

свернуть все

Путь, чтобы сообщить о файле шаблона в виде вектора символов. Чтобы сгенерировать несколько отчетов, задайте список, разделенный запятыми путей к шаблону отчета в векторе символов (не помещайте пробел после запятых). Шаблоны доступны в polyspaceroot\toolbox\polyspace\psrptgen\templates\ как .rpt файлы. Здесь, polyspaceroot папка установки Polyspace. Для получения дополнительной информации о доступных шаблонах смотрите Bug Finder and Code Prover report (-report-template).

Пример: fullfile(polyspaceroot,'toolbox','polyspace','psrptgen','templates', 'Developer.rpt');

Папка, содержащая результаты анализа в виде вектора символов. Папка должна содержать .psbf файл, содержащий Polyspace Bug Finder™, заканчивается или .pscp файл, содержащий результаты Polyspace Code Prover.

Чтобы сгенерировать отчеты для нескольких исследований, задайте список, разделенный запятыми путей к папкам (не помещайте пробел после запятых).

Пример: 'C:\Polyspace_Workspace\My_project\Module_1\results'

Опции, чтобы управлять генерацией отчета, например, выходным форматом и вывести имя.

Задайте каждую опцию как вектор символов, сопровождаемый значением опции как отдельный вектор символов. Например, можно задать формат PDF при помощи синтаксиса polyspace_report(..., '-format','PDF').

ОпцияЗначениеОписание
'-format''PDF', 'HTML' или 'WORD'

Формат файла отчета, что вы генерируете. По умолчанию команда генерирует документ Word.

Чтобы сгенерировать отчеты в нескольких форматах, задайте список, разделенный запятыми форматов. (Не помещайте пробел после запятых). Например, polyspace_report(..., '-format', 'PDF,HTML').

Эта опция не совместима с -generate-variable-access-file и -generate-results-list-file.

'-set-language-english' 

Сгенерируйте отчет на английском языке. Используйте эту опцию, если ваш параметр отображения установлен в другой язык.

'-output-name'

Сообщите об имени, например, PolyspaceReport.

Имя сгенерированного отчета или имени папки, если вы генерируете несколько отчетов.

Полный путь к отчету создается путем добавления имени к текущей рабочей папке. Чтобы сохранить отчеты относительно различного пути, задайте полный путь как значение для этой опции.

Введенный в R2013b

Документация Polyspace Code Prover Server

Поддержка