Output format (-report-output-format)

Задайте выход сгенерированного отчета

Описание

Укажите выход отчета по анализу.

Задать опцию

Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Reporting. Смотрите Зависимости для других опций, которые вы также должны включить.

Командная строка и файл опций: Используйте опцию -report-output-format. См. «Информация о командной строке».

Зачем использовать эту опцию

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

Настройки

По умолчанию: Word

HTML

Сгенерируйте отчет в .html формат

PDF

Сгенерируйте отчет в .pdf формат

Word

Сгенерируйте отчет в .docx формат.

Совет

  • Эта опция позволяет вам задать генерацию отчетов перед началом анализа.

    Чтобы сгенерировать отчет после завершения анализа, в пользовательском интерфейсе Polyspace®выберите продукты рабочего стола Reporting > Run Report. Кроме того, в командной строке используйте polyspace-report-generator команда.

    После анализа можно также экспортировать результат как текстовый файл для дальнейшей индивидуальной настройки. Используйте опцию -generate-results-list-file с polyspace-report-generator команда.

  • Если таблица содержимого или графики в .docx отчет устарел, выберите содержимое отчета и обновите документ. Используйте горячих клавиш Ctrl+A чтобы выбрать содержимое и F9, чтобы обновить его.

Зависимости

В пользовательском интерфейсе десктопных продуктов Polyspace эта опция включена только при выборе Generate report опция.

Информация о командной строке

Параметр: -report-output-format
Значение: html | pdf | word
По умолчанию: word
Пример (Bug Finder): Polyspace Bug Finder -sources file_name -report-output-format pdf
Пример (Code Prover): Polyspace Code Prover -sources file_name -report-output-format pdf
Пример (Bug Finder Server): polyspace-bug-finder-server -sources file_name -report-output-format pdf
Пример (Код Prover Server): Полипространство -code-prover-server -sources file_name -report-output-format pdf