Exponenta Banner
exponenta event banner

polyspace_report

Создание отчетов на основе результатов анализа Polyspace

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

Синтаксис

polyspace_report («-template», шаблон, «-results-dir», resultsFolder, параметры)
polyspace_report («-genare-results-list-file», «-results-dir», resultsFolder, параметры)
polyspace_report («-generate-variable-access-file», «-results-dir», resultsFolder, параметры)

Описание

пример

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. См. раздел Интеграция полиспейса с MATLAB и Simulink.

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

Примеры

свернуть все

Создание отчета PDF на основе примеров результатов Prover™ кода Polyspace.

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 файл, содержащий результаты Finder™ ошибки Polyspace или .pscp файл, содержащий результаты проверки кода Polyspace.

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

Пример: '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

Поддержка