-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 |