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) экспортирует список глобальных переменных в текстовый файл с разделителями табуляции.

Примечание

  • Прежде чем запускать Polyspace из MATLAB®необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».

  • Для использования этой функции вам нужен MATLAB Report Generator™.

Примеры

свернуть все

Сгенерируйте отчет 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

Поддержка