-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 |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server): polyspace-bug-finder-server -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |