-report-output-format)Укажите формат вывода сформированного отчета
Укажите формат вывода отчета об анализе.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Reporting. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -report-output-format. См. раздел Сведения о командной строке.
Используйте этот параметр, чтобы указать, требуется ли отчет в формате PDF, HTML или другом формате.
По умолчанию: Word
HTMLСоздать отчет в .html формат
PDFСоздать отчет в .pdf формат
WordСоздать отчет в .docx формат.
Эта опция позволяет указать создание отчета перед началом анализа.
Чтобы создать отчет после завершения анализа, в интерфейсе пользователя настольных продуктов Polyspace ® выберите Отчеты > Выполнить отчет. Либо в командной строке используйте командуpolyspace-report-generator команда.
После анализа можно также экспортировать результат в текстовый файл для дальнейшей адаптации. Использовать опцию -generate-results-list-file с polyspace-report-generator команда.
Если оглавление или графика в .docx , выберите содержимое отчета и обновите документ. Используйте сочетания клавиш Ctrl + A для выбора содержимого и F9 для его обновления.
В интерфейсе пользователя настольных продуктов Polyspace эта опция включена только при выборе Generate report вариант.
Параметр: -report-output-format |
Значение: html | pdf | word |
По умолчанию: word |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |